Se Marta tirou notas altas, então ela estudou.
Marta não estudou
Assim, podemos concluir que Marta não tirou notas altas
[(pq) ^~q] (~p)
p q ~p ~q (pq) (pq) ^~q [(pq) ^~q] (~p)
V V F F V F V
V F F V F F V
F V V F V F V
F F V V V V V
TAUTOLOGIA
É importante destacar que a mudança de um conectivo nas premissas ou na conclusão
interfere no processo de construção da tabela verdade. Pois, se a ordem das letras ou os
conectores usados mudarem, a tabela pode ser totalmente revisada e substituída por outro
resultado diferente do apresentado no final dela.