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