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.

00:00 - Introduction
00:21 - Motivation for Deductive Systems
06:10 - Natural Deduction
25:13 - Other Deductive Systems
28:36 - Conclusion

[lore-x]

3 years later people still benefit from your efforts, thank a lot dude.

[bragacodes]

Astonishing, thanks so much for the summary.

[notimportant]

I had a course that included proving some theorems using Coq and I really felt stupid. This series is a life saver, thank you very much and hope you're doing great!

[ftofmisery]

Truly, you slayed this topic, i was struggling with natural deduction! underrated king! yaas

[jan-Juta]

You're a life saver, thank you so much for this!

[namtodev]

only video i could find that i properly understood.

[ahmedrachet]

Crazy shit man. You gave me the why. All other teachers think i dont want to know the why.

[xamidi]

27:21 Correction: Proof theory is a major branch of mathematical logic, which in contrast to model theory is not semantic but syntactic in nature. You shouldn't call a deductive system that. But the syntactic aspects of those systems are researched in the field of proof theory.

[voiceofreason]

I am stuck for Hilbret-style proof and looking where I lost. I can say your approach is a good one.

[samueldarenskiy]

Is this an alternative to fitch style?