Tabela Verdade (thiago Quillice)

  • November 2019
  • PDF

This document was uploaded by user and they confirmed that they have the permission to share it. If you are author or own the copyright of this book, please report to us by using this DMCA report form. Report DMCA


Overview

Download & View Tabela Verdade (thiago Quillice) as PDF for free.

More details

  • Words: 421
  • Pages: 2
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

Related Documents