4 ms·
The rules of propositional logic (or first-order logic) would seem to fit: i.e. that fact that "A and B" has the same truth-value as "B and A", or the use of mo
by cevi 5y ago
The rules of propositional logic (or first-order logic) would seem to fit: i.e. that fact that "A and B" has the same truth-value as "B and A", or the use of modus ponens as a deduction rule. These rules are usually left out of axiomatic descriptions of mathematical fields.
- stared 5y agoIn 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.