Propositional Logic Truth Trees (and, or, not)
ฝัง
- เผยแพร่เมื่อ 25 ก.ค. 2024
- In this video on #Logic / #PhilosophicalLogic I introduce truth trees, inconsistent sets of wffs, and rules for disjunction, conjunction, and the negation. We talk about disjunction decomposition, conjunction decomposition, double negation, negated disjunction decomposition, and negated conjunction decomposition. Then, we do an example of a truth tree.
0:00 [Intro]
0:17 [What is a truth tree?]
2:51 [Rule: Conjunction Decomposition]
4:04 [Rule: Disjunction Decomposition]
5:02 [Rule: Double Negation]
5:20 [Rule: Negated Conjunction Decomposition]
7:39 [Rule: Negated Disjunction Decomposition]
8:47 [Inconsistency and Example #1]
10:51 [Example #2]
Follow along in the Logic playlist: • Logic in Philosophy an...
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.
This one took me a bit longer to fully grasp, a lot of rewinding but i figured out everything (hopefully) so looking forward to the excercises!
This is amazing!
I'm too dumb to get it.
@@jeremiahsilva7458 Wrong.
I don’t understand why we’re branching out from ~R, and also, why did we put P Q instead of P R in the branch? On top of that, I also don’t get why Q branches into P AND R!!
📝
Where is the solution video?
In our class we call the NCD and the NDD 'The Morgan'. I quite prefer that name over this spaghetti alternative xD
1) (P ∨ Q) ∧ (P ∨ R) ⇔ (P ∨ Q) ∧ ~(~P ∧ ~R) ... De Morgans
∴ (P ∨ Q) and ~(~P ∧ ~R) ... ∧ deconstruction
2) (~P ∧ ~R)
From 1 and 2
~(~P ∧ ~R) is TRUE and (~P ∧ ~R) is TRUE ... this is a contradiction
∴ 1 and 2 are NOT consistent.