Wiki page Lessons Errata Chapter 11 changed by bancus Posted by stevo on Thu 10 of Aug, 2006 22:08 GMT posts: 381 Use this thread to discuss the Wiki page Lessons Errata Chapter 11 changed by bancus page.
Posted by stevo on Thu 10 of Aug, 2006 22:08 GMT posts: 381 In a message dated 8/10/2006 2:12:08 PM Central Standard Time, webmaster@lojban.org writes: > + *It's not made clear that adding "nai" to a logical connective NOTs the > second term. For one thing, IF (anai) is defined as logically NOT A OR B, > apparently based on the unstated "IF A then B" with the terms reversed from > the "A op B" form that everything else is stated in. It might be clearer to > explicitly equate "A IF B" with "A OR NOT B". > What's "A op B"? stevo
