Ejercicio 3: Problemas de aplicación

Para el desarrollo de este ejercicio, es necesario que el estudiante revise

en el Entorno de Conocimiento (Unidad 3), la siguiente referencia:

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de

sistemas y computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.

Descripción del ejercicio

A continuación, encontrará la expresión simbólica, las premisas y la

conclusión de un argumento para el desarrollo del ejercicio 3:

B. Expresión simbólica: [ ( p ∨ q ) ∧ ( s ⟶∼r ) ∧ ( r ) ∧ ( ∼ s ⟶ ∼q ) ]⟶( p)

Premisas:

P1:( p ∨q )

P2:( s ⟶∼r )

P3: ( r )

P4: ( ∼ s ⟶∼ q )

CONCLUSION (P)
Si me dan trabajo, entonces voy a vivir solo, si sigo viviendo con mis
padres, entonces, no aprenderé a vivir solo. Aprendo a vivir solo o seré
un mantenido. No seré un mantenido. Por lo tanto, me dan el trabajo.