4. Rules of Inference
The lecture on rules of inference covers valid arguments in propositional logic, highlighting the structure of arguments and the significance of argument forms. It explains the concepts of premises and conclusions, the verification of argument validity through tautologies, and introduces rules of inference for simplifying complex arguments. Common fallacies in reasoning are also discussed to clarify misunderstandings in logical arguments.
Enroll to start learning
You've not yet enrolled in this course. Please enroll for free to listen to audio lessons, classroom podcasts and take practice test.
Sections
Navigate through the learning materials and practice exercises.
What we have learnt
- Understanding valid arguments involves determining if the premises imply the conclusion as a tautology.
- Rules of inference serve as building blocks for proving the validity of larger arguments without constructing truth tables.
- Complex argument forms can be broken down into simpler components, allowing for the verification of their validity using established rules.
Key Concepts
- -- Valid Argument
- An argument is considered valid if the conjunction of its premises implies its conclusion as a tautology.
- -- Rules of Inference
- Logical tools that allow for the derivation of new conclusions from established premises.
- -- Tautology
- A statement that is true in all possible scenarios.
- -- Modus Ponens
- A rule stating that if 'p' is true and 'p implies q' is true, then 'q' is also true.
- -- Fallacy of Affirming the Conclusion
- An invalid argument form that mistakenly concludes 'p' from 'p implies q' and 'q'.
- -- Fallacy of Denying the Hypothesis
- An invalid argument form that incorrectly concludes '¬q' from 'p implies q' and '¬p'.
Additional Learning Materials
Supplementary resources to enhance your learning experience.