Académique Documents
Professionnel Documents
Culture Documents
Tabelas Verdade
Conjunção: Vimos pela tabela acima que a operação da conjunção liga duas ou mais proposições simples
pelo conectivo “e”. Observemos o exemplo:
Irei ao cinema e ao clube. Vamos montar a tabela verdade para a proposição composta destacando todas
as valorações possíveis.
Conjunção: p^q(p e q)
P Q P^Q
V V V
V F F
F V F
F F F
P: Irei ao cinema
Q: Irei ao clube
Observamos que a proposição resultante da conjunção só será verdadeira quando as proposições simples
individuais forem verdadeiras.
WWW.DOMINACONCURSOS.COM.BR 3
DOMINA CONCURSOS
Disjunção Inclusiva: Vimos que a operação da disjunção inclusiva liga duas ou mais proposições simples
pelo conectivo “ou”. Observemos o exemplo
Dar-te-ei uma camisa ou um calção. Vamos montar a tabela verdade para a proposição composta
destacando todas as valorações possíveis.
Disjunção: p v q (p ou q)
P Q PvQ
V V V
V F V
F V V
F F F
Q: Dar-te-ei um calção
Observamos que a proposição resultante da disjunção inclusiva só será falsa quando as proposições
simples individuais forem falsas..
P Q PvQ
V V F
V F V
F V V
F F F
Observe a diferença entre a disjunção inclusiva e exclusiva! Como o próprio nome diz “exclusiva” a
proposição resultante da disjunção exclusiva só será “V” se uma das partes for “F” e a outra “V”
(independentemente da ordem) não podendo acontecer “V” nos dois casos, caso aconteça a proposição
resultante desta operação será falsa.
WWW.DOMINACONCURSOS.COM.BR 4
DOMINA CONCURSOS
P: Nasci em salvador
Q: Sou Baiano
Observe que:
Regra: O que esta a esquerda da seta é sempre condição suficiente e o que está à direita é sempre
condição necessária. ( p → q).
P Q P→Q
V V V
V F F
F V V
F F V
Observe que a condicional só será falsa se a antecedente (lado esquerdo da seta) for verdadeiro e a
consequente (lado direito) da seta for falso.
Observe que;
Ex:
P: 4 é maior que 2
Q: 2 é menor que 4
4 ser maior que 2 é condição suficiente e necessária para 2 ser menor do que 4.
Tabela Verdade
Bicondicional: p ↔ q ( p se e somente se q)
WWW.DOMINACONCURSOS.COM.BR 5
DOMINA CONCURSOS
P Q P↔Q
V V V
V F F
F V F
F F V
Negação: ¬p
P: O Brasil é um País pertencente a América do Sul.
¬P: O Brasil não é um País pertencente a América do Sul
Q: X é Par
¬Q: X não é par
As tabelas verdades são apenas um meio de saber a valoração das proposições consideradas, não há a
necessidade de serem decoradas, uma vez que são fáceis de serem entendidas. Porém existem pessoas
que acham mais fácil decorá-las, enfim vai do pensamento de cada um.
Agora;
Suponhamos que ela não vá a Argentina nem ao Chile (F e F =F) Promessa “F”urada
Vemos o que torna a proposição verdadeira no caso da conjunção é que ambas as partes sejam “V”.
P ∨ ¬P
P ∧ ¬P
Há certas proposições compostas, chamadas de tautologias, que assumem valores lógicos V em todos os
casos possíveis. E também ocorre o oposto: certas proposições compostas, chamadas de contradições,
assumem valores lógicos F em todos os casos. O meio termos entre os dois casos anteriores são
chamadas contingências.
WWW.DOMINACONCURSOS.COM.BR 6
DOMINA CONCURSOS
Tautologia
P ∨ (¬P) ,
P ¬P P ∨(¬P)
V F V
F V V
Conforme você pode observar acima, a última coluna da tabela-verdade da proposição P ∨ (¬P) contém,
nos dois casos possíveis, somente valores V. Isso ocorre porque o conectivo "ou" é V quando pelo menos
uma das proposições P e ¬P é V. Tal proposição é um exemplo de tautologia.
Agora, veja uma questão elaborada pela banca CESPE que se segue.
Resposta comentada
A B ¬B [¬B]→A [¬B]∨{[¬B]→A}
V V F V V
V F V V V
F V F V V
F F V F V
Uma vez que a última coluna da tabela acima contém somente o valor lógicos V, a
proposição [¬B]∨{[¬B]→A} é uma tautologia.
Contradição
Para expressar a mais simples de todas as contradições, usamos o conectivo "e", uma
proposição P qualquer, e a sua negação ¬P,
P ∧ (¬P) .
P ¬P P∧(¬P)
V F F
F V F
WWW.DOMINACONCURSOS.COM.BR 7
DOMINA CONCURSOS
Para a proposição P ∧ (¬P), a última coluna da tabela-verdade mostrada acima contém - nos dois casos
possíveis - somente valores F. Tal proposição é um exemplo de contradição.
Resposta comentada
A B ¬B A→B [¬B]∧[A→B]
V V F V F
V F V F F
F V F V F
F F V V V
A última coluna da tabela acima não contém somente o valor lógicos F, e, portanto, a
proposição [¬B]∨{[¬B]→A} não é uma contradição.
______________________________________________________________________________________
______________________________________________________________________________________
______________________________________________________________________________________
______________________________________________________________________________________
______________________________________________________________________________________
______________________________________________________________________________________
______________________________________________________________________________________
______________________________________________________________________________________
______________________________________________________________________________________
______________________________________________________________________________________
______________________________________________________________________________________
______________________________________________________________________________________
______________________________________________________________________________________
______________________________________________________________________________________
______________________________________________________________________________________
______________________________________________________________________________________
______________________________________________________________________________________
______________________________________________________________________________________
WWW.DOMINACONCURSOS.COM.BR 8