23 Sep
2004
23 Sep
'04
17:27
Hello, On Wednesday 22 September 2004 23:43, Randall R Schulz wrote:
Jay,
Is this a theorem?
(=> (and (forall ?X (forall ?Y (or (P ?X ?Y) (P ?Y ?X)))) (forall ?X (forall ?Y (forall ?Z (=> (and (P ?X ?Y) (P ?Y ?Z)) (P ?X ?Z)))))) (exists ?X (forall ?Y (P ?X ?Y))))
Uhh... Sorry about that. Obviously this was misdirected. But if anybody knows... Randall Schulz