DERIVACIONES LOGICAS

Eucario Parra Castrillón

Politécnico Jaime Isaza Cadavid
Fecha de actualización: abril 15
 Ejemplo No 1
Demostrar la siguiente derivación

A v B, ˜A Ͱ B

A B ˜A

A v B, ˜A Estas son dos premisas

B Esta es la conclusión
 A v B, ˜A Ͱ B
X

A B ˜A A v B
 A v B, ˜A Ͱ B
X

A B ˜A A v B X ˄ ˜A
 A v B, ˜A Ͱ B
X P
A B ˜A A v B X ˄ ˜A
 A v B, ˜A Ͱ B
X P
A B ˜A A v B X ˄ ˜A B
 A v B, ˜A Ͱ B
X P C
A B ˜A A v B X ˄ ˜A B
 A v B, ˜A Ͱ B
X P C
A B ˜A A v B X ˄ ˜A B P=>C
 A v B, ˜A Ͱ B
X P C
A B ˜A A v B X ˄ ˜A B P=>C
V V F V F V V
V F F V F F V
F V V V V V V
F F V F F F V
 Ejemplo No 2
Demostrar la siguiente derivación
A => B, B=>C Ͱ A =>C
A B C

A => B, B=>C Esta son las premisas

A =>C Esta es la conclusión

 A => B, B=>C Ͱ A =>C

A B C A => B B=>C
 A => B, B=>C Ͱ A =>C
X Y
A B C A => B B=>C
 A => B, B=>C Ͱ A =>C
X Y
A B C A => B B=>C X˄Y
 A => B, B=>C Ͱ A =>C
X Y P
A B C A => B B=>C X˄Y
 A => B, B=>C Ͱ A =>C
X Y P
A B C A => B B=>C X˄Y A=>C
 A => B, B=>C Ͱ A =>C
X Y P K
A B C A => B B=>C X˄Y A=>C P => K
 A => B, B=>C Ͱ A =>C
X Y P K
A B C A => B B=>C X˄Y A=>C P => K
V V V V V V V V
V V F V F F F V
V F V F V F V V
V F F F V F F V
F V V V V V V V
F V F V F F F V
F F V V V V V V
F F F V V V V V
 Ejemplo de un crimen (Ejemplo 3)
“El fiscal Juan está investigando un asesinato presentado
en el interior de una casa. Se descarta que el motivo fuera
perpetrar un robo, ya que de la casa nada se han llevado.
La inquietud del fiscal es si fue por motivos políticos o por
motivos pasionales. Cuando es por política los asesinos
huyen rápidamente y no dejan huellas. En este caso, por el
contrario, el asesino estuvo varias horas en el lugar y dejo
huellas en varias partes de la casa. Por lo anterior, la
hipótesis del fiscal es que el asesino actúo debido a
asuntos pasionales”.

¿ Es cierto el argumento del señor fiscal ? ¿ Es valida la conclusión del fiscal?

 Ejemplo de un crimen
“El fiscal Juan está investigando un asesinato presentado
en el interior de una casa. Se descarta que el motivo fuera
perpetrar un robo, ya que de la casa nada se han llevado.
La inquietud del fiscal es si fue por motivos políticos o por
motivos pasionales. Cuando es por política los asesinos
huyen rápidamente y no dejan huellas. En este caso, por el
contrario, el asesino estuvo varias horas en el lugar y dejo
huellas en varias partes de la casa. Por lo anterior, la
hipótesis del fiscal es que el asesino actúo debido a
asuntos pasionales”.

¿ Es cierto el argumento del señor fiscal ? ¿ Es valida la conclusión del fiscal?

 Ejemplo de un crimen
Variables

P1: El motivo del asesinato fue por un robo

P2: Algo se han llevado de la casa
P3: El asesinato fue por motivos políticos
P4: El asesinato fue motivos pasionales
P5: El asesino huyó rápidamente
P6: El asesino dejó huellas en la casa

Objetivo : demostrar la variable P4.

P4 es la conclusión.
 Demostración

No DERIVACIÓN FORMAL REGLA APLICADA

1 P1  P2 Premisa

2 P 2 Premisa

3 P1 Modus Tollens en 1,2

4 P1  P3  P4 Premisa
MODUS PONENS
A, AB Ͱ B

MODUS TOLLENS
˜ B, A  B Ͱ ˜ A
 Demostración
No DERIVACIÓN FORMAL REGLA APLICADA

5 P3  P4 Modus Ponens en 3,4

6 P3  P5 Premisa

7 P6  P5 Premisa

8 P6 Premisa

MODUS PONENS
A, AB Ͱ B

MODUS TOLLENS
˜ B, A  B Ͱ ˜ A
 Demostración
No DERIVACIÓN FORMAL REGLA APLICADA

9 P5 Modus Ponens en 7,8

10 P3 Modus Tollens en 6,9

11 P4 Silogismo disyuntivo en 5 y 10
MODUS PONENS
A, AB Ͱ B

MODUS TOLLENS
Llegamos a la conclusión ˜ B, A  B Ͱ ˜ A

SILOGISMO DISYUNTIVO
AVB,˜AͰB
 OTRA FORMA DE SOLUCIÓN
Variables

P1: El motivo del asesinato fue por un robo

P2: Algo se han llevado de la casa
P3: El asesinato fue por motivos políticos
P4: El asesinato fue motivos pasionales
P5: El asesino huyó rápidamente
P6: El asesino dejó huellas en la casa

Objetivo : demostrar la variable P4.

P4 es la conclusión.
 DEMOSTRACIÓN

No DERIVACIÓN FORMAL REGLA APLICADA

1 P1  P2 Premisa
2 P3  P5 Premisa
3 P4  P6 Premisa MODUS PONENS
A, AB Ͱ B
4 P2 Premisa
5 P5 Premisa MODUS TOLLENS
6 P1  P3  P4 Premisa ˜ B, A  B Ͱ ˜ A
7 P1 Modus tollens 1,4
8 P1  X Esquema SILOGISMO DISYUNTIVO
AVB,˜AͰB
9 X Silogismo disyuntivo 7,8
10 P3  P4 Esquema
11 P3 Modus tollens 2,5
12 P4 Sologismo disyuntivo 10,11

Hemos llegado a la
conclusión.
 Ejemplo 4

Si un animal es un pájaro tiene alas y si tiene alas, puede viajar. Paco es un pájaro. Por eso
puede viajar.

P: El animal tiene alas

K: Paco es un pájaro
V: Puede volar
K
Objetivo o conclusión: V
 Ejemplo 4

Si un animal es un pájaro tiene alas y si tiene alas, puede viajar. Paco es un pájaro. Por eso
puede viajar.

1 K P Premisa
2 P V Premisa
3 K V Silogismo hipotético 1,2
4 K Premisa
5 V Modus ponens 3,4

MODUS PONENS
A, AB Ͱ B

MODUS TOLLENS
˜ B, A  B Ͱ ˜ A

A => B, B=>C Ͱ A =>C Silogismo hipotético SILOGISMO DISYUNTIVO

AVB,˜AͰB