Member since June 22, 2010
macak
My Profile
- Answered Questions: 0
- Posts: 1
- Location:
- Occupation:
Following
User has not yet added friends.
Followers
User does not yet have followers.
My Tags
Philosophy My Recent Posts
Tue 22 Jun, 2010 02:32 pm -
¬[(P ∨ Q) ↔ ¬(R → (P → S))], ¬(S → Q) ╞ R ∧ S
anybody knows how to do a semantic tree for this one (
view)