Escolar Documentos
Profissional Documentos
Cultura Documentos
Suponha, por exemplo, que desejamos responder a seguinte pergunta: será que existem proposições lógicas
válidas (fórmulas bem-formadas) que são sempre verdadeiras, independentemente dos valores lógicos de
seus átomos? Se a resposta for sim, então obviamente, a negação de tais proposições será sempre falsa. Em
outras palavras, estamos interessados em investigar se uma proposição pode ser verdadeira mesmo quando
todos os seus valores lógicos são escolhidos arbitrariamente. Essas são justamente duas das perguntas que a
presente unidade responderá. Ainda, aprenderemos como essas perguntas estão diretamente relacionadas a
três conceitos fundamentais da lógica matemática: tautologia, contradição e contingência.
Solução: O primeiro passo consiste na formação do par de colunas referentes a cada um dos átomos de P, p e
q.
p q ~q (p Ʌ ~q) ~ (p Ʌ ~q)
V V
V F
F V
F F
2.1 Tautologias
Chamamos de tautologia toda proposição composta cuja última coluna da tabela verdade é inteiramente
composta por valores lógicos V. Em outras palavras, é uma proposição cujo valor lógico é sempre verdade, ou
seja, ela é sempre verdadeira independentemente dos valores de suas proposições atômicas.
Dois exemplos interessantes de tautologia são os princípios fundamentais da lógica matemática. O princípio
da não contradição nos diz que uma proposição não pode ser verdadeira e falsa ao mesmo tempo. Para
verificar tal fato, basta construirmos a tabela-verdade da proposição composta P = ~ (p ^~p). Note que P é
sempre verdadeira, independentemente do valor de p.
p ~p (p Ʌ ~p) ~ (p Ʌ ~p)
V F F V
F V F V
Da mesma forma, o princípio do terceiro excluído também é uma tautologia. Basta verificar a tabela-verdade
da proposição P = p V ~p.
p ~p (p V ~p)
V F V
F V V
p q (p Ʌ q) ~ (p Ʌ q) p V~ (p Ʌ q)
V V V F V
V F F V V
F V F V V
F F F V V
2.2 Contradição
O conceito de contradição é dual ao de tautologia. Chamamos de contradição toda proposição composta cuja
última coluna da tabela-verdade é inteiramente composta por valores lógicos F. Em outras palavras, é uma
proposição que é sempre falsa, independentemente dos valores de suas proposições atômicas (proposições
simples que a compõem). A definição a seguir relaciona os conceitos de tautologia e contradição.
Definição: seja P uma proposição. Então, P é uma tautologia se, e somente se, ~P é uma contradição.
O que essa definição nos diz é algo bastante intuitivo. Em outras palavras, a negação de uma tautologia é
sempre uma contradição e a negação de uma contradição é sempre uma tautologia. Veremos a seguir
exemplos de contradições.
p ~p (p Ʌ ~p)
V F F
F V F
Exercício:
2.3 Contingências
Chamamos de contingência toda proposição composta em que na última coluna da tabela-verdade ocorrem
os valores lógicos V e F pelo menos uma vez cada. Resumindo, trata-se de uma proposição que não é nem
tautologia, nem contradição, sendo muitas vezes denominadas de proposições indeterminadas.
p q (p V q) (p V q) → p
V V V V
V F V V
F V V F
F F F V