Profile of spadn
Guestbook: View or sign guestbook (0)
spadn's Membership Status
Last seen: May 23, 2016 - 6:26 PM
Registration Date: May 21, 2016
Topics Submitted: 1 topic
Total Posts: 2 (0 per day)
Replies Received: 0
Total Time Online: 0 days, 2 hours and 23 minutes
Most recent topics:
Most recent posts:
- ∃x Cube(x) ↔ ∀y Small(y) (∃x Cube(x) → ∀y Small(y)) ∧ (∀y Small(y) → ∃x Cube(x)) (¬∃x Cube(x) ∨ ∀y Small(y)) ∧ (¬∀y ...
- I'm having some problems converting a few sentences into PNF, although I think if I get this one the rest will be doable. ∃x Cube(x) ↔ ∀x...