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: