8. Logic Lecture: Predicate Logic: Formal Proofs of Validity: Conditional Proof

preview_player
Показать описание

  1. drjasonjcampbell
  2. quantifier
  3. propositional logic
  4. universal
  5. existential
  6. instantiation
Рекомендации по теме
8. Logic Lecture: 0:15:20

8. Logic Lecture: Predicate Logic: Formal Proofs of Validity: Conditional Proof

8.1 Predicate Logic: 0:57:47

8.1 Predicate Logic: Symbols & Translation

Unit 3 Lecture 0:30:33

Unit 3 Lecture 8: Predicate Logic Derivations: Strategies

Reasoning & Logic 0:08:32

Reasoning & Logic - Translating to predicate logic

Introduction to First 0:05:20

Introduction to First Order Logic

2. Logic Lecture: 0:09:51

2. Logic Lecture: Introduction to Predicate Logic

Lecture: Unit 8 0:11:58

Lecture: Unit 8 Multi Place Derivations in PL

1.5.1 Predicate Logic 0:12:35

1.5.1 Predicate Logic 1: Video

Week 4 Open 2:21:31

Week 4 Open Session

5.8 Predicate Logic 0:07:55

5.8 Predicate Logic (part 8)

Discrete Structures [Lecture 0:07:05

Discrete Structures [Lecture 8 / Segment 2] - Predicate logic - Part 15/20

Discrete Structures [Lecture 0:13:15

Discrete Structures [Lecture 6 / Segment 4] - Predicate logic - Part 8/20

Predicate Logic, Quantifiers 0:21:24

Predicate Logic, Quantifiers and Examples (1/4)

5.4 Predicate Logic 0:04:45

5.4 Predicate Logic (part 4)

3b Predicate Logic 0:30:50

3b Predicate Logic

Translating ENGLISH into 0:26:04

Translating ENGLISH into PREDICATE LOGIC

3. Logic Lecture: 0:14:32

3. Logic Lecture: Introduction to Predicate Logic

Introduction to Logic 0:59:29

Introduction to Logic Online Course, Week 10: Predicate Logic Symbols & Translation

Discrete Structures [Lecture 0:07:46

Discrete Structures [Lecture 8 / Segment 4] - Predicate logic - Part 17/20

Predicate Logic 4: 0:29:52

Predicate Logic 4: Derivations

Math 225 -1.4 0:18:22

Math 225 -1.4 Predicate Logic

Lecture 3 Practice 0:46:08

Lecture 3 Practice Problems: Predicate Logic

Discrete Structures [Lecture 0:13:49

Discrete Structures [Lecture 8 / Segment 3] - Predicate logic - Part 16/20

5.2 Predicate logic 0:04:16

5.2 Predicate logic (part 2)

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

Thanks. Several logicians emphasize the importance of conditional proof, but a LOT of basic text books on logic don't teach it.

kkallebb
Автор

@kkallebb No problem. thanks for watching.

drjasonjcampbell
Автор

@soultorment27 ...good eye, brackets and parentheses...they're important ;-)

drjasonjcampbell
Автор

@gramo83 Ur absolutely right I forgot indirect proof. I did conditional but not IP and CP in the same video. I'll see what I can do.

drjasonjcampbell