Propositional Logic, Proofs (Conditional introduction)

preview_player
Показать описание
Video on conditional introduction, a derivation rule for propositional logic.
_____________________________________________________
  1. Logic & Philosophy
  2. conditional introduction
  3. propositional logic
  4. symbolic logic
  5. intelim
  6. proofs
Рекомендации по теме
Propositional Logic, Proofs 0:10:37

Propositional Logic, Proofs (Conditional introduction)

Conditional Statements: if 0:07:09

Conditional Statements: if p then q

[Logic] Proofs and 0:13:35

[Logic] Proofs and Rules #1

Propositional Logic: Proofs: 0:10:48

Propositional Logic: Proofs: Rules for Conditional

Converse, Inverse, & 0:11:54

Converse, Inverse, & Contrapositive - Conditional & Biconditional Statements, Logic, Geometr...

Proofs with Rules 0:07:16

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

Logic 101 (#40): 0:04:48

Logic 101 (#40): Conditional Proofs

Propositional Logic, Proofs 0:08:03

Propositional Logic, Proofs (Conditional elimination)

Conditional Proofs (Propositional 0:12:39

Conditional Proofs (Propositional Logic for Linguists 17)

Propositional Logic − 0:17:23

Propositional Logic − Logical Equivalences

Propositional calculus conditional 0:42:36

Propositional calculus conditional introduction

Intro to Logical 0:06:19

Intro to Logical Statements

INTRODUCTION to PROPOSITIONAL 0:11:02

INTRODUCTION to PROPOSITIONAL LOGIC - DISCRETE MATHEMATICS

Introduction to Logic 0:24:45

Introduction to Logic Online Course, Week 13: Conditional Proof & Indirect Proof in Predicate Lo...

Intro to Formal 0:08:52

Intro to Formal Logic 11: Conditional Proof ('Arrow In')

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

Logic 101 (#36): Introduction to Proofs

Introduction to Logic 2:26:20

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

Conditional Proof with 0:05:19

Conditional Proof with Assumption

Natural Deductive Logic: 0:20:42

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

proofs, conditional-intro rule 0:07:09

proofs, conditional-intro rule (1)

Logic 101 (#34.5): 0:02:42

Logic 101 (#34.5): Biconditional Introduction and Elimination

Truth Table Tutorial 0:07:51

Truth Table Tutorial - Discrete Mathematics Logic

Simple Derivations for 0:07:33

Simple Derivations for Logic Arguments

Logic Lesson 8: 0:25:12

Logic Lesson 8: Introducing Conditional Proof

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

Great video. Please note @ 9:41 you write and say conditional elimination where it was in fact conditional introduction.

osquibb
Автор

I love your style of teaching Logic. You have a gift!

VishalSharma-ehui
Автор

thank you so much, i could finally understand my logic homework!

rysuh
Автор

Great video! In some other systems, this is known as "conditional proof"

ewan_kingston
Автор

I'm having some trouble with my homework. Wondering if you could help!

missbabypeachez
Автор

In the example that starts at @1:53 what if the propositional letters represented the following propositions: R = Jack is tall and Z = Jack has a dog. Clearly you cannot imply R from Z. I know that I am missing something but can’t detect it.

bardock-ykxg
Автор

Please, can you explain what the scope of an assumption means in layman terms? And what is the meaning of "open assumption"? Pls.

oniowolabiezekiel
Автор

When it comes to a valuation function, what is the difference between "Assuming" a truth value and "Knowing" a truth value. For your example @ 2:18, we "know" that the premise R is true....under some value function V_i. However, when we say that we "Assume" that the premise Z is true...this is presumably the truth value being assigned under the same value function V_i.

If these premises are being evaluated using the same value function, why is it that one premise's truth value is "known" but the other premise's truth value is "assumed"? Is the idea that we do not know the full extent of V_i's mapping strategy?

SCramah
Автор

At 2:51, is the A the rule that I am using to introduce this form of reasoing between 2-4 or something else?

carolinac