In this sense, DT corresponds to the natural conditional proof inference rule which is part of the first version of propositional calculus introduced in this article.
12.
I was given a deductive reasoning conditional proof in class from my textbook, but I can't seem to find a way to solve it.
13.
:In deductive reasoning, the conclusion of a conditional proof is always a formula of the form " A " ?! " B ".
14.
The validity of a conditional proof does not require that the CPA be actually true, only that " if it were true " it would lead to the consequent.
15.
This potential link was confirmed two years later by Ken Ribet, who gave a conditional proof of Fermat's Last Theorem that depended on the modularity theorem ( see : " Ribet's Theorem " and " Frey curve " ).
