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}\]

×

Problem Loading...

Note Loading...

Set Loading...