Pessoal, neste encontro, irei revisar a condicional e apresentar algumas dicas sobre a construção da

tabela verdade. Forte abraço.

“Para passar, terei de fazer o que quase ninguém faz: estudar!”

Revisão - Condicional

Neste tópico gostaria apenas de repetir algumas informações sobre a condicional

(implicação = se, então) e fazer alguns poucos acréscimos de teoria. Vamos lá?

Imagine que hoje é segunda-feira e que eu vou fazer uma festa no domingo. É claro, você
está convidado! Mas você não gosta muito de chuva então, respondendo ao meu convite, diz: “Se
não estiver chovendo, eu irei”.
No caso, as proposições simples serão:
p: não estiver chovendo.
q: eu irei.

O símbolo da condicional é “→”. Logo, nossa proposição composta pode ser simbolizada
por: “p→q”.

Digamos que chegou domingo, o que pode acontecer?

Primeiro caso: Não estava chovendo e você foi. Pode ter certeza que não te chamarei de
mentiroso, pois você cumpriu com o que disse!

p q p→q
v v v
Ocorrem as duas proposições, conforme você tinha dito.

Segundo caso: Não esta chovendo e você não foi.

Ocorre apenas a primeira proposição (p). Neste caso, vou te chamar de mentiroso, na medida
em que você me garantiu que se não estivesse chovendo você iria, mas mesmo não estando
chovendo você não apareceu na festa. Perceba o “f” na última coluna abaixo, significando que você
é mentiroso, pois não cumpriu com o que disse.
p q p→q
v f f

Terceiro caso: Está chovendo e você aparece.

Só a segunda proposição aconteceu (q). Estava chovendo e mesmo assim você compareceu à
festa. Posso dizer que você é um mentiroso? É claro que não! Você é uma pessoa legal, mesmo não
gostando de chuva, fez um sacrifício e foi se divertir comigo, na minha festa.
p q p→q
f v v

Quarto caso: Está chovendo e você não aparece.

Nenhuma proposição aconteceu. Você tinha me dito: Se não estiver chovendo, eu irei.
Estava chovendo e você não foi, posso te chamar de mentiroso? Jamais! Você apenas se vinculou ao
que foi dito (expressamente!), a promessa era para o caso de não estar chovendo, NADA FOI
DITO sobre a possibilidade de estar chovendo! Consequentemente, não posso cobrar sua presença,

1
muito menos, te chamar de mentiroso.
p q p→q
f f v
Juntando tudo:

p q p→q
v v v
v f f
f v v
f f v

Conclusão: A proposição composta pela condicional apenas será falsa quando a

primeira for verdadeira e a segunda for falsa!

Só mais uma coisa. Existem outras formas para enunciar uma condicional (“p→q”). É
comum chamar o “p” de antecedente e o “q” de conseqüente. Também acharemos alguns casos em
que o “p” será chamado de causa e o “q” de conseqüência. Agora, as formas que mais dão trabalho
são as seguintes: 1 - “p é condição suficiente para q”; 2 - “q é condição necessária para p”.

Para ajudar a diferenciar quem é necessário ou suficiente de quem, segure a seguinte dica:
“Se, que começa com S, de Suficiente!”. Ou seja, a proposição que estiver perto do “S” é a
condição suficiente.

Se p, então q. Como “p” está perto do “S” do Se, “p” será condição suficiente para q.

Tabela Verdade

Construção de Tabelas-Verdades. Uma proposição simples só pode ser ou verdadeira ou

falsa, não é isso? Legal, mas e se você tiver uma proposição composta, como por exemplo “p→q”,
como fica? Quero saber: a proposição composta será verdadeira ou falsa? De cara, não temos como
responder, por isso temos que organizar todas as possibilidades em tabelas (as tabelas-verdades!).
Aí você diz: “Como assim professor? Ajude-me!”. Calma, vou te ajudar.

Você sabe se a proposição “p” é verdadeira ou falsa? Não! E a proposição “q”, é verdadeira
ou falsa? Não sabemos! Então temos de passar por todas as formas, quero dizer, temos de
considerá-las verdadeiras e falsas e organizar tudo isso em uma tabela. Veja:

Coluna 1 Coluna 2
p q
Linha 1 V V
Linha 2 V F
Linha 3 F V
Linha 4 F F

Concentre-se apenas nas duas primeiras colunas. Perceba que a única coisa que fiz foi
organizar todas as possibilidades de valores verdades para as proposições “p” e “q”. Na linha 1,
considerei tanto “p” quanto “q” verdadeiros; na linha 2 considerei “p” verdadeiro e “q” falso...

Para completar e escrever a tabela verdade de “p→q”, tenho que lembrar que a única
situação em que a condicional (→) é falsa é quando a primeira é Verdadeira e a segunda é Falsa,

2
logo, a última coluna da tabela fica:
Coluna 1 Coluna 2 Coluna 3
p q p→q
Linha 1 V V V
Linha 2 V F F
Linha 3 F V V
Linha 4 F F V

Agora vamos resolver alguns itens? Julgue:

a) Todas as interpretações possíveis para a proposição P ou ~(P^Q) são verdadeiras.

Gabarito: V (tautologia)

Comentário: O que precisamos fazer para julgar o item é construir a tabela verdade da proposição
“P ou ~(P^Q)”, pois assim teremos uma tabela que organiza todas as possibilidades de interpretação
para essa proposição composta, possibilitando responder o item.

Como eu não sei os valores lógicos de “p” nem de “q”, vou considerar todas as
possibilidades, veja:
p q
V V
V F
F V
F F

O próximo passo é verificar todas as possibilidades de resposta para o “e” (^) dentro dos
parentes, considerando os valores lógicos acima para “p” e “q” e lembrando que o “e” só é
verdadeiro quando ambas proposições simples (no caso, “p” e “q”, forem verdadeiras), veja:
p q p^q
V V V
V F F
F V F
F F F

Sabemos que negar uma proposição é inverter seus valores lógicos:

p q p^q ~(p^q)
V V V F
V F F V
F V F V
F F F V

Para finalizar, lembremos que o conector “ou” será verdadeiro quando pelo menos uma
proposição for verdadeira:
p q p^q ~(p^q) P ou ~(P^Q)
V V V F V
V F F V V
F V F V V
F F F V V

3
 b) Não é possível interpretar como verdadeira a proposição (p→q)^(p^~q).
Gabarito: V (contradição)
Agora imagine se fossem três proposições simples diferentes conectadas, por exemplo “p→
(q ^ r)”. E agora? Quantas linhas precisaremos ter para organizar todas as possibilidades de valores
verdades para as proposições simples (“p”, “q” e “r”), que compõe a proposição composta acima?
Nº = 2n, onde n é o número de proposições simples. No exemplo em tela, Nº = 23 = 8, ou seja, oito
linhas!
c) Construa a tabela-verdade da seguinte proposição: “(p→q)→(p^r→q)”. Boa sorte.
Gabarito: tautologia
p q r p→q p^r p^r→q (p→q)→(p^r→q)
v v v v v v v
v v f v f v v
v f v f v f v
v f f f f v v
f v v v f v v
f v f v f v v
f f v v f v v
f f f v f v v

Bons Estudos. Professor Daniel Carvalho.