Quiz 2

  1. What conclusions can you draw, given the premises below:

    1. $ \mathbf{P \to Q}$, $\mathbf{P}$
    2. $ \mathbf{P \to Q}$, $\mathbf{\lnot Q}$
    3. $ \mathbf{A \to B}$, $\mathbf{B \to C}$

  2. If $x$ is evenly divisible by 2 and $y$ is evenly divisible by 2, then $x$ is evenly divisible by $y$.

    The preceding "if" sentence is false. Show that it is false by finding a counterexample to it.