G.18. Proofs with Hypothetical Syllogism (Natural Deduction)

preview_player
Показать описание
Logic Self-Taught G video series is a basic introduction to natural deduction in propositional logic with 9 inference rules: Conjunction, Simplification, Modus Ponens, Modus Tollens, Hypothethical Syllogism, Addition, Disjunctive Syllogism, Constructive Dilemma, and Absorption.

In this video, we learn how to do simple proofs with Hypothetical Syllogism.

00:00 Introduction
00:28 Recap: Hypothetical Syllogism
00:56 Proof 1 - plan
01:33 Proof 1 - plan in action
01:58 Proof 2 - plan
02:47 Proof 2 - plan in action

  1. Dr. Phi
  2. natural deduction
  3. basic logic
  4. introduction to logic
  5. for dummies
  6. logic for dummies
Рекомендации по теме
G.18. Proofs with 0:03:53

G.18. Proofs with Hypothetical Syllogism (Natural Deduction)

Sasser's Simple Method 0:09:15

Sasser's Simple Method for Proofs with Implication Rules

Proofs with Rules 0:07:16

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

G.12. Proofs with 0:06:18

G.12. Proofs with Modus Tollens (Natural Deduction)

Lessons in Logic 0:34:12

Lessons in Logic 40: Equivalence Rules in Proofing

Examples of proofs 0:12:38

Examples of proofs in propositional logic

Klenk Unit 18, 0:12:54

Klenk Unit 18, Part 3

G.08. Proofs with 0:07:27

G.08. Proofs with Modus Ponens (Natural Deduction)

Natural Deduction and 0:19:35

Natural Deduction and Proofs

G.07. About Modus 0:06:57

G.07. About Modus Ponens (Natural Deduction)

Natural Deduction First 0:29:38

Natural Deduction First Four Inference Rules

Indirect Proof (Propositional 0:10:19

Indirect Proof (Propositional Logic for Linguists 18)

Natural Deductive Logic: 0:18:05

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

Logic Lecture on 0:46:28

Logic Lecture on 6.6

Mathematical Logic. Lecture 0:18:00

Mathematical Logic. Lecture 7: Inference Rules for First Order Logic

Klenk Unit 18, 0:05:20

Klenk Unit 18, Part 11

Klenk Unit 18, 0:13:05

Klenk Unit 18, Part 10

Logic Homework check 0:18:59

Logic Homework check 7.2 section III

Klenk Unit 18, 0:11:31

Klenk Unit 18, Part 13

Advanced Rules for 0:34:55

Advanced Rules for TFL

Rules of Inference 0:07:44

Rules of Inference - Definition & Types of Inference Rules

First 5 Equivalency 0:11:24

First 5 Equivalency Rules - Power of Logic

symbolic logic 10/14 1:22:29

symbolic logic 10/14 (conditional proof, 7.4)

7.3 Rules of 0:52:49

7.3 Rules of Replacement I

welcome to shbcf.ru