Lgica Matemtica Exerccios de Argumentos e regras de inferncia

Exerccios:
(1) Indicar a regra de inferncia que justifica a validade dos seguintes argumentos e provar a validade dos argumentos usando a condicional associada: a) p v q, (r s) ^ (q t), ~p ^ ~s | ~r ^ t 1pvq 2 (r s) ^ (q t) 3 ~p ^ ~s 4 ~r ^ t 5 ~p 3, SIMP 6q 1, 5 SD 7qt 2, SIMP 8t 7,5 MP 9rs 2 SIMP 10 ~s 3 SIMP 11 ~r 9, 10 MT 12 ~r ^ t 11,8 CONJ b) (p v q) ((p ^ r) s | (p ^ r) s 1 (p v q) ((p ^ r) s 2 (p ^ r) s 1,2 MP c) p q, q r, p | r 1pq 2 q r 3p 4r 5q 1, 3 MP 6r 2, 4 MP d) p ^ s, p q, q r | r 1p^s 2pq 3qr 4r 5p 1 SIMP 6q 2, 5 MP 7r 3, 6 MP

Lgica Matemtica Exerccios de Argumentos e regras de inferncia

e) p v q, p q, ~q | q 1pvq 2pq 3 ~q 4q 5 ~p 2, 3 MT 6q 1, 5 SD (2) Faa a formalizao na lgica de predicados dos seguintes argumentos:
a) Icabod infeliz. Interpretao: Domnio: conjunto das pessoas vivas n: Icabod Fx: x feliz Formalizao: Fn b) Algum infeliz. Interpretao: Domnio: conjunto das pessoas vivas Fx: x feliz Formalizao : x Fx c) Toda a gente infeliz. Interpretao: Domnio: conjunto das pessoas vivas Fx: x feliz Formalizao: x Fx d) Icabod odeia Isabel. Interpretao: Domnio: conjunto das pessoas vivas m: Icabod n: Isabel Fxy: x odeia y Formalizao: Fmn e) Icabod odeia algum. Interpretao: Domnio: conjunto das pessoas vivas n: Icabod Fyx: y odeia x Formalizao: x Fnx

Lgica Matemtica Exerccios de Argumentos e regras de inferncia f) Algum odeia Icabod. Interpretao: Domnio: conjunto das pessoas vivas n: Icabod Fxn: x odeia y Formalizao: x Fxn g) Algum odeia algum. Interpretao: Domnio: conjunto das pessoas vivas Fxy: x odeia y Formalizao: x y Fxy h) Algum se odeia a si mesmo. Interpretao: Domnio: conjunto das pessoas vivas Fxx: x odeia x Formalizao: x Fxx i) Toda a gente se odeia a si mesma. Interpretao: Domnio: conjunto das pessoas vivas Fxx: x odeia x Formalizao: x Fxx j) Icabod odeia toda a gente. Interpretao: Domnio: conjunto das pessoas vivas n: Icabod Fxy: x odeia y Formalizao: x Fnx k) Toda a gente odeia Icabod. Interpretao: Domnio: conjunto das pessoas vivas n: Icabod Fxy: x odeia y Formalizao: x Fxn l) Toda a gente odeia toda a gente. Interpretao: Domnio: conjunto das pessoas vivas Fxx: x odeia x Formalizao: x y Fxy

Lgica Matemtica Exerccios de Argumentos e regras de inferncia

m) Algum odeia toda a gente. Interpretao: Domnio: conjunto das pessoas vivas Fxy: x odeia y Formalizao: xy Fxy n) Toda a gente odeia algum. Interpretao: Domnio: conjunto das pessoas vivas Fxy: x odeia y Formalizao: x y Fxy o) Todos os zemndares so poderosos. Interpretao: Domnio: conjunto das pessoas vivas Fx: x um zemndar. Gx: x poderoso.

Formalizao: x (Fx

Gx)

(3) Dado o domnio D = { 1, 2, 3 }, determine o valor verdade para os seguintes enunciados:

a. a, b /. a2+b2 < 12 V={(1,1); (1,2); (1,3); (2,1); (2,2); (2,3); (3,1)} b. a, b c /. a2+b2 < c2. ------ F segundo o enunciado no h conjunto verdade.

(4) Seja A = { 1, 2, 3, 4, 5 }, determine o valor lgico de cada uma das seguintes funes proposicionais:
a. a A , |a | = a ----------- V b. a A , a2 = a ------------ F c. a A , a + 2 a -------- V d. a A , |a |= a ------------ V e. a A , a2 = a ------------ V f. a A , a + 2 a --------- V

Lgica Matemtica Exerccios de Argumentos e regras de inferncia

(5) Negue as proposies do exerccio 4.

a. a A , |a | = a ----------- a A , |a | a b. a A , a2 = a ------------ a A , a2 a c. a A , a + 2 a -------- a A , a + 2 < a d. a A , |a |= a ------------ a A , |a| a e. a A , a2 = a ------------ a A , a2 a f. a A , a + 2 a --------- a A , a + 2 < a