Quiz 2
What conclusions can you draw, given the premises below:
- $ \mathbf{P \to Q}$, $\mathbf{P}$
- $ \mathbf{P \to Q}$, $\mathbf{\lnot Q}$
- $ \mathbf{A \to B}$, $\mathbf{B \to C}$
If $x$ is evenly divisible by 2 and $y$ is evenly divisible by 2, then $x$ is evenly divisible by ...