Académique Documents
Professionnel Documents
Culture Documents
(p q) r
(q s) t
t
p
q
pq
r
qr
p (q r)
(q r)
(q s)
(q s)
q s
q s
q
r
Nota: Se recomienda usar las definiciones del libro Iniciacin a la lgica de Dez Calzada, pp. 96-101
(reglas bsicas), pp. 104-106 (reglas derivadas).
(4 pts.)
5. Construya las deducciones formales relativas a:
1.
p q, p (q ~r), ~q ~r ~ q
2.
(p r) (q r) (p q) r) (Principio de composicin)
Ayuda: en estas demostraciones son muy tiles las interdefiniciones, como la definicin del condicional
por la disyuncin:
p -> q -||- ~p q,
la del disyuntor por el condicional
p q -||- ~p q,
reglas derivadas como modus tollens.:
p q, q |- p
y el silogismo disyuntivo (SD):
p q, q |- p.
(4 pts.)