REGLAS de INFERENCIA Ejercicios (Autoguardado)
REGLAS de INFERENCIA Ejercicios (Autoguardado)
REGLAS de INFERENCIA Ejercicios (Autoguardado)
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
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:
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