Search the courses, subjects, tracks, games and features, or jump straight to a page.
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.
Chapter 416 sections
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.
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.
An argument is considered valid if the conjunction of its premises implies its conclusion as a tautology.
Logical tools that allow for the derivation of new conclusions from established premises.
A statement that is true in all possible scenarios.
A rule stating that if 'p' is true and 'p implies q' is true, then 'q' is also true.
An invalid argument form that mistakenly concludes 'p' from 'p implies q' and 'q'.
An invalid argument form that incorrectly concludes '¬q' from 'p implies q' and '¬p'.
Total Questions
2
Estimated Time
4 min
Passing Score
70%
Get your answers marked and your progress tracked