Resumo: Tabelas verdade

Uma tabela verdade exprime (mostra) todos os valores possíveis para as combinação das proposições.

Quantidade de linhas de uma tabela verdade:

Uma tabela verdade tem 2n linhas, onde n é número de proposições simples.

Vamos fazer as tabelas verdade com 2 proposições simples.

E (conjunção):

P1P2P1 P2
VVV
VFF
FVF
FFF

OU (disjunção):

P1P2P1 P2
VVV
VFV
FVV
FFF

Se, então (condicional):

P1P2P1 P2
VVV
VFF
FVV
FFV

Ou Ou (disjunção exclusiva):

P1P2P1 P2
VVF
VFV
FVV
FFF

Se somente, se (bicondicional):

P1P2P1 P2
VVV
VFF
FVF
FFV