UNIVERSIDAD LA GRAN COLOMBIA FACULTAD DE CIENCIAS DE LA EDUCACIN EJERCICIOS DE INFERENCIA LGICA PROFESOR: CARLOS ANDRS MEDINA

Recordemos la Equivalencias: E1: (A C) A C E2: ( A C) A C E3: ( A C) A C E4: ( AC) A C Condicional como disyuncin Negacin (de un condicional) como conjuncin

Negacin (de una Disyuncin) como conjuncin

Negacin (de una Conjuncin) como Disyuncin

E5: ( A C) (A C) ( C A) como Disyuncin E6: (A C) (CA)

Negacin (de una equivalencia)

Condicional como condicional (contra recproco)

Ejemplo 1 Hallar la siguiente conclusin: QP, a partir de las premisas: P1: PQ P P2: Q P Solucin: 3. ( PQ) P Sustitucin (equivalencia 1) del condicional en 1. 4. (P Q) P Sustitucin (Equivalencia 3) en 3. 5. Q P Ley simplificacin en 4. 6. QP Sustitucin del condicional en 5. En este ltimo paso, alcanzamos la conclusin: QP, luego el argumento es vlido.

Ejemplo 2 Demostrar la siguiente conclusin R Q, a partir de las premisas: P1: (RS) P2: Q S Solucin: 3. R S Equivalencia 4 aplicada en 1.

4. R S Sustitucin (equivalencia 1) del condicional en 3. 5. SQ Equivalencia 6 de condicional en 2 6. RQ Ley de transitividad entre 4 y 5. En este ltimo paso, alcanzamos la conclusin: R Q, luego el Argumento es vlido.

Ejemplo 3 Traducir al lenguaje formal y demostrar por el mtodo de validez formal el siguiente razonamiento: P1: Si las leyes no existen, todo estara permitido. P2: Si las leyes no existen, no habra normas morales. P3: Es as que hay normas morales. Luego, C: las leyes existen. En primer lugar transformamos el lenguaje natural en lenguaje formal: 1. Si las leyes no existen, todo estara permitido: PS 2. Si las leyes no existen, no habra normas morales: PR 3. Hay normas morales: R Luego las leyes existen: P 1. PS 2. PR 3. R C: P Solucin: Intentamos demostrar la conclusin: P, a partir de las tres premisas: 4. P: Modus tollendo tollens entre la premisa 2 y 3. Por lo tanto, el argumento es vlido y no es necesaria la premisa 1. Ejemplo 4 Demostrar la siguiente conclusin: PR, a partir de las premisas: 1. P S 2. RS Solucin: 3. PS Sustitucin (equivalencia 1) en 1. 4. SR sustitucin (Equivalencia 6) en 2. 5. PR Ley de transitividad en 3 y 4. En este ltimo paso, alcanzamos la conclusin: PR, luego el argumento es vlido.

Ejemplo 5 Traducir al lenguaje formal y probar la validez del siguiente razonamiento: P1: No es verdad que: estudias y trabajas. P2: Si quieres conseguir dinero entonces trabajas. Luego, C: Si estudias entonces no consigues dinero. Solucin: Sean: P1: No es verdad que: estudias y trabajas: (PQ) P2: Si quieres conseguir dinero entonces trabajas: RQ Luego, C: Si estudias entonces no consigues dinero: PR P1: (PQ) P2: RQ C: PR P3: P Q Equivalencia 4 en 1. P4: PQ Sustitucin (equivalencia 1) del condicional en 3. P5: QR Equivalencia 6 aplicada en 2. P6: PR Ley de la transitividad en 4 y 5. En este ltimo paso, alcanzamos la conclusin: PR, luego el razonamiento es vlido. Ejemplo 6 Traducir al lenguaje formal y probar la validez del siguiente razonamiento: P1: O me traes a casa, o no voy a la fiesta. P2: Si no llueve entonces voy a la fiesta. Luego, C: Si no me traes a casa llueve. Simbolizacin P1: O me traes a casa, o no voy a la fiesta: P Q P2: Si no llueve, entonces voy a la fiesta: RQ Luego, C: Si no me traes a casa, llueve: PR P1: P Q P2: RQ C: PR Solucin: P3: PQ Sustitucin del condicional en 1 (equivalencia 1). P4: QR Equivalencia 6 aplicada en 2.

P5: PR Ley transitividad en 3 y 4. En este ltimo paso, alcanzamos la conclusin: PR, luego el Argumento es vlido. Ejercicios 1. Utilizar el modo poniendo Ponens o el modo Tollendo Tollens para resolver los siguientes razonamientos y justificar cada paso: a) P1: PT S P2: (PT) C: b) P1: PT SR P2: PT C: c) P1: PT SR P2: S R C: d) P1: T P2: T Q P3:Q S C: e) P1: T P2: PT P3:P S C: f) Demostrar : S Q P1: SQ P2 : (TR) P3: S TR C:

2. Verificar por alguno de los mtodos de inferencia, si cada uno de los argumentos es vlido. Justificar: a) P1: Todos los que no se presenten al examen, tendrn que presentar supletorio P2: Juan no se presenta al examen. Por lo tanto: C: Juan presenta supletorio. b) P1: Ningn nade baila el vals. P2: Ningn oficial declina nunca una invitacin a bailar el vals. P3: Todas mis aves de corral son nades. Por lo tanto: C: Mis aves de corral no son oficiales. c) P1: Lancelot ama a la Reina Ginebra. P2: Lancelot no ama a ninguno de sus amigos. P3: El Rey Arturo es amigo de Lancelot.

P4: Los amigos de Lancelot odian a aquello a quienes Lancelot ama. Por lo tanto C: El Rey Arturo odia a la Reina Ginebra.
d)

P1: Si el reloj est adelantado, entonces Juan lleg antes de las diez y vio partir el carro de Andrs. P2: Si Andrs dice la verdad, entonces Juan no vio partir el carro de Andrs P3: O Andrs dice la verdad, o estaba en el edificio en el momento del crimen. P4: El reloj est adelantado. Por lo tanto, C: Andrs estaba en el edificio en el momento del crimen.
e)

P1: Nadie confa en las personas que nunca pagan sus deudas. P2: Todo el mundo cuenta con la confianza de sus familiares. Por lo tanto, C: cualquiera que tenga familia paga alguna de sus deudas.

f) P1: Si Juan es ms alto que Pedro, entonces Mara es ms baja que Juana. P2: Mara no es ms baja que Juana. P3: Si Juan y Lus tiene la misma estatura, entonces Juan es ms alto que Pedro. Por lo tanto, C: Juan y Lus no tienen la misma estatura. 3. Determinar si cada uno de los siguientes Argumentos son vlidos o no. Escribir la correccin en el caso de que el argumento no sea vlido. a) Todo el que piensa existe. Yo pienso, luego existo. Todos los latinos son mediterrneos. Ningn Nrdico es mediterrneo Por tanto, Ningn Nrdico es latino. b) Pedro es maestro. Todos los maestros son sabios y generosos. Por lo tanto, Alguien es generoso. c) Todos los maestros son sabios y generosos. Por tanto, Alguien es generoso. d) Si no es cierto que todos son felices, entonces algunos estn tristes. No es cierto que algunos estn tristes

Por lo tanto, Algunos son felices. e) Algunos son analticos. Algunos son, analticos o detectives. Por tanto, Algunos son detectives. f) Los elefantes son ms pesados que los ratones. Ningn ratn es ms pesado que un elefante. Por lo tanto, Los elefantes y los ratones no son pesados