Propositional Logic - Negation Elimination and Introduction

preview_player
Показать описание
This video covers the use of Negation Elimination and Negation Introduction for propositional logic proofs. I talk through the use of the rule, some English and propositional logic examples, and some practical scenarios where you might use the rule.
_____________________________________________________
___________________________________________________________
  1. Logic & Philosophy
  2. negation introduction
  3. negation elimination
  4. proof by contradiction
  5. reductio ad absurdum
  6. indirect proof
Рекомендации по теме
Propositional Logic - 0:27:16

Propositional Logic - Negation Elimination and Introduction

Propositional Logic: Proofs: 0:10:54

Propositional Logic: Proofs: Rules for Negation

Logical Operators − 0:06:09

Logical Operators − Negation, Conjunction & Disjunction

Negating a Conditional 0:02:52

Negating a Conditional Statement

Logic - DeMorgan's 0:05:53

Logic - DeMorgan's Laws of Negation

Propositional Logic, Proofs 0:06:00

Propositional Logic, Proofs (Conjunction Elimination)

Natural Deduction: Negation 0:05:58

Natural Deduction: Negation Introduction and Negation Elimination

Propositional Logic − 0:17:23

Propositional Logic − Logical Equivalences

Conditional Statements: if 0:07:09

Conditional Statements: if p then q

An Introduction to 0:10:32

An Introduction to Propositional Logic

Negation Introduction 0:05:32

Negation Introduction

Propositional Logic: Double 0:02:19

Propositional Logic: Double Negation

The Common Logical 0:00:58

The Common Logical Connectives of Mathematical Logic Made Easy #Shorts

Truth Table Tutorial 0:07:51

Truth Table Tutorial - Discrete Mathematics Logic

Propositional Logic 5: 0:01:35

Propositional Logic 5: Double Negation

Negation of Statements 0:00:17

Negation of Statements - Maths!

Natural Deductive Logic: 0:17:54

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

Propositional Calculus Negation 0:33:38

Propositional Calculus Negation Introduction

INTRODUCTION to PROPOSITIONAL 0:11:02

INTRODUCTION to PROPOSITIONAL LOGIC - DISCRETE MATHEMATICS

Proofs with Rules 0:07:16

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

OR (∨) Logical 0:00:16

OR (∨) Logical Operator Truth Table #Shorts #math #computerscience #education

Propositional Logic: The 0:53:48

Propositional Logic: The Complete Crash Course

Intro to Logical 0:06:19

Intro to Logical Statements

📚 How to 0:01:44

📚 How to negate a statement (Introduction to logic)

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

Your videos have been great help in conjunction with my education. Thank you for providing this for people who may not be able to afford books, school, and other resources.

jmike
Автор

So in a world where there's a contradiction in your premise, you can use that to prove literally anything? For your last example, you could've just as easily proved not-Z as you did prove Z.

airodonack
Автор

I absolutely love your videos. I believe negation intro and elim are the only two natural deduction rules not used in intuitionistic PL? I wonder if you have any videos on IPL and/or Type Theory?

jrchum
Автор

Having studied logic extensively in university, i have come to the conclusion that there is a definition for god(s) that exists.

JerryCrow