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, firstname.lastname@example.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"?