Resumo

Para toda proposição com mais de uma proposição simples componente, a tabela verdade reúne as combinações de possibilidades a serem interpretadas, considerando que o valor de cada proposição componente poderá ser tanto V quanto F.

O método consiste em montar a tabela verdade seguindo os passos abaixo:

Cálculo do número de linhas da tabela
Nº linhas da Tabela Verdade = 2^{(nº de proposições simples)}

Cabeçalho das colunas da tabela verdade

Preenchimento dos valores lógicos na tabela verdade

Aplicação da regra da operação lógica

Finalizando, assim, a interpretação dos possíveis resultados da sentença, que no caso da bicondicional, por exemplo, a tabela verdade final é:

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