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):
P1 | P2 | P1 ∧ P2 |
---|---|---|
V | V | V |
V | F | F |
F | V | F |
F | F | F |
OU (disjunção):
P1 | P2 | P1 ∨ P2 |
---|---|---|
V | V | V |
V | F | V |
F | V | V |
F | F | F |
Se, então (condicional):
P1 | P2 | P1 → P2 |
---|---|---|
V | V | V |
V | F | F |
F | V | V |
F | F | V |
Ou Ou (disjunção exclusiva):
P1 | P2 | P1 ⊻ P2 |
---|---|---|
V | V | F |
V | F | V |
F | V | V |
F | F | F |
Se somente, se (bicondicional):
P1 | P2 | P1 ↔ P2 |
---|---|---|
V | V | V |
V | F | F |
F | V | F |
F | F | V |