Você está na página 1de 2

Instituto Federal de Educao, Cincia e Tecnologia do Cear Licenciatura em Matemtica Primeira lista de exerccios de Lgica Matemtica Introduo Lgica

a Proposicional professor Jnio Klo maio de 2012

Exerccio 1 Dentre as expresses abaixo, diga quais so frmulas bem formadas e aponte os erros de sintaxe das demais. (a) (p q r) p (b) (p (q r)) q p (c) (p q) q (d) ((p q) )r s (e) (p p) s (f) p q Exerccio 2 No nvel atmico, as valoraes [ ] 0 e [ ]1 so constantes e iguais a 0 e 1, respectivamente. Calcule []0 e []1, para cada uma das frmulas a seguir: (a) = p q (b) = p q (c) = p (q (r (p q r))) (d) = ((p q) (q r)) r (e) = (p q) (p q) (f) = (p (q r)) (q (p r)) Exerccio 3 Quais das frmulas do exerccio anterior so contradies? Quais so tautologias? Exerccio 4 Verifique que: (a) se uma tautologia, ento uma tautologia, para qualquer frmula . (b) se uma contradio, ento uma contradio, para qualquer frmula . (c) se uma contradio, ento uma tautologia, para qualquer frmula . (d) se uma tautologia, ento uma tautologia, para qualquer frmula . (e) a negao transforma contradies, contingncias e tautologias em tautologias, contingncias e contradies, nessa ordem. (f) a conjuno de duas contingncias pode no ser uma contingncia. Exerccio 5 Dada a frmula = ( p q r) (p r), encontre valoraes [ ] e [ ] tais que [] = 1 e [] = 0.

Exerccio 6 Considere as seguintes proposies: p : Ester mora em Cuiab. q : Jonas e Ester moram na mesma cidade. r : Cuiab no fica no Mato Grosso. s : Jonas mora no Mato Grosso. Expresse as seguintes frases atravs de p, q, r e s, bem como dos conectivos , , e . (a) Se Jonas e Ester moram na mesma cidade e Cuiab no fica no Mato Grosso, ento Jonas mora no Mato Grosso ou Ester no mora em Cuiab. (b) Cuiab fica no Mato Grosso. (c) Jonas e Ester no moram na mesma cidade e Jonas no mora no Mato Grosso. (d) Ester mora em Cuiab ou Cuiab fica no Mato Grosso. (e) Cuiab no fica no Mato Grosso ou Ester no mora em Cuiab ou Jonas no mora no Mato Grosso ou Jonas e Ester no moran na mesma cidade. (f) Se Jonas e Ester moram na mesma cidade e Ester mora em Cuiab e Cuiab fica no Mato Grosso, ento Jonas mora no Mato Grosso. Exerccio 7 Dizemos que implica logicamente , e denotamos por , se valer [] = 1, sempre que [] = 1. Nessa condies, verifique que: (a) se uma contradio, ento , para qualquer frmula . (b) se uma tautologia, ento , para qualquer frmula . (c) se uma tautologia, ento . (d) se , ento uma tautologia. (e) se ( ), ento ( ) ( ) uma tautologia. (f) se ( ) , ento ( ) ( ) uma contradio. Exerccio 8 Prove ou refute as seguintes implicaes lgicas. (a) (p q) (r s) (p s) (r s) (b) (p q) (p r) q ((r p) (p r)) (c) ( p q) (p q) (p q) (d) p q p q (e) (p q) q p (f) ( r (p q)) (r q) r q Exerccio 9 Verifique que todas as operaes possveis entre as proposies p e q podem ser escritas em termos de p q, p e q.