| Name: |
mohamed2 | | E-Mail: |
mmmm8460 at yahoo.com | | Web Page: |
fd | | Location: |
dfdf | | Birth Year: |
dfd | | Gender: |
Male | | Comments: |
erfer | | 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)
( |
|
