Usuario:Penarete/ejercicio 13 AB1

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.

1. Juan tiene mayoría o Pedro tiene mayoría. Si Juan tiene mayoría, entonces Pedro será el tesorero. Si Pedro tiene mayoría, entonces Juan será el tesorero.

P = Juan tiene mayoría
Q = Pedro tiene mayoría
R = Pedro será el tesorero
S = Juan será el tesorero

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

Conclusión: Pedro será el tesorero o Juan será el tesorero.