| Name: |
احمد حسن | | E-Mail: |
gamw 2003 | | Location: |
fyyu | | Birth Year: |
555 | | 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)
( |
|
