Quote:
Originally Posted by Marksman
somebody actually dug this out,well ok,heres one new
some tauthology
investigate if these formulas are correct using real numbers
a) (Ax)(Ey)(x<z)
b) (Ax)(Ey)(xy=x)
Godluck and do some kickass math

Hmm, for the btauthology I would say that it is true. Since it would say something like "for all X there is (at least) one Y that makes the expression XY=X" And if Y = 1 the expression is true.
For the atautology I would say it is false.