Usuario:Penarete/ejercicio 13 AB2

A. ¿Qué se puede concluir de cada uno de los siguientes conjuntos de premisas por la ley del silogismo disyuntivo? Dar como conclusión una proposición en lenguaje corriente.

B. Simbolizar los razonamientos de la sección A y demostrar que las conlusiones son consecuencia lógica de las premisas.

2. Este número es un número positivo o es un número negativo. Si es un número positivo, es mayor que cero. Si es un número negativo, es menor que cero.

P = este número es un número positivo
Q = este número es un número negativo
R = el número es mayor que cero
S = el número es menor que cero

(1) P v Q ______________ (premisa)
(2) P → R ______________ (premisa)
(3) Q → S ______________ (premisa)
(4) R v S _______________ (silogismo disyuntivo 1,2,3)

Conclusión: el número es mayor que cero o es menor que cero.