Deduction Theorem - Virtual Rules of Inference

Virtual Rules of Inference

From the examples, you can see that we have added three virtual (or extra and temporary) rules of inference to our normal axiomatic logic. These are "hypothesis", "reiteration", and "deduction". The normal rules of inference (i.e. "modus ponens" and the various axioms) remain available.

1. Hypothesis is a step where one adds an additional premise to those already available. So, if your previous step S was deduced as:

then one adds another premise H and gets:

This is symbolized by moving from the n-th level of indentation to the n+1-th level and saying

          • S previous step
            • H hypothesis

2. Reiteration is a step where one re-uses a previous step. In practice, this is only necessary when one wants to take a hypothesis which is not the most recent hypothesis and use it as the final step before a deduction step.

3. Deduction is a step where one removes the most recent hypothesis (still available) and prefixes it to the previous step. This is shown by unindenting one level as follows:

            • H hypothesis
            • ......... (other steps)
            • C (conclusion drawn from H)
          • H→C deduction

Read more about this topic:  Deduction Theorem

Famous quotes containing the words virtual, rules and/or inference:

    “Tragedy dramatizes human life as potentiality and fulfillment. Its virtual future, or Destiny, is therefore quite different from that created in comedy. Comic Destiny is Fortune—what the world will bring, and the man will take or miss, encounter or escape; tragic Destiny is what the man brings, and the world will demand of him. That is his Fate.”
    —Susanne K. Langer (1895–1985)

    “However diligent she may be, however dedicated, no mother can escape the larger influences of culture, biology, fate . . . until we can actually live in a society where mothers and children genuinely matter, ours is an essentially powerless responsibility. Mothers carry out most of the work orders, but most of the rules governing our lives are shaped by outside influences.”
    —Mary Kay Blakely (20th century)

    “I have heard that whoever loves is in no condition old. I have heard that whenever the name of man is spoken, the doctrine of immortality is announced; it cleaves to his constitution. The mode of it baffles our wit, and no whisper comes to us from the other side. But the inference from the working of intellect, hiving knowledge, hiving skill,—at the end of life just ready to be born,—affirms the inspirations of affection and of the moral sentiment.”
    —Ralph Waldo Emerson (1803–1882)