Aplicación de las reglas de inferencia:

Simplificación:

Esta regla hace referencia a que si tenemos una premisa compuesta por dos enunciados
unidos por una conjunción, la podemos separar y formar dos premisas afirmativas por
separado.

Ejemplo:

pΛq Tengo un carro azul y tengo una moto roja

p tengo un carro azul

q tengo una moto roja

pΛq El perro está enfermo y huele mal

p el perro está enfermo

q el perro huele mal

Adición:

Con una premisa simple es posible agregarle con una disyunción otra premisa.

Ejemplo:

p: tocare guitarra el lunes q: tocare bajo el martes

pVq: tocare guitarra el lunes o tocare bajo el martes

p: adoptare un gato q: adoptare un perro

pVq: adoptare un gato o adoptare un perro

Silogismo disyuntivo:

Tenemos tres premisas, dos de ellas implicaciones, y la tercera una disyunción con los
antecedentes de los condicionales, podemos concluir en una nueva premisa en forma de
disyunción, estas premisas serían las consecuentes de las dos implicaciones.

Ejemplo:

p>q: si estudio una ingeniería entonces veré algebra

r>s: si madrugo, llego temprano

pVr: si estudio o madrugo

qVs: veré algebra o llego temprano

p>q: si ahorro entonces comprare un auto

r>s: si lavo mi auto, quedara limpio

pVr: ahorro o lavo mi auto

qVs: comprare un auto o quedara limpio

Simplificación disyuntiva:

Tenemos una premisa con un conectivo lógico disyuntivo y dos premisas que
corresponden a dos implicaciones con el mismo consecuente y concluimos con el
consecuente de ambas premisas.

Ejemplo:

pVq: juegas futbol o juegas voleibol

p>r: juegas futbol entonces te ejercitas

q>r: juegas voleibol entonces te ejercitas

r: te ejercitas
pVq: voy al cine o voy al parque

p>r: voy al cine, me divertiré

q>r: voy al parque, me divertiré

r: me divertiré

Absorción:

Esta regla nos permite introducir conjunciones en premisas.

Ejemplo:

p>q: el niño está en la heladería entonces comerá helado de fresa

p>(qΛp): si el niño esta en la heladería entonces el niño comerá helado de fresa y esta en
la heladería

p>q: Camila estudia zootecnia entonces estudia bioquímica

p>(qΛp): si Camila estudia zootecnia entonces Camila estudia bioquímica y estudia

zootecnia

Ley de Morgan:

Esta ley permite transformar una disyunción en una conjunción, y viceversa.

Ejemplo:

El auto es nuevo y rápido

p: el auto es nuevo

q: es rápido

¬(p^ q) ≡ (¬p v ¬q): no es cierto que el auto es nuevo y rápido

El auto no es nuevo o no es rápido

La ensalada tiene lechuga o tomate

P: la ensalada tiene lechuga

q: la ensalada tiene tomate

¬(p V q) ≡ (¬p ^ ¬q) :no es cierto que la ensalada tiene lechuga o tomate

La ensalada no tiene lechuga y no tiene tomate