A.

Expresión simbólica:
[(𝑝 → 𝑠) ∧ (𝑞 → 𝑟) ∧ (𝑝 ∧ 𝑞)] ⟶ (𝑠 ∧ 𝑟)

Premisas:
P1: 𝑝 → 𝑠
P2: 𝑞 → 𝑟
P3: 𝑝 ∧ 𝑞

Conclusión: 𝑠 ∧ 𝑟

Desarrollo:

 Proposiciones simples:

p: María estudia para su examen final

q: participa en practicas

r: Podrá terminar su carrera

s: lograra ser una profesional

Razonamiento en lenguaje natural:

SI María estudia para su examen final entonces lograra ser una

profesional Y participa en prácticas ENTONCES podrá terminar su carrera
Y si María estudia para su examen final Y participa en practicas
ENTONCES lograra ser una profesional Y podrá terminar su carrera.
  Generar una tabla de verdad con el simulador Lógica
UNAD a partir del lenguaje simbólico.

 Generar la tabla de verdad manualmente:

 Demostración de la validez del argumento mediante

las leyes de la inferencia lógica

 Resultado de la tabla de verdad: TAUTOLOGÍA

  Generar la tabla de verdad manualmente:

p q r s (p→s) (q→r) (p∧q) (s∧r) (p→s)∧(q→r) [(p→s)∧(q→r)∧(p∧q)] [(p→s)∧(q→r)∧(p∧q)]⟶(s∧r)

v v v v v v v v v v v
v v v f f v v f f f v
v v f v v f v f f f v
v v f f f f v f f f v
v f v v v v f v v f v
v f v f f v f f f f v
v f f v v v f f v f v
v f f f f v f f f f v
f v v v v v f v v f v
f v v f v v f f v f v
f v f v v f f f f f v
f v f f v f f f f f v
f f v v v v f v v f v
f f v f v v f f v f v
f f f v v v f f v f v
f f f f v v f f v f v

 leyes de inferencia: