Derivacin: reglas de inferencia

A qu conclusin podemos llegar en cada caso?

Si hubiera justicia, no habra corrupcin. Pero s hay
corrupcin.
Luego, no hay justicia.
El prximo ciclo, o llevo Historia o llevo Lgica. Pero
no voy a llevar Lgica otra vez.
Luego, llevar Historia.
No es cierto que no vayamos a aprobar el curso de
Lgica.
Luego, s vamos a aprobar.

Las reglas de inferencia

Recordemos de qu est compuesta la sintaxis de

un lenguaje lgico:

Smbolos primitivos
Reglas de formacin
Reglas de transformacin

Las reglas de inferencia son, precisamente, las

reglas de transformacin de un lenguaje.
Se caracterizan por PRESERVAR LA VALIDEZ.
Esto significa que, cada vez que las aplicamos,
inferimos vlidamente una afirmacin.

Implicaciones notables
Si el problema es difcil, me demorar en resolverlo.
Efectivamente, el problema es difcil. Por lo tanto,
Si hay corrupcin, hay atraso. Como ya sabemos, hay
corrupcin. Por lo tanto,
Si ya hubiera empezado el invierno, entonces la temperatura
habra bajado. Ciertamente, ya empez el invierno. Luego,

Modus Ponens

MPP
AB
A
B

Implicaciones notables
Si el problema es difcil, me demorar en resolverlo. Pero
no me demorar en resolver el problema. Por lo tanto,
Si hay corrupcin, hay atraso. Pero no hay atraso. Por lo
tanto,
Si repito el curso, entonces mi promedio ser menor que
12,5. Pero mi promedio no ser menor que 12,5. Luego,
Modus Tollens

MTT
AB
B
A

Implicaciones notables
Si el problema es difcil, me demorar en resolverlo. Si me
demoro en resolverlo, quizs me equivoco. Por lo tanto,
Si hay corrupcin, hay atraso. Si hay atraso, seguimos en el
subdesarrollo. Por lo tanto,
Si mi promedio es menor que 12,5, repetir el curso. Si
repito el curso, lo llevar el prximo ciclo. Luego,
Silogismo hipottico puro

SHP
AB
BC
AC

Implicaciones notables
O bien estudio Lgica o bien estudio Historia. Pero no voy a estudiar
Historia. Por lo tanto,
Me graduar como abogado o me graduar como economista. Pero,
ciertamente, no me graduar como economista. Por tanto,
O apruebo Historia o apruebo Lgica. Pero no podr aprobar Historia.
Luego,

Silogismo disyuntivo

Silogismo disyuntivo

SD
AB
A
B

SD
AB
B
A

Ejercicios
Determina qu conclusin se infiere vlidamente:
Si la vida es sueo, entonces debo dormir. Pero no
debo dormir. Por tanto,
Si apruebo el curso, me ir de juerga. De hecho,
aprobar el curso. Luego,
Si apruebo el curso, me comprarn un auto nuevo.
Pero no me comprarn un auto nuevo. Entonces
Si la vida es sueo y tengo sueo, entonces me
duermo en clase. Pero no me duermo en clase. Por
ello,

Ejercicios
Determina qu conclusin se infiere vlidamente:
Si la norma es injusta, entonces debe ser cambiada. Si
la norma debe ser cambiada, entonces no
necesitamos aplicarla. Luego,
Si apruebo el curso, me ir de juerga. Si me voy de
juerga, desaprobar otros cursos. Entonces
Si el curso es fcil, puedo construir inferencias vlidas.
Si puedo construir inferencias vlidas, argumentar
mejor. En consecuencia,
Si saco buena nota en las PA, subir mi promedio.
Saco buena nota en las PA, dado que practico todas
las semanas. Por tanto,

Ejercicios
Determina qu conclusin se infiere vlidamente:
Practico todas las semanas o solo estudio al final.
Pero no practico todas las semanas. Entonces
O bien apruebo todos mis cursos y tengo unas
descansadas vacaciones, o bien jalo algunos cursos.
Pero no jalar ningn curso. Por ello,

EQUIVALENCIAS NOTABLES

No es verdad que no te est contando una mentira. Por lo tanto,

Nunca ha sucedido que no venga a tiempo. Por ello,
Es falso que el acusado no sea inocente. Por tanto,
Al acusado es culpable. Por tanto,

Doble negacin

DN
A=A

Propn algunos
ejemplos

EQUIVALENCIAS NOTABLES
El acusado es culpable y ser condenado. Por tanto,
El mvil del crimen fue el robo o una venganza
personal. Por tanto,

Conmutatividad

Conmut.
AB=BA
AB=BA

Propn algunos
ejemplos

EQUIVALENCIAS NOTABLES
No es cierto que lleve Lgica y Matemtica. Por lo tanto,
No es cierto que estudie Ingeniera o Economa. Por lo
tanto,
No leo novelas ni cuentos. Por lo tanto,
No creo en los polticos o no tengo confianza en la poltica.
Por lo tanto,
De Morgan

DM
(A B) = A B
(A B) = A B

Propn algunos
ejemplos

EQUIVALENCIAS NOTABLES
Asociatividad

Asoc.
A B C = (A B) C = A (B C)
A B C = (A B) C = A (B C)

Ejercicios

Creacin de argumentos vlidos

Con las siguientes proposiciones, construye una
inferencia vlida aplicando las siguientes reglas: MPP,
MTT, SD, SHP.
p: La Lgica es divertida
q: La Lgica es fcil de aprender
r: Todos los alumnos aprueban el curso de Lgica
s: A todos les encanta la Lgica

Ejercicios

Material, pp. 100-105

Ejercicio 1

Conclusin

p q
p
q

Estructura formal

Si p, entonces q.
Ciertamente, p.

Regla de inferencia

p: La msica es uno de los rituales ms

antiguos de la especie humana
q: De alguna manera, la msica define
lo humano

Simbolizacin

Proposiciones

Si la msica es uno de los rituales ms antiguos de la especie humana,

entonces de alguna manera la msica define lo humano. Ciertamente, la
msica es uno de los rituales ms antiguos de la especie humana. En
consecuencia

De alguna manera, la msica define lo humano.

MPP
Modus Ponens

Ejercicio 2

Conclusin

p(qr)
p
( q r )

Estructura formal
Regla de inferencia

p: maana me voy de viaje

q: armar mi maleta con dos das de
anticipacin para no olvidar nada
r: armar mi maleta con dos das de
anticipacin para no estar apurada

Simbolizacin

Proposiciones

Dado que maana me voy de viaje, armar mi maleta con dos das de
anticipacin para no olvidar nada y no estar apurada. Ocurre que maana me
voy de viaje. De lo que se concluye que
Dado que p, q y r.
Ocurre que p.

MPP
Modus Ponens

Armar mi maleta con dos das de anticipacin para no olvidar nada y

no estar apurada.

Ejercicio 8

Conclusin

(pqr)s
s
( p q r )

Estructura formal
Regla de inferencia

p: El Ranking Billboard toma en cuenta el

streaming
q: El Ranking Billboard toma en cuenta las
descargas
r: El Ranking Billboard toma en cuenta las
ventas fsicas
s: El Ranking Billboard es un raking completo

Simbolizacin

Proposiciones

Si el Ranking Billboard toma en cuenta el streaming, las descargas as como las

ventas fsicas, entonces es un ranking completo. Pero no es un ranking
completo. Entonces
Si p, q as como r,
entonces s. Pero no s.

MTT
Modus tollens

No es cierto que el Ranking Billboard tome en cuenta el streaming, las

descargas as como las ventas fsicas.

Conclusin

Estructura formal

pq
q
p
p

Regla de inferencia

Proposiciones

p: las personas ayudan a los

necesitados
q: las personas actan moralmente / las
acciones de las personas son morales

Simbolizacin

Si las personas no ayudan a los necesitados, no actan moralmente. Las

acciones de las personas son morales. Luego,

Las personas s ayudan a los necesitados.

Si no p, entonces no q.
q.

MTT
Modus tollens
DN
Doble negacin

Ejercicio 4

Proposiciones

p: la observacin cuidados es la base

objetiva de la ciencia
q: los hechos nos conducen a las teoras
que forman el conocimiento
r: los hechos nos conducen a la
formulacin de las leyes cientficas

Estructura formal

Simbolizacin

p ( q r)
p
( q r )

Regla de inferencia

Si la observacin cuidados es la base objetiva de la ciencia, entonces o los

hechos nos conducen a las teoras que forman el conocimiento o los hechos
nos conducen a la formulacin de las leyes cientficas. Es cierto que la
observacin cuidadosa es la base objetiva de la ciencia. Luego

Conclusin

Si p, entonces q o r.
Es cierto que p.

MPP
Modus ponens

Los hechos nos conducen a las teoras que forman el conocimiento o

los hechos nos conducen a la formulacin de las leyes cientficas.

Ejercicio 11

Conclusin

pq
q
p

Estructura formal
Regla de inferencia

p: las leyes de trnsito son respetadas

por los conductores
q: los peatones deben tener cuidado
cuando enfrentan el trnsito

Simbolizacin

Proposiciones

O bien las leyes de trnsito son respetadas por los conductores o los peatones
deben tener cuidado cuando enfrentan el trnsito. Ocurre que las leyes de
trnsito nunca son respetadas por los conductores.
O bien p o q.
Ocurre que nunca p.

SD
Silogismo disyuntivo

Las leyes de trnsito son respetadas por los conductores.

Ejercicio 5

Conclusin

(qr)p
(qr)
p

Estructura formal
Regla de inferencia

p: El delito se sanciona con pena

privativa de libertad
q: El delito se cumple con el tipo
expresado en el cdigo penal
r: El juez sentencia el delito con el tipo
expresado en el cdigo penal

Simbolizacin

Proposiciones

El delito se sanciona con pena privativa de libertad si se cumple con el tipo

expresado en el cdigo penal y el juez lo sentencia de tal manera. En este
caso el juez lo sentencia de tal manera y el delito cumple con el tipo
expresado en el cdigo penal. Ergo
p si q y r.
q y q.

MPP
Modus ponens

El delito se sanciona con pena privativa de libertad.