Rule of Inference
Rule of Inference
Section 1.6
Section Summary
Valid Arguments
Inference Rules for Propositional Logic
Using Rules of Inference to Build Arguments
Rules of Inference for Quantified Statements
Building Arguments for Quantified Statements
Revisiting the Socrates Example
We have the two premises:
“All men are mortal.”
“Socrates is a man.”
And the conclusion:
“Socrates is mortal.”
How do we get the conclusion from the premises?
The Argument
We can express the premises (above the line) and the
conclusion (below the line) in predicate logic as an
argument:
Example:
Let p be “It is snowing.”
Let q be “I will study discrete math.”
Example:
Let p be “it is snowing.”
Let q be “I will study discrete math.”
Example:
Let p be “it snows.”
Let q be “I will study discrete math.”
Let r be “I will get an A.”
Example:
Let p be “I will study discrete math.”
Let q be “I will study English literature.”
Example:
Let p be “I will study discrete math.”
Let q be “I will visit Las Vegas.”
Corresponding Tautology:
(p∧q) →p
Example:
Let p be “I will study discrete math.”
Let q be “I will study English literature.”
Example:
Let p be “I will study discrete math.”
Let q be “I will study English literature.”
Corresponding Tautology:
((¬p ∨ r ) ∧ (p ∨ q)) →(q ∨ r)
Example:
Let p be “I will study discrete math.”
Let r be “I will study English literature.”
Let q be “I will study databases.”
C
Valid Arguments
Example 1: From the single proposition
Example:
Example:
Example: