Quiz 2 Greatest Hits

Logic Equivalences

What is a predicate? What isn't?

Which variable needs to be quantified? Which one doesn't?

Rewriting Rules for Implication

Notation Confusion

Different ways of denoting divisibility

All these things say the same thing:

All these, too:

You should be comfortable moving between these different ways of stating divsibility.