Tautologia, Contradies e

Contingncia

Tautologia
uma proposio composta cujo valor
lgico sempre verdadeiro, independente
dos valores lgicos das suas proposies
simples que a formam.
Ex: p v ~(p ^ q)
(p ^ q) (p v q)

Independente do valor
lgico das proposies
p e q, a proposio
p v ~(p ^ q)
sempre verdadeira.

Tautologia

p v ~(p ^ q)
p

p^q

~p^q

p v ~(p ^ q)

Contradies
uma proposio composta cujo valor
lgico sempre falso, independente dos
valores lgicos das proposies simples
que a formam.
Ex.: p ~p
(p ~q) ^ (p ^ q)

Contradies
p ~p
p

~p

p ~p

F
Independente do valor
lgico da proposio p,
a proposio
p ~p
sempre FALSA

Contingncia
uma proposio composta cujo valor
lgico pode ser verdadeiro e pode ser falso.
Ex.: p ~p
p (p ^ q)

Contingncia
p ~p
p

~p

p ~p

V
A proposio p ~p
tanto pode ser
verdadeira como falsa

Exerccio

Tabela-Verdade
Penso logo existo
No penso ou existo
No existo ento no penso

(p ~q) ^ (p ^ q)
p (p ^ q)
(p ^ q) (p v q)

Negao de Proposies
A negao de
uma
proposio
deve ter sempre
valor lgico oposto
ao da proposio
dada.

Proposio Negao
peq

~p v ~q

p ou q

~p ^ ~q

pq

p ^ ~q

pq

[(p ^ ~q) v (q ^ ~p)]

Exerccio
Se todos os nossos atos tm causa, ento no h
atos livres. Se no h atos livres, ento todos os
nossos atos tm causa. Logo:

alguns atos tm causa se no h atos livres.

todos os nossos atos tm causa se e somente se
h atos livres.
todos os nossos atos tm causa se e somente se
no h atos livres.
todos os nossos atos no tm causa se e
somente se no h atos livres.
alguns atos so livres se e somente se todos os
nossos atos tm causa.

Exerccio
Se Frederico francs, ento Alberto no
alemo. Ou Alberto alemo, ou Egdio
espanhol. Se Pedro no portugus, ento
Frederico francs. Ora, nem Egdio espanhol
nem Isaura italiana. Logo:

Pedro portugus e Frederico francs.

Pedro portugus e Alberto Alemo.
Pedro no portugus e Alberto Alemo.
Egdio espanhol ou Frederico francs.
Se Alberto alemo, Frederico francs.

Exerccio
Se todos os jaguadartes so momorrengos e
todos os momorrengos so cronpios, ento
pode-se concluir que:

possvel existir um jaguadarte que no seja

momorrengo.
possvel existir um momorrengo que no seja
jaguadarte.
Todos os momorrengos so jaguadartes.
possvel existir um jaguadarte que no seja
cronpio.
Todos os cronpios so jaguadartes

Exerccio
Sobre as consultas feitas a trs livros X, Y e Z, um
bibliotecrio constatou que:

todas as pessoas que haviam consultado Y tambm

consultaram X;
algumas pessoas que consultaram Z tambm consultaram
X.

De acordo com suas constataes, correto afirmara que,

com certeza:

Pelo menos uma pessoa que consultou Z tambm consultou

Y.
Se alguma pessoa consultou Z e Y, ento ela tambm
consultou X.
Toda pessoa que consultou X tambm consultou Y.
Existem pessoas que consultaram Y e Z.
Existem pessoas que consultaram Y e no consultaram X.

Exerccio
Considere que as seguintes afirmaes so
verdadeiras:

Alguma mulher vaidosa

Toda mulher inteligente

Assim sendo, qual das afirmaes seguintes

certamente verdadeira

Alguma mulher inteligente vaidosa

Alguma mulher vaidosa no inteligente
Alguma mulher no vaidosa no inteligente
Toda mulher inteligente vaidosa
Toda mulher vaidosa no inteligente

Exerccio
Aquele policial cometeu homicdio. Mas
centenas de outros policiais cometeram
homicdio, se aquele policial cometeu. Logo:

centenas de outros policiais cometeram

homicdios.
centenas de outros policiais no
cometeram homicdios.
aquele policial no cometeu homicdio
aquele policial cometeu homicdio
nenhum policial cometeu homicdio

Exerccio
Todas as estrelas so dotadas de luz
prpria. Nenhum planeta brilha com
luz
prpria. Logo:

todos os planetas so estrelas

nenhum planeta estrela
todas as estrelas so planetas
todos os planetas so planetas
todas as estrelas so estrelas

Exerccio
Assinale a alternativa que substitui
corretamente a interrogao na seguinte
seqncia numrica: 6 11 ? 27
(A) 15
(B) 13
(C) 18
(D) 57
(E) 17

Exerccio
Duas pessoas que sabiam lgica, um estudante e um
garom, tiveram o seguinte dilogo numa lanchonete:
Garom: O que deseja?
Estudante: Se eu comer um sanduche, ento no comerei
salada, mas tomarei sorvete.
A situao que torna a declarao do estudante FALSA :

O estudante no comeu salada, mas tomou sorvete.

O estudante comeu sanduche, no comeu salada e tomou
sorvete.
O estudante no comeu sanduche.
O estudante comeu sanduche, mas no tomou sorvete.
O estudante no comeu sanduche, mas comeu salada.

Exerccio
Se Lcia pintora, ento ela feliz.
Portanto:
Se Lcia no feliz, ento ela no
pintora.
Se Lcia feliz, ento ela pintora.
Se Lcia feliz, ento ela no pintora.
Se Lcia no pintora, ento ela feliz.
Se Lcia pintora, ento ela no feliz.