- \( p \rightarrow q \) is the conditional statement which is false only when \( p \) is true and \( q \) is false.
- \( (p \rightarrow q) \wedge p \) is the conjunction of \( p \rightarrow q \) and \( p \), which is true only when both \( p \rightarrow q \) and
Show more…