'Language, Proof and Logic': Chapter 6 Focus on Understanding Intro and Elim Rules

preview_player
Показать описание
This video offers a fairly in-depth explanation of each of the introduction and elimination rules for negation, conjunction, and disjunction, along with a discussion of the contradiction symbol and related rules. The focus here is on understanding the rules by way of each connective's truth definitions.
  1. Symbolic Logic and Argumentation Skills (Critical Thinking)
  2. Contradiction
  3. Negation Introduction
  4. Negation Elimination
  5. Contradiction Introduction
  6. Contradiction Elimination
Рекомендации по теме
'Language, Proof and 0:41:46

'Language, Proof and Logic': Chapter 4, Sections 4.1-4.6

'Language, Proof and 0:39:32

'Language, Proof and Logic': Chapter 6 Focus on Understanding Intro and Elim Rules

'Language, Proof and 0:16:15

'Language, Proof and Logic': AnaCon Focus

LPL Exercise 5.7 0:05:11

LPL Exercise 5.7 Language Proof and Logic

'Language, Proof and 0:33:38

'Language, Proof and Logic: Chapter 6, Sections 6.1-6.6 Overview

'Language, Proof and 0:17:44

'Language, Proof and Logic', Chapter 3: Focus on Logical and Tautological Equivalence

'Language, Proof and 0:30:23

'Language, Proof and Logic' (Chapter 9): Introduction to Quantifier Logic

LPL Exercise 4.17 0:02:27

LPL Exercise 4.17 Language Proof and Logic

'Language, Proof and 0:27:58

'Language, Proof and Logic' (Chapter 9): Translation Practice

'Language, Proof and 0:09:40

'Language, Proof and Logic': Submit Program Basics

'Language, Proof and 0:16:21

'Language, Proof and Logic', Chapter 4: Ana FO Taut Con Focus

'Language, Proof and 0:19:27

'Language, Proof and Logic': Chapter 1, Sections 1.1-1.4

'Language, Proof and 0:48:44

'Language, Proof and Logic': Chapter 2, Sections 2.1-2.5

LPL You Try 0:13:43

LPL You Try It 4.1: Using Boole for Truth Tables

'Language, Proof and 0:14:48

'Language, Proof and Logic' (Chapter 8): Conditional and Biconditional Rules

'Language, Proof and 0:17:34

'Language, Proof and Logic', Chapter 4: Focus on Necessary Truth

'Language, Proof and 0:23:54

'Language, Proof and Logic': Chapter 7, Sections 7.1-7.4 Overview

Language, Proof, and 0:05:14

Language, Proof, and Logic Website Tutorial

LPL: Chapter 13 0:16:18

LPL: Chapter 13 Basics

LPL Exercise 5.1 0:03:40

LPL Exercise 5.1 and 5.2 Language Proof and Logic

'Language, Proof and 0:41:28

'Language, Proof and Logic': Chapter 3, Sections 3.1-3.3; 3.5-3.7

'Language, Proof and 0:32:08

'Language, Proof and Logic': Chapter 6 Practice with Structuring Proofs

LPL Exercise 6.4 0:04:28

LPL Exercise 6.4 Language Proof and Logic

LPL Exercise 7.1 0:01:57

LPL Exercise 7.1

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

Disjunction elimination has been a rule I've been struggling with. You explained it so much better than my professor. Your video is extremely helpful. Thank you so much. Great speaking voice too! 🤗

christinac.