Use a truth table to show that the argument below is valid.
\[\begin{eqnarray}A\to B\\ \overline{\neg B \to \neg A}\end{eqnarray}\]
Dr. McDonald's Mathematics Course Blog
Dr. McDonald's Mathematics Course Blog
Use a truth table to show that the argument below is valid.
\[\begin{eqnarray}A\to B\\ \overline{\neg B \to \neg A}\end{eqnarray}\]