Sean P, Q, R, y S proposiciones lgicas.

Considera las siguientes

premisas:

P^Q
P (Q ^ R)
S R

Premisa 1
Premisa 2
Premisa 3

La siguiente es una prueba de que las 3 premisas anteriores implican

S.
P^Q
Q

(1)

P^Q
P__
(Q^R)
QvR (2)

Premisa 1 modelo ponens

Premisa 2 modus ponens

Ley de morgan

QvR
Q_____
tollens
R
(3)

Conclusin parcial 2
Conclusin parcial 1

SR
tollens
R__
S

Premisa 3 modus ponens

Modus

Modus

Conclusin parcial 3

Anota cul regla de inferencia, premisa o conclusin parcial se usa

en cada paso de la prueba. (Las conclusiones parciales son las que
aparecen numeradas entre parntesis). En rojo aparecen las
conclusiones (pasos) que debes justificar.