Natural Deduction in propositional logic

  1. 1. The problem statement, all variables and given/known data
    HELP! I need to provide proofs for the following argument...
    1.~~Tv~R
    2.~(Sv~R)
    3.(T&~S)>~Q
    4.W>Q /~W


    2. Relevant equations



    3. The attempt at a solution
     
  2. jcsd
Know someone interested in this topic? Share a link to this question via email, Google+, Twitter, or Facebook

0
Draft saved Draft deleted
Similar discussions for: Natural Deduction in propositional logic
Loading...