LÓGICA MATEMÁTICA

terça-feira, 25 de maio de 2010

Tabela-Verdade

Tabela-verdade, tabela de verdade ou tabela veritativa é um tipo de tabela matemática usada em Lógica para determinar se uma fórmula é válida ou se um sequente é correto.

As tabelas-verdade 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 do Tractatus Logico-Philosophicus, de Wittgenstein, utilizava as mesmas para classificar funções veritativas em uma série. A vasta influência de seu trabalho levou, então, à difusão do uso de tabelas-verdade.
Fonte: Wikipedia

Exemplo de tabela-verdade:



3 comentários:

Anônimo disse...

ninguém comentou eu comento
como eu faço (p<->p)
duvida minha rsrs
abç

Anônimo disse...

P | P | P -> P
V | V | V
F | F | V

Nesse caso temos uma proposição tautológica, ou seja, quando uma proposição composta é sempre verdadeira.

Espero ter ajudado!
Aldo Giordano

Anônimo disse...

Caro colega, só agora vi que vc pediu (p<->p) e não (p->p), mas a resposta é a mesma, pois continua sendo uma tautologia.

Aldo Giordano

Postar um comentário