4 ms·
x = 0 and x = 1. Therefore by the reflexive and transitive property of equality, 0 = 1.
by smadge 9y ago
x = 0 and
x = 1.
Therefore by the reflexive and transitive property of equality, 0 = 1.
- zby 9y agoOK - it uses different notation where '=' is not the same as in maths. But that is kind of trivial. There are perfectly mathematical semantics of both functional and imperative languages.