Dadas as proposições,

I. Se 870 é múltiplo de 4, então 169 é quadrado perfeito.

II. 870 é múltiplo de 4 e 169 é quadrado perfeito.

III. 870 é múltiplo de 4 ou 169 é quadrado perfeito.

IV. 870 é múltiplo de 4 se e somente se 169 é quadrado perfeito.

verifica-se que, à luz da lógica proposicional, têm valores lógicos verdadeiros