Você está na página 1de 2

Fundamentos de Teoria da Computao Lista 1 - Lgica proposicional

1. Use as leis de De Morgan para encontrar a negao de cada uma das proposies abaixo: a) Maria rica e feliz. b) Greg andar de bicicleta ou correr amanh. c) Mel anda ou pega nibus para ir escola. d) Ivan esperto e trabalha muito. 2. Use uma srie de equivalncias lgicas para vericar a veracidade das sequintes equivalncias: a) (p q ) q p q b) p (p q ) p q c) (p q ) (p r) p (q r) d) p (q r) q (p r) 3. Mostre que (p q ) r e p (q r) no so equivalentes. 4. Mostre que as seguintes equivalncias lgicas so vlidas: a) (p q ) p q b) (p r) (q r) (p q ) r 5. Considere P (x) como a proposio x passa mais do que cinco horas em aula todos os dias, em que o domnio de x so todos os estudantes. Expresse cada uma dessas quanticaes em portugus. a) xP (x) b) xP (x) c) xP (x) d) xP (x) 6. Transcreva estas proposies para o portugus, em que C (x) x um comediante e F (x) x divertido e o domnio so todas as pessoas. a) x(C (x) F (x)) b) x(C (x) F (x)) c) x(C (x) F (x)) d) x(C (x) F (x))

7. Determine o valor-verdade de cada uma destas proposies, se o domnio forem todos os nmeros inteiros. a) n(n + 1 > n) b) n(2n = 3n) c) n(n = n) d) n(n2 > n) e) nm(n2 < m) f) nm(n < m2 ) g) nm(n2 + m2 = 6)