UALG - 05/06

Matemtica Discreta - Exerccios de Lgica

1. Diga que relaes lgicas existem entre as seguintes proposies: (a) Todos os marcianos falam ingls. (b) Todos os marcianos no falam ingls. (c) Nenhum marciano fala ingls. (d) Alguns marcianos no falam ingls. (e) H marcianos que falam ingls. 2. Negue as seguintes armaes: (a) Chove e no neva. (b) Chove ou neva. (c) Como chove, molho-me. (d) Se chove, neva e molho-me. (e) Sempre que chove neva. (f) Quando chove todas as pessoas se molham. (g) Se chover, sempre que fores ao cinema eu vou contigo. (h) H chuva que no molha. (i) Toda a chuva que molha fria. (j) Todos as pessoas que andam chuva molham-se. 3. Traduza, custa das operaes de negao, conjuno e disjuno, as operaes lgicas: disjuno exclusiva, implicao, equivalncia, incompatibilidade e negao conexa. 4. Conrme, por meio de tabelas, as seguintes propriedades das operaes lgicas: (a) a^(b_c) = (a^b)_(a^c) (b) a_(b^c) = (a_b)^(a_c) (c) s (a^b) =s a_ s b (d) s (a_b) =s a^ s b i

UALG - 05/06

Matemtica Discreta - Exerccios de Lgica

5. Verique a validade das igualdades: (a) (a =) b) = (s b =)s a) (b) [s (a =) b)] = (a^ s b) (c) (a () b) = [(a^b)_(s a^ s b)] _ (d) (a () b) = [s (a_b)] 6. Verique se as seguintes frmulas so contradies: (a) (a =) b)^(s b^a) (b) s [(s a^b) _ (a_ s b)] (c) a_(b^ s a) 7. Verique se as seguintes frmulas so tautologias: (a) (s a_b)^a (b) (s a^ s b)_a_b 8. Simplique as expresses: (a) [a^(s a_ s b)]_(b^ s a) (b) s (s a_b)^ s [a^(b^ s a)] (c) a =) [a^(b_c)] (d) s [(a =)s b)_ s (s a =) b)] (e) (a () b)^ s (a_b) (f) [(a^b)_(s a^ s b)] () (a () b) 9. Em cada um dos casos seguintes, que outros valores de verdade podem ser deduzidos a partir dos dados? s a _ (a =) b)) 0 s (a ^ b) () (s a_ s b) 1 (s a_b) =) (a =)s c) 0

ii

UALG - 05/06

Matemtica Discreta - Exerccios de Lgica

10. Num romance policial que envolve o roubo de um colar e um assassnio, sabe-se que o Jack s pode ser o assassino ou o detective mas no ambas as coisas e se o Jack no o assassino ento o ladro do colar. Sabe-se ainda que o Jack no pode ser, simultaneamente, o ladro e o detective. Logo o Jack o assassino. Estude a validade deste raciocnio. 11. Verique se so correctos os seguintes raciocnios: (a) Ou o Aldo est a mentir ou o Barbosa estava no Mxico em Abril ou o Castilho no era chantagista. Se o Barbosa no estava no Mxico em Abril ento ou o Aldo est a dizer a verdade ou o Castilho era um chantagista. Logo o Barbosa deve ter estado no Mxico em Abril. (b) Se o oramento no for cortado, uma condio necessria e suciente para os preos permanecerem estveis que os impostos sejam aumentados. Os impostos sero aumentados somente se o oramento no for cortado. Se os preos permanecem estveis, os impostos no sero aumentados. Portanto os impostos no sero aumentados. (c) Se U subespao de V ento U subconjunto de V, U contm o vector zero e U fechado. U subconjunto de V e, se U fechado ento U contm o vector zero. Logo se U fechado ento U subespao de V. 8 > > p = Est frio > > > < 12. Sabendo que: q = Neva traduza, em linguagem verbal, os seguintes argumen> > > > > : r = Uso luvas tos e verique a sua validade: _ p_q (a) sq )p

iii

UALG - 05/06

Matemtica Discreta - Exerccios de Lgica

p =) q (b) s r =)s q )s r =)s p p =) q (c) r_ s q )s p _ r _ s r_q (d) s p =)s q )s r _ p _ p_ s q (e) r =)s p ) q =)s r _ s p_q (f) s p =)s q p )q p =) q (g) sq_p sq )p

iv

UALG - 05/06

Matemtica Discreta - Exerccios de Lgica

p () q (h) s p =)s r sr )q 13. Mostre que as frmulas proposicionais (p^q)_(s p^ s q) e p () q so logicamente equivalentes. 14. Encontre uma frmula que use apenas os conectivos ^, _ e s, seja uma disjuno de conjunes e tenha a tabela de verdade: p1 1 1 1 (a) 1 0 0 0 0 p2 1 1 0 0 1 1 0 0 p3 1 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0

UALG - 05/06

Matemtica Discreta - Exerccios de Lgica

p1 1 1 1 (b) 1 0 0 0 0

p2 1 1 0 0 1 1 0 0

p3 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1

15. Considere os smbolos proposicionais p; q; t e a frmula A = (p =)s q_t)^q =) (p =) t): (a) Construa a tabela de verdade de A. (b) Verique se as frmulas (p =)s q_t) ^q e p =) t so equivalentes. (c) Verique se est correcta a argumentao: se p =)s q_t e q ento p =) t. 16. Seja H o conjunto de todos os homens. Traduza por meio de expresses quanticadas, as seguintes proposies: (a) Todos os homens so portugueses. (b) Existe pelo menos um portugus. (c) Nenhum homem portugus. 17. Seja H o conjunto de todos os homens. Traduza, em linguagem corrente, as seguintes proposies: (a) 9x 2 H : x foi Lua. (b) 8x 2 H; x foi Lua. vi

UALG - 05/06

Matemtica Discreta - Exerccios de Lgica

(c) s 9x 2 H : x foi Lua. 18. Negue as proposies: (a) 9x 2 R : x2 + 5 6= 0. (b) 8x 2 R; x2 + 1 < 0: (c) 8x 2 N; x um nmero primo. (d) 9x 2 N : x divisvel por 5^x mltiplo de 6. (e) 9x 2 N; 9y 2 N : x y^y > 4: (f) 8x 2 N; 9y 2 N : x + y = x^xy = 0: (g) 8x 2 R; 8y 2 R; x > 2_y (h) 9x 2 N : 8y 2 N; x > 2y: 19. Sendo H o conjunto de todos os homens e M o conjunto de todas as mulheres, traduza em linguagem corrente, as seguintes proposies: (a) 8x 2 H; 9y 2 M : x pai de y. (b) 9x 2 H : 8y 2 M; x pai de y. (c) 9x 2 H; 9y 2 M : x pai de y. (d) 8x 2 H; 8y 2 M; x pai de y. (e) 9x 2 H : 8y 2 M; x no pai de y. (f) 8x 2 H; 9y 2 M : x no pai de y. 2 6= 7:

vii