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