1. This site uses cookies. By continuing to use this site, you are agreeing to our use of cookies. Learn More.

How to prove - (-P & -Q) : P v Q by natural deduction

Discussion in 'Education' started by Diego Ruiz Haro, Oct 8, 2018.

  1. Another Tomassi's I can't solve:

    ~ (~P & ~Q) : P ∨ Q

    I have to use natural deduction and the only rules I know are:

    assumptions, modus ponendo ponens, modus tollendo tollens, double negation, reductio ad absurdum, conditional proof, v-introduction, v-elimination, and introduction, and elimination.

    Tomassi's proof consists of 14 steps.

    Thanks for the help.

    Login To add answer/comment

Share This Page