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
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:
- A == B; !;
("A equals B. Not!")
--
Wayne's World C Programming Style... - n
a+b
--- = x, donc Dieu existe. Repondez!
n
--
Leonhard... - Canadian Alphabet:eh,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p
q,r,s,t,u,v,w,x,y,z... - A, B, ...
(Long time, no... - Whenever A annoys or injures B on the pretense of saving or improving X,
A is a scoundrel. -- H. L. Mencken (1880... - Receive:
giant packet from %x:%x:%x:%x:%x... - If A = B and B = C, then A = C,
except where void or prohibited by law... - XXXXXXXXXXXXXXXXX
X X X
X
\ / X X X V X X X ...
