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

preview_player
Показать описание
This video introduces the connectives, negation, conjunction, and disjunction, and their operators. In addition, the truth definitions for each is discussed, along with the basics of translations. Finally, a bit of time is spent discussing truth functional equivalence, by way of double negation and DeMorgan's laws.
  1. Symbolic Logic and Argumentation Skills (Critical Thinking)
  2. negation
  3. conjunction
  4. disjunction
  5. hook
  6. caret
Рекомендации по теме
'Language, Proof and 0:16:15

'Language, Proof and Logic': AnaCon Focus

'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

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:16:21

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

'Language, Proof and 0:09:40

'Language, Proof and Logic': Submit Program Basics

'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:27:58

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

'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

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

Thanks for making this rather intimidating topic so easy to attack.

drunkmadala
Автор

Thank you so much for this, have a module on logic and its taught so poorly, so this is a life saver

Grandfinal
Автор

Great video & explanation! Going through a few more complex examples would be great.

csperi-peri
Автор

If the "idea" of Dodec(a) exists but the Dodec(a) doesn't actually now exist in the world, then should we say that it is true that Dodec(a)? I think we should say yes, Dodec(a) is true even if it exists only as a placeholder.

alethes.sophia