P250, Introduction to Symbolic Logic, Lecture 14.3: Identity Introduction and Elimination

preview_player
Показать описание
I have created the lecture videos for this class in Indiana University Bloomington's Academic Media Production Space, and with Samuel Underwood as Producer and Director. Work on these lectures was supported by a Summer Instructional Development Fellowship (SIDF) awarded by IU.
  1. Vera Flocke
Рекомендации по теме
P250, Introduction to 0:05:17

P250, Introduction to Symbolic Logic, Lecture 8.2: The Turnstile

P250, Introduction to 0:06:25

P250, Introduction to Symbolic Logic, Lecture 9.1: Exam Prep

P250, Introduction to 0:14:20

P250, Introduction to Symbolic Logic, Lecture 1.1: What is logic?

P250, Introduction to 0:09:02

P250, Introduction to Symbolic Logic, Lecture 14.1: Universal Introduction and Elimination

P250, Introduction to 0:07:52

P250, Introduction to Symbolic Logic, Lecture 14.4: A Worked Example

P250, Introduction to 0:06:07

P250, Introduction to Symbolic Logic, Lecture 14.3: Identity Introduction and Elimination

P250, Introduction to 0:06:20

P250, Introduction to Symbolic Logic, Lecture 15.1: Quantifier Conversion Rules

P250, Introduction to 0:03:49

P250, Introduction to Symbolic Logic, Lecture 11.5: Definite Descriptions

P250, Introduction to 0:12:03

P250, Introduction to Symbolic Logic, Lecture 14.2: Existential Introduction and Elimination

P250, Introduction to 0:06:39

P250, Introduction to Symbolic Logic, Lecture 10.5: Implicature and Quantification

P250, Introduction to 0:07:39

P250, Introduction to Symbolic Logic, Lecture 12.1: FOL validities, contradictions and contingencies

P250, Introduction to 0:14:01

P250, Introduction to Symbolic Logic, Lecture 3.1: Truth-Functional Connectives

P250, Introduction to 0:17:16

P250, Introduction to Symbolic Logic, Lecture 15.3: Worked Examples

P250, Introduction to 0:09:16

P250, Introduction to Symbolic Logic, Lecture 8.4: Inductive Proofs

P250, Introduction to 0:12:29

P250, Introduction to Symbolic Logic, Lecture 5.1: Exam Preparation (Example 1)

P250, Introduction to 0:13:44

P250, Introduction to Symbolic Logic, Lecture 11.1: Symbolizing English Sentences in FOL

P250, Introduction to 0:06:54

P250, Introduction to Symbolic Logic, Lecture 11.3: The Substitution Method

P250, Introduction to 0:14:44

P250, Introduction to Symbolic Logic, Lecture 8.5b: The Inductive Step

P250, Introduction to 0:03:55

P250, Introduction to Symbolic Logic, Lecture 8.3: Soundness and Completeness

P250, Introduction to 0:13:26

P250, Introduction to Symbolic Logic, Lecture 10.4a: Truth on an Interpretation

P250, Introduction to 0:17:17

P250, Introduction to Symbolic Logic, Lecture 10.1: The Building Blocks of FOL

P250, Introduction to 0:02:47

P250, Introduction to Symbolic Logic, Lecture 7.4b: Example Proof

P250, Introduction to 0:16:16

P250, Introduction to Symbolic Logic, Lecture 10.4b: Examples

P250, Introduction to 0:11:17

P250, Introduction to Symbolic Logic, Lecture 11.4: Counting Sentences