Académique Documents
Professionnel Documents
Culture Documents
Reglas de Inferencia
1. Modus Ponendo Ponens (PP)
Ejemplo
Premisa 1: Si la emisin de gas carbnico aumenta entonces aumentar la
temperatura sobre la tierra
Premisa 2: La emisin de gas carbnico aumenta
Conclusin: Aumentar la temperatura sobre la tierra
Premisa 1: p q
Premisa 2: p
Conclusin: q
Esquemticamente: p q p1
p
p2
..q
Ejemplo
p
p1
p ~ q p2
.. ~ q
Ejemplo
(~ p v q) (s r)
(~ p v q)
.. s r
p1
p2
Premisa 1: p q
Premisa 2: ~ q
Conclusin: ~ p
Esquemticamente:
pq
~q
.. ~ p
P1
P2
Premisa 1: p v q
Premisa 2: ~ p
Conclusin: q
pvq
~q
.. p
Esquemticamente:
pvq
~p
..q
P1
P2
P1
P2
Esquemticamente
p q P1
q r P2
.. p r
Ejemplo
Premisa-1: Si tengo problemas de obesidad entonces tendr problemas de
hipertensin
Premisa-2: Si tengo problemas de hipertensin entonces puedo morir del corazn
Conclusin: Si tengo problemas de obesidad entonces puedo morir del corazn
Ejemplo
Premisa-1: Si el Unin Magdalena tiene buenos jugadores entonces juega bien el
futbol
Premisa-2: Si Unin Magdalena juega bien el futbol entonces subir de categora
Conclusin: Si el Unin Magdalena tiene buenos jugadores entonces subir de
categora
5. Regla del Silogismo Disyuntivo (SD)
Esquemticamente
p r P1
q s P2
p v q P3
.. r v s
Ejemplo
Premisa-1: Si aumenta el precio de la gasolina entonces sube el precio del transporte
urbano
Premisa-2: Si se incrementa el cultivo de palma entonces utilizaremos
biocombustible
Premisa-3: Aumenta el precio de la gasolina o se incrementa el cultivo de palma
Conclusin: Sube el precio del transporte urbano o utilizaremos biocombustible
Ejemplo
Premisa-1: Si se incrementa el desempleo entonces las empresas estn quebrando
Premisa-2: Si se aplican nuevos impuestos entonces la economa decrece
Premisa-3: Se incrementa el desempleo o se aplican nuevos impuestos
Conclusin: Las empresas estn quebrando o la economa decrece
6. Leyes de Morgan (LM)
~(p v q) P1
..~p ~q
~ (p q)
..~p v ~q
o ~p v ~q P1
... ~ (p q)
P1
~p ~q P1
~ (p v q)
(p q) P1
o
..(p q) (q p)
(p q) (q p) P1
..(p q)
Premisa 1: ~ (~ p) Esquemticamente: ~ (~ p)
Conclusin: p
..p
P1
Ejercicios