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)))) Randy
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
On Thu, 23 Sep 2004 08:27:24 -0700, Randall R Schulz
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.
This theorem is not correct. X and Y and Z are all integers..(positive, negative and zero) P(X,Y) = X <= Y. Osho
participants (2)
-
Osho GG
-
Randall R Schulz