Logic Lesson 6: Proofs with the Rules of Inference

preview_player
Показать описание
This video begins to explain how to do proofs using the rules of inference. It explains why we use proofs instead of additional rules, goes over a few example proofs, then gives you some proofs to try on your own. The solutions to these proofs are covered in a subsequent video.

The text used to make this video is posted on my blog at

This video is part of a series on symbolic logic. If you don't already know the rules of inference, check out the earlier videos in this playlist:

  1. For the Love of Wisdom
  2. logic
  3. symbolic logic
  4. rules of inference
  5. proofs
  6. validity
Рекомендации по теме
Logic Lesson 6: 0:20:08

Logic Lesson 6: Proofs with the Rules of Inference

Logic Lesson 6: 0:28:26

Logic Lesson 6: Logical Proofs and Arrow Out Rule

Lesson 6 0:27:26

Lesson 6 Logic Proofs of the Existence of God With Video

Logic and Proofs 0:29:12

Logic and Proofs | Part 6 - Direct Proofs

Proofs with Rules 0:07:16

Proofs with Rules of Inference 1 (Propositional Logic for Linguists 15)

Intermediate Logic, 13/14 0:12:38

Intermediate Logic, 13/14 Part 6

HOW CHINESE STUDENTS 0:00:23

HOW CHINESE STUDENTS SO FAST IN SOLVING MATH OVER AMERICAN STUDENTS

Grade 10 Sinhala 0:00:12

Grade 10 Sinhala Book 😂😂🔫

Predicate Logic Proof 0:05:54

Predicate Logic Proof Example 6: Using the Contradictory Premises Rule

Logic Lesson 7: 0:22:27

Logic Lesson 7: Solutions to Proofs with the Rules of Inference

Logic Lesson 8: 0:25:12

Logic Lesson 8: Introducing Conditional Proof

Logic and Proofs 0:09:48

Logic and Proofs 6, Equivalence between Propositional Forms

Why greatest Mathematicians 0:00:38

Why greatest Mathematicians are not trying to prove Riemann Hypothesis? || #short #terencetao #maths

Proof in predicate 0:17:13

Proof in predicate logic 6: Working through some proofs

Reconciling Science and 0:27:26

Reconciling Science and the Bible Lesson 6 Logic Proofs of the Existence of God

Logic 101 (#38): 0:05:49

Logic 101 (#38): Working Backward (Killer Proof Strategy #2)

Logic 101 (#36): 0:07:44

Logic 101 (#36): Introduction to Proofs

Balloon in a 0:00:17

Balloon in a Bottle Science Trick

[Logic] Proofs and 0:13:35

[Logic] Proofs and Rules #1

How To Prove 0:00:22

How To Prove a⁰=1 | maths shorts #shorts #maths

Lines and Angles 0:00:34

Lines and Angles Trick | Class 9 Maths Lines and Angles #fun #shorts #mathsiseasy #youtubeshorts

11th me mene 0:00:36

11th me mene Ye galtiyan ki thi 🥺 | Ft. NEET Topper #pw #shorts

Logic Lesson 13: 0:23:07

Logic Lesson 13: Proving Distribution with Conditional Proof

Sum of Interior 0:00:33

Sum of Interior Angles of Any Polygon | SAT and ACT Prep | Math

Комментарии
Автор

This 20 minute video was better than the two hour lecture I sat through. Explained the material in such an easy to understand manner. Definitely subscribing. Thanks so much~

Ghanashyama
Автор

This video gave me a better understanding of proofs than the past 2 weeks of my professors lectures! Thank you!

PrincessSarahD
Автор

Thanks! I was stuck with this chapter in logic... this video really helped me.

romaliya
Автор

AWESOME!! I have my final this weekend and this is the section i am stuck on but this helped a bunch! thank you!

LuisKing
Автор

Made it so much easier to understand! Thank you.

abag
Автор

God help me with this final I have today lol

Kaitlynsfashion
Автор

1. P //Premise
2. P --> Q //Premise
3. Q --> R //Premise

Proof:

4. P --> R //2, 3 Hypothetical syllogism
5. R //1, 4 Modus ponens

marcushendriksen
Автор

These are fun.

1. P & ~Q // Premise
2. P ⊃ Q // Premise
Prove: R
3. ~Q // 1 Simplification
4. ~Q ∨ R // 3 Addition
5. P // 1 Simplification
6. Q // 2, 5 Modus Ponens
7. R // 4, 6 Disjunctive Syllogism

ibn_klingschor
Автор

What's an axiom and a theorem in relation to all of this?

malteeaser