Universidad Jos Antonio Pez

Ingeniera en Computacin
Lgica Simblica
Prof. Soraya Aguilar
Gua IV
Derivaciones en Ss Reglas Derivadas
1. Derive la ultima formula a partir de las anteriores, utilizando las leyes de
inferencia y las reglas derivadas.
a.

(p q) (r s)

s (r p)

b.

(p q) q, q q

c.

(p q) p

((q p) p) p

d.

(p q) (r q), q p

rp

e.

((p q) q) (p q) (categricamente)

f.

(p q) (p q) (categricamente)

g.

p (q r), p q

pr

h.

p q, (p q) (r p)

rp

i.

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

ps

j.

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

(p r)

k.

(s q) (q t), (m s) (t m)

(s t) (s t)

l.

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

ps

m.

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

(p r) s