The Foundations: Logic and Proofs
[Pages:57]The Foundations: Logic and Proofs
Chapter 1, Part III: Proofs
Rules 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:
We will see shortly that this is a valid argument.
Valid Arguments
We will show how to construct valid arguments in two stages; first for propositional logic and then for predicate logic. The rules of inference are the essential building block in the construction of valid arguments.
1. Propositional Logic
2. Inference Rules
3. Predicate Logic
4. Inference rules for propositional logic plus additional inference rules to handle variables and quantifiers.
Arguments in Propositional Logic
A argument in propositional logic is a sequence of propositions. All but the final proposition are called premises. The last statement is the conclusion.
The argument is valid if the premises imply the conclusion. An argument form is an argument that is valid no matter what propositions are substituted into its propositional variables.
If the premises are p1 ,p2, ...,pn and the conclusion is q then
(p1 p2 ... pn ) q is a tautology.
Inference rules are all argument simple argument forms that will be used to construct more complex argument forms.
Rules of Inference for Propositional Logic: Modus Ponens
Corresponding Tautology: (p (p q)) q
Example: Let p be "It is snowing." Let q be "I will study discrete math."
"If it is snowing, then I will study discrete math." "It is snowing."
"Therefore , I will study discrete math."
................
................
In order to avoid copyright disputes, this page is only a partial summary.
To fulfill the demand for quickly locating and searching documents.
It is intelligent file search solution for home and business.
Related download
- 4 boolean algebra and logic simplification
- the foundations logic and proofs
- 3 2 the basics of logic the importance of logic
- digital electronics
- an introduction to formal logic textbook equity
- basic concepts in modal logic1 stanford university
- basic concepts of logic umass
- iep goals and objectives bank redmond oregon
- outcome and assessment information set oasis d guidance manual
- leave request form authorization united states navy
Related searches
- aristotle logic and reason
- logic and proofs explained
- logic and argument in philosophy
- logic and philosophy answers pdf
- logic and reason philosophy
- study of logic and reasoning
- logic and reasoning pdf
- journal of logic and analysis
- logic and reasoning in geometry
- philosophy logic and reasoning
- unit 2 logic and proof
- logic and philosophy pdf