A simple example of a natural deduction proof using basic inference rules: simplification, conjunction, disjunctive syllogism, modus ponens, modus tollens, and addition. This process is called natural deduction and amounts to a proof of validity. Such proofs are a central feature of symbolic logic in philosophy.
Your textbook may use different symbols and different names for the rules of inference. It doesn't matter! A logic proof in propositional logic (sentential logic) will be essentially the same even if the symbols and names differ.
Subscribe! / @letsgetlogical
Paul Herrick, Introduction to Logic, Chapter 18, “Modern Truth-Functional Natural Deduction” and Chapter 19, "Truth-Functional Natural Deduction, Part 2" (Recommended companion textbook for this channel.)
Music: "Retro Soul", www.bensound.com/royalty-free-..."
26 янв 2021
