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:
ninguém comentou eu comento
como eu faço (p<->p)
duvida minha rsrs
abç
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
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