Tautologia, Contradies e Contingncia

Prof. Marcone Sotro

marcone.sotero@pplt.joaquimnabuco.edu.br

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)

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

q V
F V F

p^q V

~p^q F

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

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

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 V F ~p F V p ~p F 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 V F ~p F V p ~p F V
A proposio p ~p tanto pode ser verdadeira como falsa

Exerccio
1. Tabela-Verdade
Penso logo existo No penso ou existo No existo ento no penso

2. (p ~q) ^ (p ^ q) 3. p (p ^ q) 4. (p ^ q) (p v q)

Negao de Proposies
A negao de uma proposio deve ter sempre valor lgico oposto ao da proposio dada. Proposio peq p ou q pq pq Negao ~p v ~q ~p ^ ~q p ^ ~q
[(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:
a) alguns atos tm causa se no h atos livres. b) todos os nossos atos tm causa se e somente se h atos livres. c) todos os nossos atos tm causa se e somente se no h atos livres. d) todos os nossos atos no tm causa se e somente se no h atos livres. e) 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:
a) b) c) d) e) 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:
a) possvel existir um jaguadarte que no seja momorrengo. b) possvel existir um momorrengo que no seja jaguadarte. c) Todos os momorrengos so jaguadartes. d) possvel existir um jaguadarte que no seja cronpio. e) 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:

a) b) c) d) e) 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

a) b) c) d) e) 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:
a) centenas de outros policiais cometeram homicdios. b) centenas de outros policiais no cometeram homicdios. c) aquele policial no cometeu homicdio d) aquele policial cometeu homicdio e) nenhum policial cometeu homicdio

Exerccio
Todas as estrelas so dotadas de luz prpria. Nenhum planeta brilha com luz prpria. Logo:
a) b) c) d) e) 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 :
a) O estudante no comeu salada, mas tomou sorvete. b) O estudante comeu sanduche, no comeu salada e tomou sorvete. c) O estudante no comeu sanduche. d) O estudante comeu sanduche, mas no tomou sorvete. e) O estudante no comeu sanduche, mas comeu salada.

Exerccio
Se Lcia pintora, ento ela feliz. Portanto:
a) Se Lcia no feliz, ento ela no pintora. b) Se Lcia feliz, ento ela pintora. c) Se Lcia feliz, ento ela no pintora. d) Se Lcia no pintora, ento ela feliz. e) Se Lcia pintora, ento ela no feliz.