Member since July 25, 2011
amabrefah
My Profile
- Answered Questions: 0
- Posts: 1
- Location:
- Occupation:
Following
User has not yet added friends.
Followers
User does not yet have followers.
My Recent Posts
Mon 25 Jul, 2011 12:34 pm -
Construct propositional natural deduction proofs for the following sequents and tautologies, including complete justification columns.
1. [(~M&R) &~P]&D, ~M->Q ⊢ QvT
[(BOTH ~M... (
view)
