E, revisar decorar a tabela.

Uma proposição pode ser classificada como:

• Tautologia: sempre verdadeira (V).
• Contradição: sempre falsa (F).
• Contingência: pode ser verdadeira ou falsa.

P/Q

VV

VF

FV

FF

P∧Q (p ∧ q) → p

V V

F V

F V

F V

Se o antecedente da condicional é F, a condicional inteira é V, independentemente do consequente.

∧ => NÃO ADMITE MENTIRAS, OU SEJA, SÓ SERÁ V QUANDO AMBAS FOREM V