Universidade Tecnolgica Federal do Paran Gerncia de Ensino e Pesquisa Departamento Acadmico de Matemtica

Trabalho de Lgica Matemtica 1 - 18/11/2011

Nome: 1. Verique se o argumento dada consistente ou inconsistente. (a) (b) (c) (d) (e) (f)
p q r, s r, p q p q . p q. p r. (p q) r, r s t, (s t) u, u r t, s q, t q p, r s p q r, s p, t q, s t p. r. u r.

Matrcula:

Turma:

p (q r), s (t v), q s t, (q v) p q, q s, (p s) t, r t

2. Mostre a validade dos seguintes argumentos: (a) (1) (2) (3) (4) (5)
y=1 y 1 x=3 x>3 x=3 y 1 y<1 y=1 x>3 x=y x=y 1)

(x = y y pq qr rp p r p r

(b)

(1) (2) (3) (4)

3. Por meio de Demonstrao Condicional ou de Demonstrao Indireta, prove a validade do argumento dado. (a) (b) (c) (d) (e)
r t, t s, (r s) q r s, t p, r q p q, r t, s r, p s p p q. q t. (r s). r s . p q s t.

p q, r s p, q s, r

(p q) (s r), q s, p s