Tabelas verdade
Visão Geral
Tabelas verdade são tabelas usadas na lógica para avaliar a veracidade de uma proposição composta, dado que conhecemos a veracidade ou falsidade de suas proposições componentes.
Resumo
Cada proposição é representada por uma variável e as possíveis combinações de valores verdade para cada proposição são listadas nas linhas da tabela.
Os conectivos lógicos mais comuns são o “e” (conjunção), o “ou” (disjunção) e o “não” (negação). Para duas proposições p e q, a conjunção p e q é verdadeira apenas se p e q forem ambas verdadeiras, enquanto a disjunção p ou q é verdadeira se pelo menos uma das proposições é verdadeira.
A negação de uma proposição p é verdadeira se p é falsa e falsa se p é verdadeira.
As tabelas verdade são úteis para avaliar a validade de argumentos lógicos e também para simplificar proposições compostas através das leis de De Morgan, que permitem a simplificação de proposições compostas negando os conectivos lógicos e invertendo as proposições componentes.