Chapter 0: [Propositional Logic] Proof Techniques (Logic - Section 7, Example 4)

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

In this video I provide an example for OR (disjunction).

(Materials and examples in this lecture are borrowed from the following textbook: “A Concise Introduction to Logic” by Craig DeLancey (Open SUNY Textbooks). Please consult this brilliant, open access book, which is available online, for more detailed discussion.)

selcuk ozyurt

Рекомендации по теме

Комментарии

Dear Professor Ozyurt,

Thanks for your lecture. However, I have two questions for this example

(1) How do you directly find we need to prove a new conclusion? It's a little sudden.

(2) In the second assumption for indirect derivation, we assume not P because we need to prove P. However, we can use a similar trick to prove not P with assumption P.

Sorry the question seems confused, the main problem is how we directly think of proving P as sub-conclusion.

gongyu

Chapter 0: [Propositional Logic] Proof Techniques (Logic - Section 7, Example 4)

Chapter 0: [Propositional Logic] Proof Techniques(Examples: Part 1)

Chapter 0: [Propositional Logic] Proof Techniques (Logic - Section 5)

Chapter 0: [Propositional Logic] Proof Techniques (Examples)

Chapter 0: [Propositional Logic] Proof Techniques (Examples: Part 1)

Chapter 0: [Propositional Logic] Proof Techniques (Logic - Section 1)

Chapter 0: [Propositional Logic] Proof Techniques (Logic - Section 5 - Theorems, Example 2)

Chapter 0: [Propositional Logic] Proof Techniques (Logic - Section 5 - Theorems)

Chapter 0: [Propositional Logic] Proof Techniques (Logic - Section 3)

Chapter 0: [Propositional Logic] Proof Techniques (Logic - Section 2)

Chapter 0: [Propositional Logic] Proof Techniques (Logic - Section 6)

Chapter 0: [Propositional Logic] Proof Techniques (Logic - Section 4)

Chapter 0: [Propositional Logic] Proof Techniques (Logic - Section 7)

Chapter 0: [Propositional Logic] Proof Techniques (Logic - Section 5, Example 2)

Chapter 0: [Propositional Logic] Proof Techniques (Examples: Part 2)

Chapter 0: [Propositional Logic] Proof Techniques (Logic - Section 2, Example 3)

Chapter 0: [Propositional Logic] Proof Techniques (Logic - Section 8)

Chapter 0: [Propositional Logic] Proof Techniques (Logic - Section 8, Example 2)

Chapter 0: [Propositional Logic] Proof Techniques (Logic- Section 2, Example 2)

Chapter 0: [Propositional Logic] Proof Techniques (Examples: Part 3)

Chapter 0: [Propositional Logic] Proof Techniques (Logic - Section 4, Example 2)

Chapter 0: [Propositional Logic] Proof Techniques (Logic - Section 7, Example 2)

Chapter 0: [Propositional Logic] Proof Techniques (Logic - Section 2, Example 4)

Chapter 0: [Propositional Logic] Proof Techniques (Examples: Part 2)

Chapter 0: [Propositional Logic] Proof Techniques (Logic - Section 6, Example 2)