Universidade do Estado do Rio de Janeiro

Disciplina: Lógica Matemática

Professora: Cristiane Leitão
Trabalho para a 2ª Avaliação
Valor: 3.0 pontos

Aluno:______________________________________________________

1ª Questão: Simplificar as proposições, usando o Método Dedutivo:

a) p  ( p → q)  ( p →~ q)
b) ( p → q)  (~ p → q)

2ª Questão: Usar as Regras de Inferência para verificar a validade dos argumentos abaixo:

a) p →~ q , ~ q →~ s , (p →~ s) →~ t , r → t |---- ~ r
b) p  q , p → r , r  s →~ t , q → s |---- ~ t
c) q  (r → t ) , q → s , ~s → (t → p ) , ~s |---- r → p
d) ~ p  r , p  q , r → s , q  s → t  s |---- t  s
e) p → q , p  q → r  s , r  s →~ t , (p →~ t ) → u |---- u
f) p → q , q → r , r → s , ~ s , p  t |⎯ t
g) p → q , p  (~~ r  ~~ q ) , s →~ r , ~ ( p  q ) |⎯ ~ s  ~ q
h) x = y → x = z ; x = z → x = t ; x = y  x = 0 ; x = 0 → x + u = 1; x + u  1 |⎯ x = t
i) p  q →~ r ; s → p ; t → q ; s  t |⎯ u  ~ r
j) p →~ q, p  r , r →~ q, s → q , t |⎯ ~s  t
k) p → q, (p → r ) → s  q , p  q → r , ~s |---- q
l) p  q , p → r , r  s →~ t , q → s |---- ~ t
m) 3x + 2 y = 18  x + 4 y = 16 ; x = 2 → 3x + 2 y  18 ; x = 2  y = 3 ; x  4 → y  3 |⎯ x = 4
n) x + 2  5 → x = 4 ; x = 4 → x + 4  7 ; x + 4  7 ; x + 2  5  (5 − x  2  x  3) |⎯ x  3

o) x + 8 = 12  x  4
x = 4 y  x
x + 8 = 12  y  x → y + 8  12
y + 8  12

p) x + 2  6 → x  4
y  6  x + y  10
x + y  10  x + 2  6
x  4 y  6

q) Pagamos a dívida ou liberamos o câmbio, e, pagamos a dívida ou reduzimos o déficit. Se pagarmos a

dívida, os juros caem. Se os juros caírem, a renda cresce. Se liberarmos o câmbio e reduzirmos o
déficit, então, se as exportações caírem, a renda cresce. A renda não cresceu. Logo, as exportações não
caíram.

r) Se o câmbio cair temos inflação. Se as exportações aumentarem, reduzimos a dívida. Ou o câmbio cai
ou as exportações aumentam. Logo, temos inflação ou reduzimos a dívida.