Talk:lessons Errata
Jump to navigation
Jump to search
Chapter 11
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, [email protected] 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