| Name: |
ss | | E-Mail: |
namrwed at yahoo.com | | Location: |
jordan | | Birth Year: |
1961 | | Gender: |
Male | | Fortune: |
Quote #82
From: wayne at backbone.uucp (Wayne Schlitt)
[...]
The Average Person's Axioms of First Order Predicate Logic:
(A => B) => (B => A)
(There exists) x A(x) => (For all) x A(x)
( |
|
