Professional Documents
Culture Documents
AULA 04
Bom, acho que quem vem acompanhando as aulas vem observando que não é tão difícil
nossa lógica matemática. Para entrarmos no operacional da matéria, foi necessário conhecer,
antes, alguns conceitos básicos.
A partir de agora, cada informação será mais importante ainda. Será com a aula de hoje
que teremos condições de resolver (finalmente!) uma primeira questão de concurso.
De ante mão, gostaria de comentar algumas características das tabelas-verdade, que nos
auxiliarão na compreensão de muitas questões: a tautologia, a contradição e a contigência.
A tautologia e a contradição são as de maior relevo para as questões de lógica. Mas o que
significa uma coisa e outra? Ora, observa-se a tautologia quando, ao resolver uma proposição
composta qualquer, através de sua tabela-verdade, a última coluna encerra somente com a
letra V. Ou melhor, é toda proposição composta cujo seu valor lógico será sempre V (verdade),
independemente dos valores lógicos de suas preposições simples. Para uma visualização da
tautologia, veja a tabela-verdade seguinte para a proposição (p v ~p) – princípio do terceiro
excluído, visto na Aula 02:
p ~p p v ~p
V F V
F V V
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
Vale resaltar que existem outras proposições compostas tautológicas, bastando para isso
verificar suas respectivas tabelas-verdade e olharmos para a última coluna: sendo tudo V, será a
proposição composta uma tautologia. Mas, por enquanto, para não perdermos tempo,
mostraremos apenas estas tautolgias, pois, para se saber a tautologia de uma proposição, há
caminhos mais fáceis... deixemos para próxima aula.
p ~p p ^ ~p
V F F
F V F
P ~p p ↔ ~p
V F F
F V F
Para finalizar esta parte inicial, ocorre a contigência quando uma proposição composta
não é nem tautologica nem contradição. Há, pelo menos, um V e um F na última coluna da
tabela-verdade. Veja as tabelas-verdade para (~p ^ q) e (~p → q) logo a seguir e confira:
Lógica Matemática para concursos – Dudu cearense
P q ~p ~p ^ q
V V F F
V F F F
F V V V
F F V F
Nesta, há um V na 3ª linha.
P q ~p ~p → q
V V F V
V F F F
F V V V
F F V F
A contigência não nos oferece muita opção para resolução de provas de concursos, pois,
na maioria das vezes, estamos atrás do atributo tautológico ou contraditório de uma proposição.
Quando vamos escolher um item para gabaritar em uma questão de lógica, estaremos atrás da
verdade ou falsidade da proposição composta.
IMPLICAÇÃO LÓGICA
Vamos observar (p ^ q). Esta proposição é verdadeira apenas na 1ª linha. Nesta mesma
linha, p, q, (p v q) e (p ↔ q) são também verdadeiras. Quer dizer, (p ^ q) implica logicamente em p,
por exemplo. Representamos a implicação através do símbolo “=>”. Assim, podemos escrever:
(p ^ q) => p
Lógica Matemática para concursos – Dudu cearense
Pois bem, a partir disso, podemos dizer que uma proposição “p” implica em uma outra
“q” se “q” é verdadeira toda as vezes que “p” é verdadeira. Foi, aliás, o que acabamos de
comprovar, só que foi com a proposição (p ^ q).
p => p v q
p ^ q => p
(p v q) ^ ~p => q
p ↔ q => p → q
p ↔ q => q → p
(p ↔ q) ^ p => q
EQUIVALÊNCIA LÓGICA
p q ~p p→q ~p v q
V V F V V
V F F F F
F V V V V
F F V V V
(~p v q) <=> (p → q)
~p → p <=> p (Clavius)
p → q <=> ~p v q
p ↔ q <=> (p → q) ^ (q → p)
p → q <=> ~q → ~p
p → p ^ q <=> p → q (absorção)
p ^ ~q → c <=> p → q
p ^ q → r <=> p → (q → r) (exportação-importação)
p ^ q => p (certo)
p => p ^ q (errado)
Lógica Matemática para concursos – Dudu cearense
(~p v q) <=> (p → q)
(~p v q) <=> (p → q)
Em outras palavras:
Mas depois desse monte de informações, o que nos podemos fazer então. Como eu disse
no início, já podemos resolver nossa primeira questão.
(AFC-2002) Dizer que não é verdade que Pedro é pobre e Alberto é alto, é logicamente equivalente
a dizer que é verdade que:
Resolução
Legal, não?! A primeira coisa que devemos fazer em questões de lógica matemática é sempre
representar as proposições simples, da linguagem corrente para a linguagem simbólica. Logo:
p: Pedro é pobre
q: Alberto é alto
(p ^ q)
Logo, dizer que não é verdade que Pedro é pobre e Alberto é alto é negar toda a proposição
Pedro é pobre e Alberto é alto. Aí, escrevendo a nossa proposição composta em linguagem
simbólica:
~ (p ^ q)
Lógica Matemática para concursos – Dudu cearense
p Q ~p ~q p^q ~ (p ^ q)
V V F F V F
V F F V F V
F V V F F V
F F V V F V
a)
P q ~p ~q ~p v ~q
V V F F F
V F F V V
F V V F V
F F V V V
b)
P q ~p ~q ~p ^ ~q
V V F F F
V F F V F
F V V F F
F F V V V
c)
p q ~q p v ~q
V V F V
V F V V
F V F F
F F V V
d)
p q ~p ~p → q
V V F V
V F F V
F V V V
F F V F
Lógica Matemática para concursos – Dudu cearense
e)
p q ~p ~q ~p → ~q
V V F F V
V F F V V
F V V F F
F F V V V
~ (p ^ q) <=> ~p v ~q
Ou, no bom português, podemos dizer que não é verdade que Pedro é pobre e Alberto
é alto é logicamente equivalente a dizer que Pedro não é pobre ou Alberto não é alto.
Essa questão foi bem trabalhosa. Isso prova que tentar resolver questões de lógica
através de tabelas-verdade é sobremaneira trabalhoso e quase inviável em concursos públicos.
Possível é, mas não recomendo. Tal questão pode ser resolvida em apenas um passo.
Fui!
Dudu cearense.
Exercício
Questão) Ana é artista ou Carlos é carioca. Se Jorge é juiz, então Breno não é bonito. Se
Carlos é carioca, então Breno é bonito. Isso é logicamente equivalente a dizer que é verdade
que: