LGICA MATEMTICA PROFESSOR: MARCOS SANTOS PAULO ALUNO (A):

DATA: ____/____/____ OBSERVAES:

1 - Sejam as proposies P: Est chovendo, Q: O sol est brilhando e R: H nuvens no cu. Traduza as seguintes sentenas abaixo em notao lgica: a) chover se o sol brilhar ou se o cu estiver com nuvens. b) se est chovendo, ento h nuvens no cu. c) o sol brilha quando e apenas quando o cu fica com nuvens. 2 - Utilizando o exerccio anterior, determine significados para as para as proposies: a) (P Q) R b)~P (Q R) c)~(P Q) R 3 - Determine os valores lgicos de cada uma das proposies: a) se 2 + 2 = 4 ento 2 + 4 = 8. b) se 2 + 2 = 5 ento 2 + 4 = 8. c) se 2 + 2 = 4 ento 2 + 4 = 6. d) se 2 + 2 = 5 ento 2+4=6.

5 - Sejam as proposies: p : Est frio chovendo. Traduzir para a linguagem corrente as seguintes proposies: a) ~p c) p v q e) p > ~q g) ~p ^ ~q b) p ^ q d) q <> p f) p v ~q h) p ^ ~q > p e q : Est

6 - A partir das proposies p: Antnio rico e q : Jos feliz, traduzir para a linguagem corrente as proposies a seguir: a) q > p <> ~p d) ~p > q e) ~~p f) p ^ q 7 - Sejam as proposies: p : Carlos fala francs, q : Carlos fala ingls e r : Carlos fala alemo. Traduzir para a linguagem simblica as b) p v ~q c) q

4 - Suponha que P Q seja falso. possvel determinar os valores lgicos de

seguintes proposies: a) Carlos fala francs ou ingls, mas no

a) PQ. b) P Q. c)Q P.

fala alemo b) Carlos fala francs e ingls, ou no fala francs e alemo

c) falso que Carlos fala francs mas no que fala alemo d) falso que Carlos fala ingls ou alemo mas no que fala francs 7 - A partir das proposies p: Maria rica e q : Maria feliz, traduzir para a linguagem simblica as proposies: a) Maria pobre, mas feliz b) Maria rica ou infeliz c) Maria pobre e infeliz d) Maria pobre ou rica, mas infeliz 8 - Construir as tabelas-verdade das seguintes proposies: a) ~(p v ~q) q c) ~p ^ r > q v ~r d) (p ^ ~q) v r b) p ^ q > p v

9 - Sabendo que os valores lgicos das proposies p e q so respectivamente F e V, determinar o valor lgico da proposio: (p ^ (~q > p)) ^ ~((p v ~q) > q v ~p)