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

0:04:01

Predicate Logic Proof Example 2: Using Instantiation and Generalization

0:05:54

Predicate Logic Proof Example 6: Using the Contradictory Premises Rule

0:10:27

The Purpose of Proof

0:08:18

Proof by Counterexample

0:10:14

Proofs in English: Taking the Training Wheels Off

0:08:04

Querium's StepWise Tool for Checking Formal Proofs - Part 4

0:09:09

Querium's StepWise Tool for Checking Formal Proofs - Part 3

0:06:33

Querium's StepWise Tool for Checking Formal Proofs - Part 2

0:04:33

Querium's StepWise Tool for Checking Formal Proofs - Part 1

0:05:27

Law of the Excluded Middle - Part 1

0:07:16

Law of the Excluded Middle - Part 2

0:04:40

Boolean Logic Proof Example 2: Using Disjunctive Syllogism

0:05:33

Predicate Logic Proof Example 5: Existential Instantiation and Generalization

0:04:00

Boolean Proof Example 1: Using Modus Ponens

0:04:10

Boolean Proof Example 4: Backward Reasoning Using Modus Tollens

0:04:19

Induction Proof Example 2

0:05:38

Boolean Proof Example 7: Using Contradictory Premises and Conditionalization

0:04:41

Induction Proof Example 1

0:06:22

Boolean Proof Example 3: Using Conditional Disjunction

0:05:05

Predicate Logic Proof Example 4: Using Quantifier Exchange

0:04:18

Predicate Logic Proof Example 3: Using Universal Instantiation

0:04:40

Boolean Proof Example 5: Using Conditionalization

0:04:21

Predicate Logic Proof Example 1: Using Universal Generalization

0:04:39

Boolean Proof Example 6: Conditionalization