Usuario:Aaaw04/ejercicio 10

La derivación de la Figura 1.7 deriva R a partir de las premisas P v Q, P → R, y Q → R. Sin embargo, todos los números de línea se han perdido y también la reglas de inferencia. Añada estas dos informaciones. Las reglas utilizadas son el silogismo hipotético (SH), la ley de casos (Cs), y P v Q╞ (-P → Q ) (SDI).

Demuestre: P v Q, P→R, Q→R╞ R

        1. P v Q        Premisa
        2. -P → Q       1, SD y teorema deduccion
        3. Q → R        Premisa
        4. -P → R       2,3, SH
        5. P → R        Premisa
        6. R            4,5, Cs