Universidade Veiga de Almeida Curso de Cincia da Computao Sistemas Digitais Reviso de Lgica

Lista de Exerccios NULL 1. Mostre que a sentena (p q) conseqncia lgica da sentena (p q). 2. Mostre que (p q) (q r) implica logicamente p r. 3. Mostre que (p q) p implica p. 4. Mostre que as sentenas: p q e p q so equivalentes. 5. Mostre que a sentena: p (q r) equivalente sentena: p q r. 6. Mostre que se S1: (p q) r e S2: p (q r) ento temos S1 S2. 7. Mostre que p conseqncia lgica de {q, rq, qp}. 8. D uma sentena que no seja conseqncia lgica de {p, q, pq}. 9. Verifique a equivalncia usando Tabela Verdade e Equivalncias Lgicas: a. b. c. d. e. (p q r) p (q r) (p q) (p q) q ((p q)) p q (p q) (p q) (q p) qpqpq

10. Passe para a FNDC e FNCC (mtodos: eq. Tautolgicas e POST): a. b. c. d. e. f. (q p) (p q r) (q p) ( p q) (p q) (p q) (p q) (p (q r)) p (q r) p (q r))