5.4.s. Summary
The law for the conditional as a premise applies only to reductio arguments and provides a way of rejecting a conditional by deriving its antecedent φ from the premises and reducing its consequent to absurdity given the premises. Rejecting a Conditional (RC) is the corresponding derivation rule.
This rule reflects the fact that a conditional is false when its antecedent is true and its consequent is false. The rules of Weakening (Wk) that have conditionals as conclusions reflect the fact that a conditional is true if its consequent is and also if its antecedent is false.
With these rules, the system of derivations for truth-functional logic is complete. It is shown in the table below.
|
| Basic system | ||||||||||||||||||||||||||||||||||||
|
|
Added rules
(optional) |
||||||||||||||||||||||||||||||||||||
At the top and left appears the basic system, all of whose rules are progressive. It consists of the fundamental rules for developing gaps by exploiting resources or planning for goals, two rules each for negations, conjunctions, disjunctions, and conditionals along with a rule to plan for atomic sentences. There are the same four rules for closing gaps we had as of 3.2, and we now also have a set of four detachment rules that provide alternative ways of exploiting weak truth-functional compounds. In addition to the basic system, there is a group of rules that are not necessarily progressive although they are sound and safe. These are the rules makred off at the lower right in the table—the attachment rules and the general rule LFR for introducing lemmas in reductio arguments. As in the earlier tables of this form, the names of the rules in the following are links to places where they are actually stated.