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 2ⁿ linhas, onde n é número de proposições simples.

Passo a passo para montagem de uma tabela verdade:

• 1ª Coluna: Metade das linhas é V e a outra metade é F
• 2ª Coluna: Pegue a metade superior da coluna anterior e faça metade das linhas V e a outra metade F. Pegue a metade inferior e faça o mesmo
• 3ª Coluna: Repita fracionando mais ainda

Exemplo de montagem de tabela verdade com 3 proposições simples (8 linhas:

Linha	P	Q	R	Proposição composta qualquer
1	V	V	V
2	V	V	F
3	V	F	V
4 – Metade	V	F	F
5	F	V	V
6	F	V	F
7	F	F	V
8	F	F	F

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

Continue para: Detalhes sobre negações