Introduction to Logic Online Course, Week 8: Conditional Proof and Indirect Proof

preview_player
Показать описание
This video covers the Conditional Proof (CP) and Indirect Proof (IP) methods in propositional logic natural deduction.

Introduction to Logic Online Course, Week 8: Conditional Proof and Indirect Proof, College of Eastern Idaho, Fall 2020, Instructor: Zachary Fruhling
  1. Zachary Fruhling (Fruhling Designs)
  2. Introduction to Logic
  3. Logic
  4. Intro to Logic
  5. Conditional Proof
  6. Indirect Proof
Рекомендации по теме
Logic Pro Tutorial 2:04:57

Logic Pro Tutorial | Ultimate Beginners Course (Everything You Need to Know)

A Very Basic 0:12:43

A Very Basic Introduction to Logic and Syllogistic Logic

Intro to Logical 0:06:19

Intro to Logical Statements

Introduction to Logic 0:09:40

Introduction to Logic from Master Books

Introduction to Philosophy 0:08:20

Introduction to Philosophy and Logic

Introduction to Logic: 0:14:15

Introduction to Logic: Welcome Video

Introduction to Logic 1:35:51

Introduction to Logic Online Course, Week 6: Rules of Replacement I, Instructor: Zachary Fruhling

Introduction to Logic 1:44:57

Introduction to Logic Online Course, Week 3: Truth Tables for Propositions and Arguments (Validity)

Intro To Logic: 0:10:09

Intro To Logic: Disjunctions

INTRODUCTION to PROPOSITIONAL 0:11:02

INTRODUCTION to PROPOSITIONAL LOGIC - DISCRETE MATHEMATICS

Introduction to Logic 0:38:45

Introduction to Logic Online Course, Week 15: Identity Statements in Predicate Logic

Logic Pro 11 11:59:00

Logic Pro 11 Complete Tutorial (12-Hour Course)

Lecture 1 and 1:00:33

Lecture 1 and Introduction to Logic

Rules of Reason: 0:02:16

Rules of Reason: An Introduction to Formal Logic

Introduction to Logic 0:43:32

Introduction to Logic Online Course, Week 7: Rules of Replacement II (Natural Deduction)

Introduction to Logic 2:26:20

Introduction to Logic Online Course, Week 8: Conditional Proof and Indirect Proof

Introduction To Logic 0:02:16

Introduction To Logic Course: Subbass Online

1 Introduction to 0:52:47

1 Introduction to Logic

Logic Gates Learning 0:00:23

Logic Gates Learning Kit #2 - Transistor Demo

Introduction to logic 0:03:43

Introduction to logic ,lec#1 | logic | what is logic with example| definition of logic | Sana khan

Introduction to Logic: 0:02:25

Introduction to Logic: UC Berkeley PHILOS W12A

SCIENCE OF LOGIC 0:07:33

SCIENCE OF LOGIC (COURSE INTRO / OVERVIEW)

Truth Table Tutorial 0:07:51

Truth Table Tutorial - Discrete Mathematics Logic

Introduction to Logic 0:08:40

Introduction to Logic and Critical Thinking - Episode 1

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

I'm a former philosophy student and have been using the Hurley textbook to really solidify my symbolic logic. These videos are the best companion to that text I have found. Thanks a lot for posting.

whitb
Автор

Your video actually helpef me alot to understand the whole method of conditional proof.Thank you for making it easy for us to understand .

sahibasahzadi
Автор

Dear Professor... This was incredible... Thank you so so so much for your hard work. 🙏 You don't know how much you have helped! Greetings from Poland

milaszczecina
Автор

Thank you so very much for your clarity and ability to explain CP and IP.

MaureenZane
Автор

You saved me for my final…thank you😭❣️

alethearose
Автор

Thank you so much🇮🇳 💗 the explanation helped me so much😭🤌🏻..I've an exam rn💯

cupcake-dfno
Автор

I enjoyed watching it, you are the best, thanks.

dasemaw
Автор

At 1:37:17, I had a different proof.

1. K / S => ( T => S)
2. | S ACP
3. | S v ~T 2, Add
4. | ~T v S 3, Comm
5. | T => S 4, Impl
6. S => (T => S) 2-5 CP

thunkjunk
Автор

Thank you so much! I enjoyed the way you explain.

marlenylylananiot
Автор

Hello thanks for your video, do you have a hint for me how to prove ~A↔ B, ~B ↔ C, ~C ↔ A ╞ λ ? I already used the Df rule but I still cannot see how to show that an absurdity follows... Help would be much appreciated... Thank you!

kawaii_hawaii
Автор

Omg, Thank youuu! You helped me a lot!!

monicavelasquez