4. Deductive Systems - Logic for Beginners
ฝัง
- เผยแพร่เมื่อ 8 ก.ค. 2024
- 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 - Lo...
• Logic for Beginners playlist: • Logic for Beginners
• Next video: • 5. Soundness and Compl...
00:00 - Introduction
00:21 - Motivation for Deductive Systems
06:10 - Natural Deduction
25:13 - Other Deductive Systems
28:36 - Conclusion
3 years later people still benefit from your efforts, thank a lot dude.
only video i could find that i properly understood.
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!
Glad I could help! And don't feel stupid, theorem proving is hard enough even when you're not battling with a proof assistant. I had my share of late nights using Isabelle/HOL at uni
Truly, you slayed this topic, i was struggling with natural deduction! underrated king! yaas
Astonishing, thanks so much for the summary.
No worries, glad it was helpful!
Absolute lifesaver !
You're a life saver, thank you so much for this!
No problem, I'm very glad it was so useful!
Thanks for the kind words!
Just brilliant, thank you.
That's very kind, thanks!
I am stuck for Hilbret-style proof and looking where I lost. I can say your approach is a good one.
Metamath builds formal proofs in Hilbert systems, and there is a tool called pmGenerator that can find and parse propositional Hilbert-style proofs from condensed detachment (i.e. implication elimination with instantiation to most common unifiers) notation.
Is this an alternative to fitch style?
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.
Great vid, sad u got only 4k views , Your explanation could get you great returns if u aproach more common topics
Thank you! I agree formal logic doesn't have the widest appeal does it!