2 ms·
No, I think one would assume they are all directives, and therefore the computer would complain about the third one which is a contradiction.
by tinco 12y ago
No, I think one would assume they are all directives, and therefore the computer would complain about the third one which is a contradiction.
- twic 12y agoExactly. To a non-programmer, even a mathematician (especially a mathematician), the example is a cousin of: Men are mortal Socrates is a man Socrates is not mortal Which doesn't assign anything to anyone, it just isn't true.