Usuario:Penarete/ejercicio 13 AB4

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.

4. La cámara fue adquirida legalmente por el vendedor o la cámara es mercancía robada. Si la cámara fue adquirida legalmente por el vendedor, entonces es mi camara. Si la cámara es mercancía robada, entonces Tomas es su propietario legal.

P = la cámara fue adquirida legalmente por el vendedor
Q = la cámara es mercancía robada
R = es mi camara
S = Tomas es el propietario legal de la cámara

(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 camara es mía o es de Tomas.