1. The quantifiers seem kind of ambiguous. It seems like it would be much clearer if it were defined exactly where it was true or false.
2. It's like learning arithmetic all other again with commutative, associative, and distributive laws. But it's good to be able to switch without having to have to draw a truth table every time.
No comments:
Post a Comment