Profile of MonkeyBonez
Guestbook: View or sign guestbook (0)
MonkeyBonez's Membership Status
Last seen: May 29, 2016 - 6:48 PM
Registration Date: Apr 14, 2016
Topics Submitted: 4 topics
Total Posts: 14 (0 per day)
Replies Received: 4
Total Time Online: 0 days, 4 hours and 51 minutes
Most recent topics:
- Existiential elimination with function
- Whats wrong with this proof?
- Why does this work?
- Next step in my proof?
Most recent posts:
- Anyone? Also have this problem. I am totally clueless as what to do with the functions...
- Here is the problem:
- Seems like a very basic E-elimination, but the thing is I have no idea what to do with the function symbol. Really appreciate any help.
- Should be E-elimination and not -> elimination, how should I make E-elimination?
- I really appreciate any help!