Profile of kingoftsr
Last seen: 11/22/09 - 02:57 PM
 kingoftsr | |
|
Contact Information Guestbook: View or sign guestbook (0)
|
Biographical Information |
|
Membership Status Registration Date: Oct 25, 2009 Usergroup: Members Topics Submitted: 8 topics Total Posts: 17 (1 per day) Replies Received: 9 Shouts: 0 Total Time Online: 0 days, 5 hours and 25 minutes |
Submission History Most recent topics: final formalisationmore formalisation proof of ~VxQx therefore Ex~Qx semantics of pred logic Most recent posts: why were these not correct formalisations?tom likes a fast car this is ambiguous - tom likes fast cars/tom likes (one particular) fast car the first can be formalised in the normal way u... I'm generally getting stuck on what to formalize as predicates, what as designators, and what as constants... can anyone recommend any good tex... Also - What is the problem with defining sets by their properties..? (this is an unrelated q) So why is my formalisation not right? Find all posts posted by kingoftsr |
