Falar que é verdade que “para todo policial, se o
policial é civil e se o policial é investigador, então o
policial está em ação” é logicamente equivalente a
falar que não é verdade que:
Sabe-se que se Zeca comprou um apontador de lápis
azul, então João gosta de suco de laranja. Se João
gosta de suco de laranja, então Emílio vai ao cinema.
Considerando que Emílio não foi ao cinema, pode-se
afirmar que: