Proof of Equivalence or Logical Relationship Between Conditions
The question asks the student to establish that two statements are equivalent, or to determine whether one condition is necessary, sufficient, both, or neither for another.
For $\alpha \in \mathbb{N}$, consider a relation $R$ on $\mathbb{N}$ given by $R = \{(x, y) : 3x + \alpha y \text{ is a multiple of } 7\}$. The relation $R$ is an equivalence relation if and only if (1) $\alpha = 14$ (2) $\alpha$ is a multiple of 4 (3) 4 is the remainder when $\alpha$ is divided by 10 (4) 4 is the remainder when $\alpha$ is divided by 7
The statement $( p \wedge q ) \Rightarrow ( p \wedge r )$ is equivalent to (1) $q \Rightarrow ( p \wedge r )$ (2) $p \Rightarrow ( p \wedge r )$ (3) $( p \wedge r ) \Rightarrow ( p \wedge q )$ (4) $( p \wedge q ) \Rightarrow r$
Let $p$ and $q$ be two statements. Then $\sim ( p \wedge ( p \rightarrow \sim q ) )$ is equivalent to (1) $p \vee ( p \wedge ( \sim q ) )$ (2) $p \vee ( ( \sim p ) \wedge q )$ (3) $( \sim p ) \vee q$ (4) $p \wedge q$
The statement $\sim p \vee ( \sim p \wedge q )$ is equivalent to (1) $\sim p \wedge q$ (2) $p \wedge q \wedge \sim p$ (3) $\sim p \wedge q \wedge q$ (4) $\sim p \vee q$