Quote #82 From: Wayne@backbone.uucp (Wayne Schlitt) [.

HomeFortune CookiesQuotations - Random

Quote #82


From: wayne@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)
(A => C) & (B => C) => (A => B) --Warren Vonroeschlaub

Related: