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.