In formal mathematics, everything needs to be stated explicitly. For a moment, forget about "and" and use "zxhds" instead. You need to specify how it works. T

In formal mathematics, everything needs to be stated explicitly. For a moment, forget about "and" and use "zxhds" instead. You need to specify how it works. There is nothing magic, intrinsic or natural about "truth" or "implies". It is all rules of symbol rearrangement.