[Date Index] [Thread Index] [Author Index]
Re: logical expressions
This is about Paul Abbott's note of 10/28, logical expressions. The second example, supposedly of an invalid formula, is incorrect, in the sense that the formula evaluates to q for every p, not to false; this is readily checked by doing a truth-table by hand. Furthermore, what is the role of the quantity e=Rep[1,gbool,2}? It evaluates to 1, so why not just use 1, or nothing at all in multiplicative environments, e.g. and[x_,y_]:=x y, rather than e x y?