Studying Predicate Logic with Textbook...

preview_player
Показать описание
Buy The Amateur Logician a Cup of Coffee:
You can support my work this way. Thank you!

Join us as we study "First Course in Mathematical Logic" by Patrick Suppes and Shirley Hill. There will be a lot of "Bonus Videos" to get a more complete understanding of Predicate Logic. We'll study Rules of Inference, Propositions with Multiple Quantifiers, Invalidity in Predicate Logic, Identity, and More!

As an Amazon Associate I earn some money from qualifying purchases.

Feel Free to Leave A Comment!
  1. Amateur Logician
Рекомендации по теме
Studying Predicate Logic 0:03:17

Studying Predicate Logic with Textbook...

Next Step in 0:02:58

Next Step in Self-Studying Symbolic Logic

Textbook to Master 0:07:11

Textbook to Master Introductory Logic

Completing Logic Book; 0:02:31

Completing Logic Book; Future of Channel

Discrete Math - 1:34:50

Discrete Math - Review of Propositional Logic & Predicate Logic

Symbolic Logic V: 0:26:10

Symbolic Logic V: Quantifiers & Predicates

Easiest Book on 0:05:32

Easiest Book on Symbolic Logic

Predicates and Quantifiers 0:21:36

Predicates and Quantifiers

Symbolic Logic V: 0:15:56

Symbolic Logic V: Predicate Logic Textbook Exam

Textbook to MASTER 0:05:50

Textbook to MASTER Applying Logic

Translating ENGLISH into 0:26:04

Translating ENGLISH into PREDICATE LOGIC

Predicate Logic 0:08:27

Predicate Logic

PREDICATE LOGIC and 0:15:08

PREDICATE LOGIC and QUANTIFIER NEGATION - DISCRETE MATHEMATICS

8.2.1 Intro to 0:09:49

8.2.1 Intro to Predicate Logic

Reasoning & Logic 0:08:32

Reasoning & Logic - Translating to predicate logic

Symbolic Logic V: 0:14:23

Symbolic Logic V: Basic Formulas in Predicate Logic

BLOGIC: natural deduction 0:01:22

BLOGIC: natural deduction for predicate logic (https://learn-logic.org/Logic/)

Predicate Logic 0:15:17

Predicate Logic

Symbolic logic 10/21 1:21:39

Symbolic logic 10/21 (intro to predicate logic)

Logic Book on 0:07:57

Logic Book on Informal Arguments

Predicate Logic 0:26:05

Predicate Logic

Lecture 1 (Computation 2:17:05

Lecture 1 (Computation Theory) Propositional and Predicate Logic

Proof in predicate 0:17:13

Proof in predicate logic 6: Working through some proofs

SEM122 - Predicate 0:15:28

SEM122 - Predicate Logic I

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

@0:09 I also mispronounced it. I had no idea.

codework-vber
Автор

I think this is a great outline I feel it covers all of it. It has a nice emphasis on how things become more complicated by adding on more term/variable into the predicate formula.

Since you cover all of it, then maybe you can simply add more detail. For example, identity lets you represent numerical predicates: "There is at least n ..."; "There is at most n ..."; and "There is exactly n ...". Its mentioned here:

codework-vber