4. Deductive Systems - Logic for Beginners скачать в хорошем качестве

4. Deductive Systems - Logic for Beginners

This video in the Logic for Beginners series explains the role of deductive systems in logic. As in previous videos, a general overview is given first: we look at some sentences in Propositional Logic that evaluate to True under any interpretation of the symbols. This motivates the explanation of a deductive system called Natural Deduction for Propositional Logic, and examples of its use are given throughout. • Previous video:    • 3. What is Syntax - Logic for Beginners   • Logic for Beginners playlist:    • Logic for Beginners   • Next video:    • 5. Soundness and Completeness - Logic for ...   00:00 - Introduction 00:21 - Motivation for Deductive Systems 06:10 - Natural Deduction 25:13 - Other Deductive Systems 28:36 - Conclusion