REGLAS de INFERENCIA Ejercicios (Autoguardado)

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 3

MINISTERIO DE EDUCACION NACIONAL

UNIVERSIDAD DE LA AMAZONIA
FLORENCIA – CAQUETÁ
NIT: 891.190.346-1
FACULTAD DE CIENCIAS DE LA EDUCACIÓN
PSICOLOGÍA
REGLAS DE INFERENCIA
REGLA DE INFERENCIA PREMISAS CONCLUSIÓN

MODUS PONENDO PONENS (MPP) P ⇒Q ; P Q

MODUS TOLLENDO TOLLENS (MTT) P ⇒Q ; Q P


MODUS TOLLENDO PONENS (MTP) P ∨Q ; P Q
o SILOGISMO DISYUNTIVO
SILOGISMO HIPOTÉTICO (SH) P ⇒Q ; Q ⇒ R P⇒R
Caso a ¿ P; Q P ∧Q
UNIÓN o ADJUNCIÓN (U) o (ADJ)
Caso b) P; P ⇒Q ; P ⇒ R P ∧Q
SIMPLIFICACIÓN (S) P ∧Q P ,Q
ADICIÓN (ADI) P P ∨Q
DOBLE NEGACIÓN (DN) P ( P)
DILEMA CONSTRUCTIVO (DC) P ∨Q ; P ⇒ R ; Q ⇒ S R∨S
SIMPLIFICACIÓN DISYUNTIVA(SID) P∨P P

P ⇔Q P ⇒Q
BICONDICIONAL (B) P ⇔Q Q⇒P
P ⇔Q ( P ⇒Q ¿ ∧ (Q ⇒ P)
P ∧Q Q∧P
CONMUTACIÓN (C) P ∨Q Q∨P
P ⇔Q Q⇔P
DUALIDAD o D´MORGAN (DM) P ∧Q ( P ∨ Q)
P ∨Q ( P ∧ Q)
INFERENCIA DE UN CONDICIONAL (PC) ( P1 , P1 , … , Pn , ; P)⇒Q P ⇒Q
DEDUCCIÓN INDIRECTA (DI) P ⇒(Q ∧ Q) P
MINISTERIO DE EDUCACION NACIONAL
UNIVERSIDAD DE LA AMAZONIA
FLORENCIA – CAQUETÁ
NIT: 891.190.346-1
FACULTAD DE CIENCIAS DE LA EDUCACIÓN
PSICOLOGÍA

EJERCICIOS

Utilizando las reglas de inferencia deducir las proposiciones indicadas en cada uno de los ejercicios siguientes:

1. Deducir ~(S ∧~Q) 2. Deducir R⇒ ~Q


P1 ~T P1 ~ (R ∧ S)
P2 ~P→ ~S P2 ~S⇒ ~Q
P3 ~ P ∨ T P3 R
P4- ~P MTP 1,3 P4. ~R V ~S DM 1
P5- ~S MPP 2,4 P5. ~S MTP 4,3
P6- ~S V Q RA 5 P6. ~Q MPP 2,5
P7- Q ~ ( S ∧ ~ Q) DM 6 P7 R ⇒ ~ Q PC 3,6

3. Deducir ~(S ∨~Q) 4. Deducir (~P ∨~Q) ⇒ (R ∧ S)


P1 ~S⇒Q P1 R⇒T
P2 ~ (T ∧ R) P2 ~T
P3 S⇒ (T ∧ R) P3- ~P V ~Q
P4- ~S MTT 2,3 P4- ~R MTT 1,2
P5 - Q MPP 1,4 P5- ~R V ~S A4
P6- ~S ∧ Q U 4,5 P6- ~(R /\ S) DM5
P7-~(S V~Q) DM 6 P7- (~P ∨~Q) ⇒~(R ∧ S) PC 3,6

5. Deducir U 6. Deducir ~T
P1 P ∧ T P1 P⇒~Q
P2 P⇒Q P2 Q ∨~R
P3 Q ⇒ (R ∧ S) P3 P ∧ S
P4 ~R ∨~T ∨ U P4 T⇒ (R ∧ S)
P5- P S1 P5 P S3
P6- T S1 P6 S S3
P7- Q MPP 2,5 P7 ( P → ~ Q) ∧ (T⟹R ∧ S) DD dilemma destructivo 1,4
P8- ~R V U MTP 4,6 P8 ~P ∨~T DD 7
P9- R /\ S MPP 7,3 P9 ~(~P) DN 5
P10- R I9 P10 ~T TP 8,9
P11- U MTP 8,10
MINISTERIO DE EDUCACION NACIONAL
UNIVERSIDAD DE LA AMAZONIA
FLORENCIA – CAQUETÁ
NIT: 891.190.346-1
FACULTAD DE CIENCIAS DE LA EDUCACIÓN
PSICOLOGÍA

7. Deducir S

P1 (Q ∧ S) ⇔ ~P
P2 ~S→~P
P3 ~P→ ~Q
P4 R
P5- ~P → ~R SH 2,3
P6- ~Q MTT 3,4
P7- (Q∧S)⇒~P RB 1
P8- P MTT 2,6
P9- ~(Q∧S) MTT 7,8
P10- ~Q V ~S DM 9
P11- ~(~S) MTP 6,10
P12- S DN 11

8. Deducir (~P ∨ S)
P1 ~Q⇒~ P
P2 R ⇒ S
P3 T→ ~Q
P4 T ∨ R
5- S V ~Q DC 2,3,4
6- T →~P SH 1,3
7- S V ~P DC 2,4,6
8- (~P V S) C7

ESTUDIANTES

ANYI DANIELA HURTATIS


LINED K.TORRES
LAURA CASTILLO
JAVIER ZULUAGA

También podría gustarte