2 - Tabela verdade de p ↔ q

Para fomentar a comparação, considere uma declaração com as mesmas proposições componentes da condicional anterior:

Representada pela proposição p ↔ q, será interpretada pela seguinte tabela verdade:

- Cálculo do número de linhas da tabela:

Nº linhas da Tabela Verdade = 2^{(nº de proposições simples)}

Nº de proposições simples existentes em p ↔ q = 2

Sendo assim,
Nº linhas da Tabela Verdade = 2² = 4 linhas.

Veja a ilustração no próximo passo.

- Cabeçalho das colunas da tabela verdade

	p	q	p ↔ q
1.
2.
3.
4.