6. Tabela-Verdade

A tabela-verdade é usada para determinar o valor lógico de uma proposição composta, sendo que os valores das proposições simples já são conhecidos. Pois o valor lógico da proposição composta depende do valor lógico da proposição simples. 

A seguir vamos compreender como se constrói essas tabelas-verdade partindo da árvore das possibilidades dos valores lógicos das preposições simples, e mais adiante veremos como determinar o valor lógico de uma proposição composta.

Proposição composta do tipo P(p, q)

Proposição composta do tipo P(p, q, r)

Proposição composta do tipo P(p, q, r, s) 

A tabela-verdade possui 24 = 16 linhas e é formada igualmente as anteriores.

Proposição composta do tipo P(p1, p2, p3,…, pn)

A tabela-verdade possui 2n linhas e é formada igualmente as anteriores.