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