Symbolic Logic III: Conditional Proofs w/ 'Real World' Examples

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

Conditional Proofs in Propositional Logic are introduced in this video. We'll work through several examples, including ones in ordinary English, not just ones written in symbolic notations.

Note that this video is dedicated to studying the 1964 textbook "First Course in Mathematical Logic" by Patrick Suppes and Shirley Hill. It’s the easiest, simplest introduction to symbolic logic that I know of. It’s not only a mathematical textbook, it overlaps into the liberal arts with a strong focus on translating English propositions into the language of symbolic logic.

As an Amazon Associate I earn some money from qualifying purchases.
You can support my work by buying from Amazon. Thank you!

Amateur Logician Propositional Logic Tutorial:

Amateur Logician Trivium Logic Tutorial:

Amateur Logician

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

Комментарии

Question, which rules of inference are introduced up till that point? If you were using the Copi 19 rules, for example, there seems to be a proof of the textbook example that allegedly cannot be proven on p129. I just want to make sure there are limited rules up until the point that example is given. Using the Copi 19 rules I would not need conditional proof to get the desired conclusion.

roychess

Symbolic Logic III: Conditional Proofs w/ 'Real World' Examples

Symbolic Logic III: Conditional Proofs w/ 'Real World' Examples

Symbolic Logic 9: Conditional Proof

Logic 101 (#40): Conditional Proofs

Symbolic Logic III: Making Indirect Proofs (part a)

symbolic logic 10/14 (conditional proof, 7.4)

part -1.symbolic logic.conditional proof.

Conditional Proof with Assumption

Proofs in Symbolic Logic | Attic Philosophy

SYMBOLIC LOGIC II: CONDITIONAL PROOF. (Resolving arguments using conditional proof)

Logic Lesson 11: Nesting Conditional Proofs

Logic Lesson 13: Proving Distribution with Conditional Proof

[Logic] Proofs and Rules #1

Symbolic Logic 10: Indirect Proof

Logic Lesson 8: Introducing Conditional Proof

Logic Lesson 12: Proving Disjunctions with Conditional Proof

Conditional Proof - I

Logic & Philosophy 8: Conditional Proof

Propositional Logic, Proofs (Conditional introduction)

Symbolic Logic 2: Main Operator, Examples

Introduction to Logic Online Course, Week 13: Conditional Proof & Indirect Proof in Predicate Lo...

Conditional Statements: if p then q

Chapter 3 symbolic logic answers

Proofs with Rules of Inference 1 (Propositional Logic for Linguists 15)

Logic II Conditional Proof