REGLAS DE INFERENCIA

ANDREA FONTALVO

SANTIAGO POLANCO

YULISSA JIMENEZ

LOGICAMATEMATICA

RAUL ALFONSO BELTRAN

CURSO INTRODUCTORIO CIENCIAS DE LA SALUD (MEDICINA)

01/OCTUBRE/2021

BARRANQUILLA 2021-2
 REGLAS DE INFERENCIAS

 Demostrar: ¬S  Demostrar: x ≠ y  Demostrar: R

(1) P → Q (P) (1) x = y → y = z (P) (1) ¬ Q v S (P)
(2) Q → R (P) (2) y = z → y = w (P) (2) ¬ S (P)
(3) S → ¬ R (P) (3) y = w → y = 1 (P) (3) ¬ (R ꓥ S) → Q (P)
(4) P (4) y ≠ 1 (4) ¬ Q (1), (2) MTP
(5) Q (1), (4) MPP (5) y ≠ w (3), (4) MTT (5) ¬ (¬ R ꓥ ¬ S) (3), (4) MTT
(6) R (2), (5) MPP (6) y ≠ z (2), (5) MTT (6) R ꓥ S (5), Doble negación
(7) ¬S (3), (6) MTT (7) x ≠ y (1), (6) MTT (7) R (6) Simplificación

 Demostrar: ¬(R ꓥ ¬ T)  Demostrar: y = 1 V y = 9

(1) (R ꓥ ¬ T) → ¬ S (P) (1) ¬ (x = 2 V x = 8) → x = 6 (P)
(2) P → S (P) (2) 2 x + 3 y = 21 ꓥ x ≠ 6 (P)
(3) P ꓥ Q (P) (3) x = 2 → y = 9 (P)
(4) P (3) Simplificación (4) x = 8 → y = 1 (P)
(5) S (2), (4) MPP (5) y = 1 V y = 9 (1), (3), (4)
(6) ¬ (R ꓥ ¬ T) (1), (5) MTT (Silogismo disyuntivo)

 Demostrar: ¬ Q → T
(1) S → R (P)
(2) S V P (P)
(3) P → Q (P)
(4) R → T (P)
(5) ¬ Q (Premisa Auxiliar)
(6) ¬ P (3), (5) MTT
(7) S (2), (6) MTP
(8) R (1), (7) MPP
(9) T (7), (8) MPP