Syntax of PREDICATE LOGIC and WELL-FORMED FORMULAS (wffs) - Logic
ฝัง
- เผยแพร่เมื่อ 25 ก.ค. 2024
- In this video on #Logic / #PhilosophicalLogic we take a look at the requirements of well-formed formulas (wffs) in predicate logic and why we need predicate logic for stronger arguments. Then we do some practice questions.
0:00 - [Intro]
0:19 - [Why We Use Predicate Logic]
3:23 - [Syntax of Predicate Logic]
6:23 - [Creating Well-Formed Formulas]
8:35 - [Exercise: Which are Wffs?]
Follow along in the Logic playlist: • Logic in Philosophy an...
#PredicateLogic
If you want to support the channel, hit the "JOIN" button above and pick a channel subscription that suits your needs: / @trevtutor
Patreon: bit.ly/2EUdAl3
Website: TrevTutor.com
Subscribe: bit.ly/1vWiRxW
Facebook: on. 1vWwDRc
-Playlists-
Logic: • Logic in Philosophy an...
-Recommended Textbooks-
The Logic Book: amzn.to/31h2qR8
Modal Logic for Philosophers (Garson): amzn.to/3dECGn4
A Friendly Introduction to Mathematical Logic: amzn.to/37hMYZa
An introduction to Formal Logic with Philosophical Applications: amzn.to/3j3J9sx
Hello, welcome to TheTrevTutor. I'm here to help you learn your college courses in an easy, efficient manner. If you like what you see, feel free to subscribe and follow me for updates. If you have any questions, leave them below. I try to answer as many questions as possible.
Special Thanks to the following incredible supporters for supporting the channel and making these videos possible!
- Nikita Tsyganov
I just found your channel and it is awesome! Please know that your work is very much appreciated!
Thank you so much! Very helpful :)
Thank you so much!
thanks! really helpful
Thank you 🙏
Video on sentential logic ?
👍🏻👍🏻
00:02 Predicate logic allows for more powerful expressions than propositional logic
01:49 Predicate logic helps symbolize and connect multiple related sentences.
03:22 Predicate logic syntax includes predicates, terms, and constants/variables.
05:05 Using variables with quantifiers for general statements
06:50 Introduction to new rules in predicate logic
08:23 Predicates combine with terms to form well-formed formulas.
10:07 Understanding predicate logic and well-formed formulas
11:39 Well-formed formulas in predicate logic
Aum