El ejercicio escogido son los números ©

a. Expresión simbólica: [( p ∨(q ∧r )) ∧¬ ( q ∧r ) ∧ ( p → s )]→ s

Premisas
P1: p ∨( q ∧r )
P2: ¬ ( q ∧r )
P3: p → s

Conclusión: s

p: Marcos estudia para el examen de biología

q: Marcos juega play station
r: Marcos escucha música en equipo de sonido
s: Marcos ganara el examen
Marcos estudia para el examen de biología o juega play station y escucha música en
equipo de sonido. No es cierto que Marcos juegue play station y que escuche música en
equipo de sonido. Marcos estudia para el examen de biología entonces ganara el
examen. En conclusión Marcos ganara el examen.
p q r s (q∧r) ˥(q∧r) p∨(q∧r) (p∨(q∧r))∧˥ (q∧r) p⇾s ((p∨(q∧r))∧˥(q∧r))∧(p⇾s (p∨(q∧r))∧˥ (q∧r) ∧(p⇾s)]⇾s
)
V v v v v f v f v f v
v v v f v f v f f f v
v v f v f v v v v v v
v v f f f v v v f f v
v f v v f v v v v v v
v f v f f v v v f f v
v f f v f v v v v v v
v f f f f v v v f f v
f v v v v f v f v f v
f v v f v f v f v f v
f v f v f v f f v f v
f v f f f v f f v f v
f f v v f v f f v f v
f f v f f v f f v f v
f f f v f v f f v f v
f f f f f v f f v f v

El resultado es una tautología

a. Expresión simbólica: [( p ∨(q ∧r )) ∧¬ ( q ∧r ) ∧ ( p → s )]→ s

Premisas
P1: p ∨( q ∧r )
P2: ¬ ( q ∧r )
P3: p → s
P4: p 1 y 2 Silogismo disyuntivo (SD)
P5: s 3 y 4 Modus Ponens (MP)

Conclusión: P5: s