Profile of ClaudeHooper
Last seen: 11/20/09 - 10:02 AM
|
|
Contact Information
Guestbook: View or sign guestbook (0)
|
Biographical Information
Occupation: Computer Programmer
|
|
Membership Status
Registration Date: Aug 10, 2009
Usergroup: Members
Topics Submitted: 2 topics
Total Posts: 53 (1 per day)
Replies Received: 0
Shouts: 0
Total Time Online: 1 day, 6 hours and 10 minutes
|
Submission History
Most recent topics:
Free Proof Checking Software
Impredicative proofs
Most recent posts:
Or maybe even just:
[forall x, y, z. R(x,y) and R(y,z) ==> R(x,z)]
and [forall x, y. R(x,y) ==> not R(y,x)]
and [forall x. exists y. R(x,...
How about the following statement in the language of a two-place predicate symbol R and a one-place function symbol f:
[forall x, y, z. R(x,y) and ...
A triangle is 3 points in 2 dimensions.
A tetrahedron is 4 points in 3 dimensions.
The next step up is 5 points in 4 dimensions.
---
A tri...
Here is my transcription of my proof, with new lines denoted by an "a" after the line number:
1. A v B, premise
2. A v C, premise
3. | A,...
Can you show me how you would write an or-elimination step?
Find all posts posted by ClaudeHooper
|
ClaudeHooper