On 2016-08-17, Marko Rauhamaa <[email protected]> wrote:
> Somewhat analogously, I remember how confusing it was to learn formal
> logic in college. I was having a hard time getting the point of
> definitions like:
>
> (x ∧ y) is true iff x is true and y is true
>
> That's because I had learned in highschool that "x ∧ y" was just an
> abbreviation of "x and y".
It is. The expression "x ∧ y" is the same as "x and y". And that
expression is true "iff x is true and y is true". It's just a sligtly
more explicit way of writing the expression...
--
Grant Edwards grant.b.edwards Yow! I joined scientology
at at a garage sale!!
gmail.com
--
https://mail.python.org/mailman/listinfo/python-list
