For exercise on minute 36.26, I made it on both long and short truth table and it comes up to being valid. Where Professor Thorsby corrected himself, he was not wrong the first time for the Disjunction (~H v G). None of the False lines, 4 total, have all True premises.
I know you posted this years ago but I've been finding your videos very helpful as I'm taking Introduction to Logic. Thank you so much!! These help me understand so much! :-)
37:00 Yeah, the ‘H v G’s final value under the main operator in the final problem is still not correct. It should be T T T T F F T T, which makes the argument valid.
I'm so grateful for these videos. Thank you for taking the time to make these! I have watched a few other videos and none of them are even comparable to your videos. I really enjoy this class now that i understand it.
The last example has an error in getting the truth values for the disjunction. The argument is actually invalid. This said and done your videos are amazing and have given me great insight into the subject at no cost. Thanks a lot.
+aditya kumar The argument is valid. in (~H v G) The fifth and sixth line should have F values and the seventh and eighth line should have T values . Therefore the conclusion is not rendered invalid as he has shown.
Ok, at the 31:54 spot in the video, you have an exercise that seems confusing because everything is represented by K. K ⊃ ~K // ~K. I'm not sure which pattern of T or F for the K in the conclusion.
thank you for helping clear up the actual set up and finding invalidity. The textbook that I use for my class, Intro to logic 12e by irving M and copi Carl Cohen is absolutely terrible in the lack of explaining the why to each concept rather focusing on the whats. The text book you use, although different in set up of the truth table shows the steps clearly. Where my text book shows no steps on how to get the conclusion.
This is a very helpful explanation. The only question I have is, if a premise has more than one operator, how do I determine which one is the main operator?