Usuario:Wikiman~eswikibooks/ejercicio 19

B4-Si cada uno de los razonamientos simbolizados a continuación es válido, dar una deducción de la conclusión por medio de una demostración formal completa. Si alguno no es válido, demostrarlo mediante una asignación de certeza.

Reglas de inferencia

Modus Ponendo Ponens (PP)
Modus Tollendo Ponens (TP)
Modus Tollendo Tollens (TT)
Doble Negación (DN)
Ley del silogismo hipotético (HS)
Ley del silogismo Disyuntivo (LB)
Leyes de D´Morgan (DL)

Demostrar: S

1 R v S   P
2 ￢P      P
3 Q v ￢R  P
4 P ↔ Q   P
5 P → Q  (LB)4
6 Q → P  (LB)4
7 ￢Q     (TT)5,2