A.

Expresión simbólica:
[ ( p → s ) ∧ ( q → r ) ∧ ( p ∧ q ) ]⟶( s ∧r )

Premisas:
P1: p → s
P2: q → r
P3: p ∧q

Conclusión: s ∧r

A partir de la expresión simbólica seleccionada, el estudiante deberá:

 Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada en
un contexto, el que se solicita es un contexto académico.

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

p: Hago los ejercicios

q: Estudio para el parcial

r: Paso la materia

s: Presento el parcial

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Si hago los ejercicios entonces presento el parcial, si estudio para el parcial entonces paso la materia,

p s q r
sí hago los ejercicios y estudio para el parcial entonces presento el parcial y paso la materia.

P q s r

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico
TAUTOLOGIA
  Generar una tabla de verdad manualmente a partir del lenguaje simbólico
[ ( p → s ) ∧ ( q → r ) ∧ ( p ∧ q ) ]⟶( s ∧r )

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

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 F V V
V F V F F V F F F F V
V F F V V V F V F F V
V F F F F V F F F F V
F V V V V V F V F V V
F V V F V V F V F 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 F V V
F F V F V V F V F F V
F F F V V V F V F F V
F F F F V V F V F F V

ES UNA TAUTOLOGIA
  Demostración de la validez del argumento mediante las leyes de la inferencia lógica

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

Premisas:
P1: p → s
P2: q → r
P3: p ∧q

Conclusión: s ∧r

P4: s MPP P1 y P3
P5: r LS P2

P6: s ∧r Adjunción P4 y P 5

MODUS PONENDO PONENS ADJUNCIÓN O CONJUNCIÓN

Antecedente Consecuente p

p →q q

p p ∧q

Ley de Simplificación

p ∧q o p ∧q

q p