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

preview_player
Показать описание
In this video on #Logic, we learn our last two rules for natural deductive proofs. We learn biconditional introduction and biconditional elimination. Then we do a few example proofs.

#PropositionalLogic #LogicProofs

0:00 [Rule: Biconditional Introduction]
1:47 [Rule: Biconditional Elimination]
3:55 [Example #1]
7:25 [Example #2]
10:22 [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:11:15

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

Two practice exercises 0:15:42

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

Natural Deductive Logic: 0:20:42

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

Natural Deductive Logic: 0:17:54

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

Natural Deductive Logic 0:15:55

Natural Deductive Logic - Universal and Existential Rules

PHL1003: FOL natural 0:17:11

PHL1003: FOL natural deduction - new rules

Natural Deduction Proof 1:02:52

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

Three Exercises in 0:09:49

Three Exercises in Natural Deductive Proofs: THEOREMS - Logic

3 natural deduction 0:03:50

3 natural deduction system

Natural Deduction Part 0:15:04

Natural Deduction Part 3: Translations I

Logic & Philosophy 0:28:02

Logic & Philosophy 6: Natural Deduction 3

Example Probelms in 0:49:46

Example Probelms in Natural Deduction

Two Exercises in 0:10:21

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

Rules for Natural 0:10:44

Rules for Natural Deduction | Attic Philosophy

Introduction to Logic 1:24:09

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

Introduction to Inductive 0:03:34

Introduction to Inductive and Deductive Reasoning | Infinity Learn

'An Introduction to 0:37:29

'An Introduction to Critical Thinking' (Chapter 3): Natural Deduction Basics

Natural Deduction: Introduction 0:08:30

Natural Deduction: Introduction to Mathematical Logic #3

3.2.1 Natural Deduction 0:40:33

3.2.1 Natural Deduction - Basic Proofs

Analyzing an argument 0:02:13

Analyzing an argument for validity

Natural Deductive Logic: 0:18:05

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

4. Deductive Systems 0:29:06

4. Deductive Systems - Logic for Beginners

2209 Video 33 0:14:33

2209 Video 33 (Proofs using the syntactic rules of natural deduction)

Logic - Introduction 0:39:47

Logic - Introduction to Fitch-style Natural Deduction proofs - Proofs #1-10

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

I'm preparing for my logic exam in 2 weeks, and i found this video really helpful. especially you explained each step in details! I watched your whole serie. Thank you!!

yiqi
Автор

I notice that you write the shorthand for the rules as =I and =e in the subtext above and <=>I and <=>e inside the video.. Can you use both? and by extension prove A=B as well as A<=>B ?? Thanks for the video's btw.. really helpful!!

thomasgrnlund
Автор

In example 1 i don't get if it's necessary to show that from C you get A (line 10, 11, MP), since we already have C -> A in the hypothesis

naiko