UNIVERSIDAD LA GRAN COLOMBIA

FACULTAD DE CIENCIAS DE LA EDUCACIN

EJERCICIOS DE INFERENCIA LGICA
PROFESOR: CARLOS ANDRS MEDINA



Recordemos la Equivalencias:

Condicional como disyuncin

Negacin (de un condicional) como conjuncin


Negacin (de una Disyuncin) como conjuncin


Negacin (de una Conjuncin) como Disyuncin


Negacin (de una equivalencia)

como Disyuncin

Condicional como condicional (contra recproco)



Ejemplo 1
Hallar la siguiente conclusin: Q P, a partir de las premisas:
P1: P Q P
P2: Q P

Solucin:
3. ( P Q) 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. Q P Sustitucin del condicional en 5.
En este ltimo paso, alcanzamos la conclusin: Q P, luego el argumento es
vlido.


Ejemplo 2
Demostrar la siguiente conclusin R Q, a partir de las premisas:
P1: (R S)
P2: Q S

Solucin:
3. R S Equivalencia 4 aplicada en 1.
E1: (A C) A C
E2: ( A C) A C
E3: ( A C) A C
E4: ( A C) A C
E5: ( A C) ( (( (A C) ( ( ( ( C A)
E6: (A C) ( (( (C A)
4. R S Sustitucin (equivalencia 1) del condicional en 3.
5. S Q Equivalencia 6 de condicional en 2
6. R Q 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: P S
2. Si las leyes no existen, no habra normas morales: P R
3. Hay normas morales: R
Luego las leyes existen: P

1. P S
2. P R
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: P R, a partir de las premisas:
1. P S
2. R S

Solucin:
3. P S Sustitucin (equivalencia 1) en 1.
4. S R sustitucin (Equivalencia 6) en 2.
5. P R Ley de transitividad en 3 y 4.

En este ltimo paso, alcanzamos la conclusin: P R, 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: (P Q)
P2: Si quieres conseguir dinero entonces trabajas: R Q
Luego,
C: Si estudias entonces no consigues dinero: P R

P1: (P Q)
P2: R Q

C: P R

P3: P Q Equivalencia 4 en 1.
P4: P Q Sustitucin (equivalencia 1) del condicional en 3.
P5: Q R Equivalencia 6 aplicada en 2.
P6: P R Ley de la transitividad en 4 y 5.
En este ltimo paso, alcanzamos la conclusin: P R, 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: R Q
Luego,
C: Si no me traes a casa, llueve: P R

P1: P Q
P2: R Q
C: P R

Solucin:

P3: P Q Sustitucin del condicional en 1 (equivalencia 1).
P4: Q R Equivalencia 6 aplicada en 2.
P5: P R Ley transitividad en 3 y 4.

En este ltimo paso, alcanzamos la conclusin: P R, 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) c)
P1: P T S P1: P T S R
P2: (P T) P2: S R
C: C:

b) d)
P1: P T S R P1: T
P2: P T P2: T Q
C: P3:Q S

C :

e) f) Demostrar : S Q
P1: T P1: S Q
P2: P T P2 : (T R)
P3:P S P3: S T R

C: 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