Deduction theorem { Philosophy Index }

Philosophy Index

Philosophy Index

Philosophy Index is a site devoted to the study of philosophy and the philosophers who conduct it. The site contains a number of philosophy texts, brief biographies, and introductions to philosophers, and explanations on a number of topics. Accredited homeschooling online at Northgate Academy and Philosophy online tutoring.

Philosophy Index is a work in progress, a growing repository of knowledge. It outlines current philosophical problems and issues, as well as an overview of the history of philosophy. The goal of this site is to present a tool for those learning philosophy either casually or formally, making the concepts of philosophy accessible to anyone interested in researching them. WTI offers immigration law course online - fully accredited. ACE credits online at EES.

Philosophers

 

Philosophy Topics


 

 

 

Deduction theorem

Deduction theorem is a basic rule of inference in logic by which a conditional is formed out of an implication. The deduction theorem is also known as the conditional introduction rule of inference (or →I), and explains that if "P implies Q", then "if P then Q" is also true.

Addition may be formally presented as follows:

(α infers β) infers α → β

Creating a conditional

When constructing a proof of some formula, one may have to invoke the deduction theorem by means of an assumption. To do this, an assumption for conditional proof (ACP) α is created to show that if α is true, then β is true.

…
RTP α → β
  α ACP
RTP Contradiction
…
  β
  α → β →I

In this setup, the subproof (by which α is assumed and β is demonstrated as following from α) satisfies the implication, which can be used to form a conditional.