Raciocnio Lgico e Matemtico Prof: Luciana Tavares

Problemas resolvidos com tabela verdade:

1- Considerando as proposies:
p: O Joo ficou dispensado do exame de Filosofia
q: O Joo ficou dispensado do exame de Matemtica.
r: O Joo ficou dispensado do exame de Lgica

Verifique se o Joo dispensou alguma disciplina, sabendo que verdadeira a seguinte
proposio:
~ (~ p ~ q) ~ r



2- Considere as frmulas:
I - (p v q) p
II - (p ^ q) p
III - (p ^ q) (p V q)

(So) tautologia(s) a(s) frmula(s):

a) I somente.
b) II somente.
c) III somente.
d) I e III, somente.
e) I, II e III.




3- Chama-se tautologia a toda proposio que sempre verdadeira, independentemente da
verdade dos termos que a compem. Um exemplo de tautologia :

a) se Joo alto, ento Joo alto ou Guilherme gordo
b) se Joo alto, ento Joo alto e Guilherme gordo
c) se Joo alto ou Guilherme gordo, ento Guilherme gordo
d) se Joo alto ou Guilherme gordo, ento Joo alto e Guilherme gordo
e) se Joo alto ou no alto, ento Guilherme gordo








Raciocnio Lgico e Matemtico Prof: Luciana Tavares


SILOGISMO

uma forma de raciocnio dedutivo que, partindo-se de certas informaes, infere-se
em uma determinada concluso. Por exemplo, temos as proposies:

p: Todos os homens so bons.
q: Carlos um homem.

Podemos a partir dessas duas proposies tirar uma concluso: Carlos bom.



Todo homem
mortal.
Scrates homem.
Logo, Scrates
mortal.


Todo gato mia.
Ora, meu amigo um
gato.
Logo, meu amigo mia.


Todas as baleias so
mamferos.
Alguns animais so
baleias.
Logo, alguns animais so
mamferos.


IMPLICAO E EQUIVALNCIA LGICAS
Implicao:
Sejam P(p, q, r, ...) e Q(p, q, r...) duas proposies.
Definio: Uma proposio P implica na proposio Q se e somente se a tabela
verdade de P Q for uma tautologia.
Para indicar que a proposio P implica na proposio Q usa-se P Q.

Propriedades:
P1 Reflexiva. Isto P P.

P2 Transitividade. Isto P Q e Q S ento P S.
A transitividade pode ser estendida a qualquer srie de proposies:
P R e R S e S ... X ento P X.
Raciocnio Lgico e Matemtico Prof: Luciana Tavares


Exerccios:
1) Em uma pequena comunidade sabe-se que: Nenhum filsofo rico e que
alguns professores so ricos. Assim pode-se afirmar, corretamente, que
nesta comunidade:

a) Alguns filsofos so professores.
b) Alguns professores so filsofos.
c) Nenhum filsofo professor.
d) Alguns professores no so filsofos.
e) Nenhum professor filsofo.


2) Se Alguns professores so matemticos e todos matemticos so
alegres. Ento necessariamente:
a) Toda pessoa alegre matemtico
b) Todo matemtico professor
c) Algum professor uma pessoa alegre
d) Nenhuma pessoa alegre professor
e) Nenhum professor no alegre


3) Utilizando tabelas-verdade, verifique se existem as relaes de implicao
lgica seguintes:
a) p q q p

b) ~( p q ) ~p ~q

c) p q r ~q r ~p


Equivalncia:
Definio: Uma proposio P logicamente equivalente a outra proposio Q se e
somente se a tabela verdade de P Q for uma tautologia.
Para indicar que a proposio P equivalente proposio Q usa-se P Q.
Exemplo:
(p q) (~q ~p)
Raciocnio Lgico e Matemtico Prof: Luciana Tavares




2) Quais destas proposies so equivalentes?
1- p q
2- q p
3- ~p ~q
4- ~q ~p
a) Apenas 1 e 2
b) Apenas 2 e 4
c) 2 e 3, 1 e 4
d) 1 e 3, 1 e 4




PROBLEMAS:

1- Andr inocente ou Beto inocente. Se Beto inocente, ento Caio culpado. Caio
inocente se e somente se Dnis culpado. Ora, Dnis culpado.
Logo:
a) Caio e Beto so inocentes
b) Caio e Dnis so culpados
c) Andr e Caio so inocentes
d) Andr e Dnis so culpados
e) Andr e Beto so inocentes



2- Surfo ou estudo. Fumo ou no surfo. Velejo ou no estudo. Ora, no velejo. Assim,
a) estudo e fumo.
b) no fumo e surfo.
c) no velejo e no fumo.
d) estudo e no fumo.
e) fumo e surfo.




3- Construa a tabela-verdade da proposio composta:

a) [(p q) (~p)] (p q)

b) {[(p q) ( ~p ~r)] r } (~p q)