Все публикации

0:35:18

Sorites

0:27:39

Proving Arguments with Truth Tables, with a focus on MP, MT, DS, and HS

0:55:49

Proposition Logic 1

0:25:48

Conjunction, Simplification, Addition, and Constructive Dilemma

0:17:59

Proof Demonstrations for Rules of Inference

0:43:50

Introduction to Proofs

0:25:33

Truth Table 1 Operators

0:14:13

More on the word 'Or'

0:29:38

Introduction to Proofs 2

0:33:26

Sept 2 Lecture: Categorical Statements

0:31:13

Sorites

0:09:44

Practice Problem 20.3, #36

0:15:04

Proof from Translation (Chapter 20)

0:14:12

Practice: Solving a more complicated proof with conditionals and indirects (Advanced Chapter 21)

0:10:29

Playing with Well-Formed Formulas and Main Operators (Chapter 12)

0:09:44

Operator Basics: Negation and Conjunction (Chapter 10-12, 14)

0:10:19

Conditional Proof Introduction (Chapter 21 of Herrick)

0:14:13

Indirect Proof Introduction for Propositional Logic (Chapter 21)

0:11:27

10/16/2015 4:25:13 PM