Usuario:Penarete/ejercicio 13 AB3

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.

3. Esta roca es piedra caliza o es granito. Si es piedra caliza es sedimentaria. Si es granito, es ígnea.

P = esta roca es piedra caliza
Q = esta roca es granito
R = la roca es sedimentaria
S = la roca es ígnea

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

Conclusión: la roca es sedimentaria o es ígnea.