a) proposição
           6. Tabela Verdade

 

Com base no terceiro excluído podemos definir a tabela verdade.

Se qualquer proposição p pode assumir exclusivamente dois valores lógicos, então os possíveis valores lógicos que uma proposição composta pode assumir depende dos possíveis valores lógicos que cada proposição simples pode assumir.

Quando se conhece os valores lógicos das proposições simples, e conhece a operação sobre os conectivos lógicos envolvidos pode-se obter o valor lógico da proposição composta.

Quando isto não ocorrer é necessário recorre à tabela verdade.