Nome: Fernanda Marinho da Silva 3ºPeríodo-Vespertino Texto: As Tabelas Verdades Tabela verdade ou tabela de verdade são um tipo de tabela matemática usada em lógica para determinar se uma expressão é verdadeira e válida. Tabelas verdades derivam do trabalho de Gottlob Frege, Charles Peirce e outros da década de 1880, e tomaram a forma atual em 1922 através dos trabalhos de Emil Post e Ludwig Wittgenstein. A publicação de Tractatus Logico-Philosophicus, de Wittgenstein, utilizava delas para classificar funções verdades em uma série. A vasta influência de seu trabalho levou, então, a difusão do uso de tabelas verdades.
Índice [esconder]
•
1 Como construir uma tabela de verdade 2 Tabelas das Principais Operações do Cálculo Proposicional o 2.1 Negação o 2.2 Conjunção (E) o 2.3 Disjunção (OU) o 2.4 Implicação (Se... Então) o 2.5 Bi-implicação (Se e somente se) o 2.6 Disjunção Exclusiva (Ou... ou) o 2.7 Adaga de Quine (NOR) 3 Como usar tabelas para verificar a validade de argumentos o 3.1 Alguns argumentos válidos o 3.2 Algumas Falácias 4 Como usar tabelas para verificar a equivalência de fórmulas
•
5 Ver também
• •
•
[editar] Como construir uma tabela de verdade Uma tabela de verdade consiste em: 1º) Uma linha em que estão contidos todas as subfórmulas de uma fórmula. Por exemplo, a fórmula ¬((A∧B)→C) tem o seguinte conjuntos de subfórmulas: { ¬((A∧B)→C) , (A∧B)→C , A∧B , A , B , C} 2º) l linhas em que estão todos possíveis valores que os termos podem receber e os valores cujas as fórmulas moleculares tem dados os valores destes termos. O número destas linhas é l = nt , sendo n o número de valores que o sistema permite (sempre 2 no caso do Cálculo Proposicional Clássico) e t o número de termos que a
fórmula contém. Assim, se uma fórmula contém 2 termos, o número de linhas que expressam a permutações entre estes será 4: um caso de ambos termos serem verdadeiros (V V), dois casos de apenas um dos termos ser verdadeiro (V F , F V) e um caso no qual ambos termos são falsos (F F). Se a fórmula contiver 3 termos, o número de linhas que expressam a permutações entre estes será 8: um caso de todos termos serem verdadeiros (V V V), três casos de apenas dois termos serem verdadeiros (V V F , V F V , F V V), três casos de apenas um dos termos ser verdadeiro (V F F , F V F , F F V) e um