Natural Deductive Logic: RULES #2 (vI, vE, DN, RAA)

preview_player
Показать описание
In this video on #Logic, we learn four more rules for natural deductive proofs. We learn disjunction introduction, disjunction elimination, double negation, and reductio ad absurdum (negation introductions, or proof by contradiction). Then we do two example proofs.

#PropositionalLogic #LogicProofs

0:00 [Rule: Disjunction Introduction]
1:38 [Rule: Double Negation]
2:07 [Rule: Disjunction Elimination]
4:05 [Rule: Reductio Ad Absurdum (Negation Introduction)]
6:16 [Example #1]
9:48 [Example #2]
12:58 [Example #3]
17:35 [Extra Practice Questions]

*--Playlists--*

*--Recommended Textbooks--*

Hello, welcome to TheTrevTutor. I'm here to help you learn your college courses in an easy, efficient manner. If you like what you see, feel free to subscribe and follow me for updates
  1. TrevTutor
  2. reductio ad absurdum
  3. logic RAA
  4. double negation logic
  5. double negation proofs
  6. RAA proof
Рекомендации по теме
Natural Deductive Logic: 0:17:54

Natural Deductive Logic: RULES #2 (vI, vE, DN, RAA)

Two exercises in 0:08:18

Two exercises in Natural Deductive Logic: RULES #2 (vI, vE, DN, RAA) - Logic

Natural Deductive Logic 0:15:55

Natural Deductive Logic - Universal and Existential Rules

Natural Deductive Logic: 0:20:42

Natural Deductive Logic: RULES #1 (R, &E, &I, MP, CP)

Two Exercises in 0:10:21

Two Exercises in Natural Deductive Logic: RULES #1 (R, &E, &I, MP, CP) - Logic

Two practice exercises 0:15:42

Two practice exercises in Natural Deductive Logic: RULES #3 (=I, =E) - Logic

Natural Deduction (part 0:28:13

Natural Deduction (part II)

Natural Deduction Proof 1:02:52

Natural Deduction Proof Method for Propositional Logic: Rules of Implication I, Intro to Logic, Wk 4

Livestream TUM School 1:05:45

Livestream TUM School of Management Welcome Event 2024

Introduction to Logic 1:30:47

Introduction to Logic Online Course, Week 5: Natural Deduction Proof Method: Rules of Implication II

Natural Deduction Part 0:19:14

Natural Deduction Part 2: Implication Rules II

Natural Deductive Logic: 0:11:15

Natural Deductive Logic: RULES #3 (=I, =E)

Phil 270 Week 0:07:13

Phil 270 Week 15: Natural Deduction in Predicate Logic 2: Quantifier Rules

Introduction to Logic 1:24:09

Introduction to Logic Online Course, Week 11: Predicate Logic Natural Deduction Rules

The Disjunction Rule: 0:20:45

The Disjunction Rule: Let's Study Logic #2: Natural Deduction Proofs (OpenSource 'forallX&...

4. Deductive Systems 0:29:06

4. Deductive Systems - Logic for Beginners

Natural Deductive Logic: 0:18:05

Natural Deductive Logic: DERIVABLE RULES (MT, HS, DS, DeM)

3.2.1 Natural Deduction 0:40:33

3.2.1 Natural Deduction - Basic Proofs

Natural Deduction Part 0:21:12

Natural Deduction Part 5: Replacement Rules II

Introduction to Inductive 0:03:34

Introduction to Inductive and Deductive Reasoning | Infinity Learn

Three Exercises in 0:09:49

Three Exercises in Natural Deductive Proofs: THEOREMS - Logic

You're doing Natural 0:06:23

You're doing Natural Deduction wrong!

Natural deduction problem 0:09:24

Natural deduction problem 03

Truth Table Tutorial 0:07:51

Truth Table Tutorial - Discrete Mathematics Logic

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

If anyone is wondering the justification for line n at 3:45. It's not k-l but l-m.

FlexThoseMuscles
Автор

I’m wondering why you didn’t just take care of c in line 5, based on it being another potential modus ponens? Is it because you wanted to specifically demonstrate the new rules?

kamilisaintleger
Автор

Is there another name for reiterate? (R) Is that what CP is (Conditional Proof) or is that a different rule?

violet.dreyer
Автор

This is a video and I can be a bit wild 😂

milaszczecina