Untitled

Page 1

a) q -> r , p -> q ⊢ p -> r

1.) q -> r

2.) p -> q

----//----- PRÓXIMAS DEDUÇÕES

3.) p -> r (SH)

//////////////////////////////////////////////////////////////////

b) p -> ¬q , ¬p -> ¬r, q ⊢ ¬r

1.) p -> ¬q

2.) ¬p -> ¬r

3.) q

----//----- PRÓXIMAS DEDUÇÕES

4.) (1,3) p -> ¬q , q == ¬p (MT)

5.) (2,4) ¬p -> ¬r , ¬p == ¬r (MT)

//////////////////////////////////////////////////////////////////

c) s -> ¬r, ¬q -> ¬t, p, q -> s, ¬r -> ¬p ⊢ ¬r

1.) s -> ¬r

2.) ¬q -> ¬t

3.) p

4.) q -> s

5.) ¬r -> ¬p

----//----- PRÓXIMAS DEDUÇÕES

6.) (1,5) s -> ¬r , ¬r -> ¬p == s -> p (SH)

7.) (6,3) s -> p , p == s (MP)

8.) (7,1) s -> ¬r, s == ¬r (MP)

//////////////////////////////////////////////////////////////////

d) ¬p -> q ^ r , s -> ¬(t v u), p -> s , t v u ⊢ q ^ r

1.) ¬p -> q ^ r

2.) s -> ¬(t v u) -------> s -> ¬t ^ ¬u

3.) p -> s

4.) t v u

----//----- PRÓXIMAS DEDUÇÕES

5.)

//////////////////////////////////////////////////////////////////

e.)

p: "Pessoas com déficit de atenção tivessem problemas no aprendizado "

q: "ele seria considerado um problema de sáude."

r: "Sabe-se que existem drogas psicoativas que melhoram a concentração e a atenção."

s: "O deficit de atenção não seria considerado um problema de saúde."

CONECTIVOS LÓGICOS: se...então, não

A = ¬p -> ¬q, r , ¬s -> ¬r ∴ p

Page 2