4.5 Intro to Truth Trees

[@clarissa.m.guerra]

It took less than 20 minutes for me to understand what my logic professor has been expecting me to understand for over two weeks. Thank you so much!

[@michaelsjourney777]

Same here...

[@firdauschristopherlagaboro7250]

WOW THIS VIDEO IS 11 YEARS OLD! SUPER HELPFUL, THANKS!!!

[@mountbrocken]

I'm in a PhD program and I FINALLY understand truth trees. Thank you!

[@xXBenihimexX]

thank you so much! this is like finding water in a desert

[@yoteango]

It's 4 years later, but I have to agree. I got a problem that said "Show a resolution refutation proof tree" and had no idea what that was nor how to make it, and this was the best and only place that actually showed how to make one.

[@gatedscs]

Too late to snap back: I guess, you mean "thank you so much! this is like finding *oasis* " :D :D

[@nielssaavedra7851]

totally agree!

[@Paul-wy4rw]

this is literally the only good explanation for proof trees that I found and its honestly far better than my university lecture, thank you so much and greetings from germany!!!

[@_VISION.]

It's really fucked that most professors can't explain this shit to us.

[@peter4210]

4 years later and all the top videos on youtube are garbage except this one. Half of them have people filming their face more then doing any examples.

[@michaelsjourney777]

Wo studierst du ?

[@Paul-wy4rw]

hahah, dass das video nach 5 Jahren immernoch hilfreich ist für Leute @@michaelsjourney777 in Heidelberg

[@sacredbanana]

Now I can use truth trees to verify the validity of the argument that this video was better than my university lecture. Thank you.

[@hasantaz7832]

2021 and you are still saving people. Make more videos please love the way you explain

[@JJ-fb2lp]

Thank you so much taught a 4 weeks material in 20 minutes. Our prof has a tendency to teach assuming we all know these rules.

[@GLaDOShugger]

I'm in a symbolic logic class in university and really struggling, and this just explained things so much better than my professor or textbook

[@Youre]

SAME!

[@rapidreapa]

Thanks for this video. This is the only resource I have found on the internet that has enabled me to understand how truth trees work :)

[@waynesawe9729]

I've my exams tomorrow. Thank you.

[@Alex-ws7cs]

This is the 3rd video I watched and this one actually had me understanding truth trees at the end. Thank you!

[@patriziostompi1788]

im a philosophy student and i was struggling a lot with this topic, this video was extremely helpful! thank you so much :)

[@paulwilcox4564]

This video was very well organized, and I like how you explained the reasoning behind many of the moves and anticipated many of the possible confusions in the video. Thank you for this.

[@echessbee]

You smashed it mate! Surprisingly hard to find a good explanation of such a simple concept. Thanks!

[@benjaminamis4294]

I decided, for some ungodly reason, to take a six-week (online!) summer course for logic and I'm getting a bit overwhelmed. Your video was by FAR the most helpful and easy to follow. I just stumbled across it. You've got a like and subscribe for me. I just hope you have other videos that will help with the rest of my classwork! Going to look right now! Thank you!

[@nestorphoto]

wow I think I learned everything in 19 mins instead of a 2 hour class . thank you

[@jnd701]

I've been struggling to understand this topic and then I found this video. Thank you very much!

[@pauljackson2409]

Excellent. Just the right amount of detail.

[@ecay247]

Duuuude! Bless you soooooo much! I totally understood, crystal clear!

[@KaterynaMandarina]

Thank you so much! Your video is a life saver, the explanation is clear, short and so much more understandable than any other explanation I looked into. Thank you!!

[@Cowgirlyliz]

This is a great video! Really helped me understand, amazing teaching! Thank you!

[@gianfranco2101]

Finally a good and clear explanation...THANKS!

[@erikaviktor9024]

This was fantastic. Thank you for being clear, slow and concise!

[@richydubz4302]

Thanks dude, you explained this much better than my teacher.

[@khashayarr]

I'll personally be done with the course in 2 days but I found that there's a lack of instructions for truth tree tests of other sort. Like using a truth tree to test for truth-functional falsehood, tautologies, and truth-functional indeterminacy. Thanks for such a useful channel.

[@punkfacekilla7224]

Thank you for the video. It has been very helpful.

[@EpistemicPolymath]

Great video, loved the way you explained everything!

[@91lilfrozone23]

helping me study for my philosophy of logic final test, thanks a bunch buddy!

[@khashayarr]

Amazing way of going through the concept. Super clear. Thank you!

[@noemicee3]

Bless u for this!!! My teacher isn't too good at explaining :( u explained it great!

[@kimandreasheroy]

I'm so happy found this video :D

[@johnbradberry3830]

Just saved my Logic grade thanks mate!

[@NICOLEMENDEZ-cl7tx]

saved me for my quiz this monday!

[@erikasmith6668]

I agree with the other comments, this was very thorough crystal clear, and understandable, now just up to me to learn all the operations, haha... Thank you...

[@soumyaporel6955]

You sir are a life saver!

[@stevepontius1194]

thank you so much, very thorough and easy to understand!

[@bobbolusuackbar1667]

This video saves my ass in the upcoming exam, Thx!!!!!!

[@georgcantor7172]

Wow, crystal clear explanation for truth trees! :D I'm just wondering why couldn't the ~D in the trunk of the tree close off the D in the branch? In the final step, that branch of the tree was eventually closed off anyway. :/

[@jellologic]

Because the ~D in the trunk is not by itself, it's part of a longer formula. Imagine if the ~D in the trunk had been part of the formula Bv~D; in that case the tree would had at least one open branch.

[@georgcantor7172]

jellologic Thank you very much! You're very helpful! I wish all teachers/instructors were like you! :D

[@yourlord4107]

SLAY, great job!!! Now, even I understand:D ❤️

[@glthegamemaster4197]

Fantastic explanation, thank you.

[@huyphannguyen8747]

You are the best, sir!!!!!!!!!!

[@berargumen2390]

Thank you, this clear my confusion

[@gunnarK-j4w]

Finally a good explanation for how to do this

[@dwillisfan35]

Taught a semsters worth of work in 20 mins, amazing

[@CreatedbyLC]

Thanks man, great tutorial!

[@anangelsdiaries]

The way I like to see it, is an argument is true if it's a tautology. When I take the negation of the conclusion while keeping the rest the same, I am basically taking the negation of my argument. If all the branches at the end are dead, then I know the negation of my argument is a contradiction, hence it follows that the original proposition is always true. On the other hand, if there's even one branch that's open, it means the negation of the proposition can be true, ergo that the original proposition can be false.

[@jrchum]

"validity" here meaning specifically semantic entailment.

[@valentinaaomi555]

Watching this video to save myself from failing logic class

[@Renaevalenhart]

I wish you were my actual logic teacher

[@user-ew1ix1lx9p]

Great video 👍

[@nononnomonohjghdgdshrsrhsjgd]

I continue on listening to your video series. I have a general question. Are truth trees, truth tables and the proof method, explained in the videos from 1.1-3.10 substitutable methods for testing validity in propositional logic? I am listening to the playlist because concepts in logic (trees, tables, predicate logic, relations) are to some extend a building block in set theory, which on turn is necessary for measure theory, which is useful in integration in stochastic calculus, which in turn is necessary in financial valuation. I tried to skip lessons on logic, set and measure theory, but found it somewhat confounding, how stochastic calculus are applied in financial books without explanation in measure theory. I will be grateful, if you could answer to my question, this will save time to search more in internet. I thank you in advance!

[@weirongdeng9947]

this is very clear thank you!

[@mechelesmith7029]

You saved me! Thanks so much!

[@KaleidoArtspace]

i tried so many to understand it but couldnt, so thankkss alot :))

[@Myrslokstok]

Very good I like your videos. Is that a natural deduction as well or is that something else? The trees I got in my book is up side down and not as clear whats going on in them. They can prove stuff like (p->q) or (q->p) i do not get the hang on them. They seems to prove stuff without premisseses! But thanks again very helpful and well presented. Michael from Stockholm in Sweden

[@jacobhowie8514]

How the fuck did you just single-handedly save me from my test tomorrow

[@BlvdRoad]

WOW such a clear explanation

[@bikinicity]

Thank you sooooo much... my professor does not explain how it works friendly as you do...

[@georgcantor7172]

Who developed truth trees? does anyone know?

[@benl7060]

Really helps a lot！Thanks！

[@veaglethefirst]

Thanks Mate

[@shreyamishra9801]

super helpful. thanks

[@joshuadelorbe4444]

all teachers should teach like you, rather than trying to overcomplicate the subject as if we're spells

[@ow1ShinoXr]

God bless thee

[@Myrslokstok]

Very good tutorial!

[@grantboone3327]

So helpful!

[@KwabenaOpoku-rz8sd]

so so good. ty!

[@xiaotonghe6044]

Sooooooo helpful!!!!!!!!!!

[@KingKhan-vo4zg]

Do all logic teachers at university just suck? This video was very helpful.

[@elijahuy4597]

THANK YOU

[@tieganscott1986]

amazing!!

[@suguwus]

thanks!!!

[@ethicalhacker9720]

Thanks!

[@GrimRealen]

Thank you!

[@jimsonnevado9783]

can you teach us how those rules are made

[@jellologic]

The tree rules are a visual depiction of what makes a formula true according to the standard truth table for each connective. For instance, to make p&q true on the table both p and q have to be true. Therefore the tree rule for & stacks p and q on top of each other, basically asserting that they are both true. But pvq is true if either p or q is true, thus the tree rule for the wedge is a branch, exploring both possibilities. In short the tree rules decompose formulas in the ways that would make the components true according the table. I hope that helps.

[@69jalo]

It’s crazy our professor makes fun of us when we don’t understand what we’re saying. Then he tells other students to teach other, a student said why aren’t we getting paid it was so hilarious cuz it was true

[@Youre]

TY TY TY

[@fuzzycapone]

life safer!

[@idonders1726]

Legend

[@manipuriculturechannel]

😘😘😘😘

[@AndrewJDJepson]

i love you

[@GrlzzIy]

i love you