SHARE
TWEET

Untitled

a guest Feb 19th, 2019 74 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. (p ⇒ r) ∨ (q⇒r) ├ (p ∧ q) ⇒ r
  2. 1       (p ⇒ r) ∨ (q⇒r)        Assump o
  3. 2       (p ∧ q) ├ r        
  4. 2.1      p ∧ q                  Assump 2
  5. 2.2      r                      V E 1,2
  6. 3        (p ∧ q) ⇒ r           ⇒I 2
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top