VALIDITY and ENTAILMENT in Truth Trees for Predicate Logic - Logic
ฝัง
- เผยแพร่เมื่อ 25 ก.ค. 2024
- In this video on Logic, we look at entailment and validity in truth trees for predicate logic. We learn how to do negated universal decomposition, negated existential decomposition, universal elimination, and existential elimination. We then do three practice truth trees.
0:00 - [Validity and Entailment]
2:05 - [Tree #1]
7:42 - [Tree #2]
12:27 - [Tree #3]
#PredicateLogic #TruthTrees #LogicTrees
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.
Special Thanks to the following incredible supporters for supporting the channel and making these videos possible!
- Nikita Tsyganov
I wish I had a teacher like you!.. Probably, all your students adore you, doesn't it?
They're back! And making quality content as always.
Thanks you've helped us a lot
Father of Pradicate Logic without a doubt
I'm literally studying THIS EXACT SUBJECT right now!!! 🤯🤯
Awesome video, Noticed very good writing software here, can you please let us know how you make the videos, with list of software and hardware as well. thank you
Yessss!!
What about "Mb" on left and "Jaa" on right in 12:00?
How I never learnt this before
On the last example, I want to propose an interpretation showing that:
∀x∀y(Lxy → Kxy) does not entail ∀x∀y(Lxy → (Kxy ∧ Kyx)).
Let Lab be true.
Let Kab be true.
Let Kba be false.
This falsifies ∀x∀y(Lxy → (Kxy ∧ Kyx)) .
But does not falsify ∀x∀y(Lxy → Kxy) .
(I use less parentheses than in the video.)