# Always Related?

Logic Level 3

True or False?

In classical logic, for any truth values of two propositions $$p$$ and $$q$$, at least one of the following statements is true:

$\begin{eqnarray} p &\implies& q \\ q &\implies& p. \end{eqnarray}$

×