1. 5 O Apurímac se encuentra en la costa o se encuentra
en la sierra. Se sabe que Apurímac se encuentra en
la sierra. Por lo tanto Apurímac no se encuentra en
la costa.Premisa 1: O Apurímac se encuentra en la costa o se encuentra en la sierra.
Premisa 2: Apurímac se encuentra en la sierra.
Conclusión: Apurímac no se encuentra en la costa.
p= Apurímac se encuentra en la sierra.
q= Apurímac se encuentra en la costa
Fórmula
lógica
La ley de inferencia
que se puede utilizar
en este caso es
MODUS PONENDO
TOLLENS lo cual hace
que sea VÁLIDO.
Lo que se puede hacer para facilitar el parentesco con una de las leyes, es cambiar la primera
premisa “O Apurímac se encuentra en la costa o se encuentra en la sierra.” a “O Apurímac se
encuentra en la sierra o se encuentra en la costa.” ya que no altera el sentido de la oración.
Quedándonos así: