18 Jan
2016
18 Jan
'16
7:19 a.m.
On 01/18/2016 08:04 AM, David Feuer wrote:
I agree with you that not a || b says something a bit different from a `implies` b in a more general logical context. However, I believe that a <= b says exactly the same thing. It's true that it may not be quite obvious to everyone, but anyone thinking enough about logic to *want* an implies function should probably be willing to learn such things.
I would think using "<=" would be actively harmful for readers in that the arrow points the wrong way from the usual...? (I realize in this case it's the comparison operator and that conventions may differ, but...)