Logic
PropositionalAndPredicateLogic
- 10 / 12
1
Lecture 1 (Logic)
1:38:39

Lecture 1 (Logic)

Introduction Chapter 1: Sentential Connectives - 1.1 Negation and Conjunction - 1.2 Disjunction - 1.3 Implication: Conditional Sentences - 1.4 Equivalence: Biconditional Sentences - 1.5 Grouping and Parentheses - 1.6 Truth Tables and Tautologies
2
Lecture 2 (Logic)
2:00:26

Lecture 2 (Logic)

Chapter 1: Sentential Connectives - 1.7 Tautological Implication and Equivalence Chapter 2: Sentential Theory of Inference - 2.1 Two Major Criteria of Inference and Sentential Interpretation - 2.2 The Three Sentential Rules of Derivation
3
Lecture 3 (Logic)
2:01:25

Lecture 3 (Logic)

Chapter 2: Sentential Theory of Inference (Continued) - 2.3 Useful Tautological Implications - 2.4 Consistency of Premises and Indirect Proof
4
Lecture 4 (Logic)
1:38:25

Lecture 4 (Logic)

Chapter 3: Symbolizing Everyday Language - 1. Grammar and Logic - 2. Terms - 3. Predicates - 4. Quantifiers - 5. Bound and Free Variables - 6. A Final Example
5
Lecture 5 (Logic)
1:42:05

Lecture 5 (Logic)

Chapter 4: General Theory of Inference - 1. Inference with Universal Quantifiers - Example of Axiomatic System for Weak Preference
6
Lecture 6 (Logic)
1:50:47

Lecture 6 (Logic)

Chapter 4: General Theory of Inference - Second Example of Axiomatic System
7
Lecture 7 (Logic)
2:34:00

Lecture 7 (Logic)

Chapter 4: General Theory of Inference - 2. Interpretations and Validity - 3. Restricted Inferences with Existential Quantifiers
8
Lecture 8 (Logic)
2:09:26

Lecture 8 (Logic)

Chapter 4: General Theory of Inference - 4. Interchange of Quantifiers - 5. General Inferences Chapter 5: Further Rules of Inference - 1. Logic of Identity
9
Lecture 9 (Logic)
1:42:50

Lecture 9 (Logic)

Chapter 5: Further Rules of Inference - 2. Theorems of Logic - 3. Group Theory
Lecture 10 (Logic)
2:15:14

Lecture 10 (Logic)

Chapter 7: Transition to Informal Proof - Examples with the Axioms of Arithmetic.
11
Lecture 11 (Logic)
1:40:00

Lecture 11 (Logic)

Chapter 7: Transition to Informal Proof - Examples with the Axioms of Arithmetic. - Dividing by 0
12
Lecture 12 (Logic)
1:55:34

Lecture 12 (Logic)

Chapter 8: Theory of Definition Set Theory: Basic Review

Lecture 10 (Logic)

Save
2 years ago
19

Chapter 7: Transition to Informal Proof
- Examples with the Axioms of Arithmetic.

Loading comments...