[FIX] BooleanImplicationMiscommentFix ([sm][cd])

phil.hudson at iname.com phil.hudson at iname.com
Fri Oct 3 08:22:01 UTC 2003


from preamble:

"Change Set:		BooleanImplicationMiscommentFix
Date:			2 October 2003
Author:			Phil Hudson

Fixes a documentation error (mis-comment) for Boolean>>#==>. No change
to the implementation of Boolean>>#==>.

Documentation erroneously stated #==> to be 'iff' and 'if and only if',
both of which describe a different operation ('equivalence',
Boolean>>#=), and also stated #==> to be 'implicature', which is a
related term used mostly in linguistics; in an hour's googling and
whatis'ing I was only able to find one use of 'implicature' as a synonym
for implication, and dozens of instances of its specialist use in
linguistics, whereas 'material implication' turned up dozens of precise
matches.

I've corrected the terminology, and added to the documentation some
natural-language synonyms for implication, and its truth table."!
-------------- next part --------------
A non-text attachment was scrubbed...
Name: BooleanImplicationMiscommentFix.cs.gz
Type: application/octet-stream
Size: 804 bytes
Desc: not available
Url : http://lists.squeakfoundation.org/pipermail/squeak-dev/attachments/20031003/3656d2db/BooleanImplicationMiscommentFix.cs.obj


More information about the Squeak-dev mailing list