INTRODUCTION to PROPOSITIONAL LOGIC - DISCRETE MATHEMATICS
Vložit
- čas přidán 19. 08. 2024
- Today we introduce propositional logic. We talk about what statements are and how we can determine truth values.
Looking for paid tutoring or online courses with practice exercises, text lectures, solutions, and exam practice? TrevTutor.com has you covered!
#DiscreteMath #Mathematics #Logic
Visit my website: bit.ly/1zBPlvm
Subscribe on CZcams: bit.ly/1vWiRxW
-Playlists-
Discrete Mathematics 1: • Discrete Math (Sets, L...
Discrete Mathematics 2: • Discrete Math (Countin...
-Recommended Textbooks-
Discrete and Combinatorial Mathematics (Grimaldi): amzn.to/2T0iC53
Discrete Mathematics (Johnsonbaugh): amzn.to/2Hh7H41
Discrete Mathematics and Its Applications (Rosen): amzn.to/3lUgrMI
Book of Proof (Hammack): amzn.to/35eEbVg
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. If something isn't quite clear or needs more explanation, I can easily make additional videos to satisfy your need for knowledge and understanding.
Check out my new course in Propositional Logic: trevtutor.com/p/master-discrete-mathematics-propositional-logic
It comes with video lectures, text lectures, practice problems, solutions, and a practice final exam!
If I pass my discrete mathematics course, it is because of a fellow student, you and William Spaniel, and not my university. Thank you for these videos :)
How did it go???
I Got 85% as a course grade. Thanks for asking :)
@@LewiUberg Damn.... congrats that's awesome! I have a quiz coming up tomorrow... so nervous xd
@@MehdiEm good luck 💪
@@LewiUberg Thanks!
Trevor explains so much better than my professor. He goes in details and his instruction is easy to follow.
"if james is not die" made me crack up completely, I need a break.
Seriously though, thank you for all these lessons. Shared them to my class and many are completely livid and now hopeful they might actually pass this course.
As soon as you said "if this stuff, then this stuff" I knew you were my new favorite math channel! Thanks for the content.
Fascinating how there is such a strong connection between philosophy, math and computer science. Never was good at math and computer science, but I’m an excellent philosophy student with logic. 🤦♂️
Computer science is applied math. Computer is literally derive from computare which means to calculate.
@@jeyz11245 very interesting
@@jeyz11245 I struggled but Ill still become a great Comp Scientist.
first few minutes in and I respect you more than my professor. he refuses to actually show examples when discussing these things.
I'm from Tanzania a new stydent in a data management, you guy is an amazing ☺️😊👍🏽👍🏽
I very rarely subscribe to people, but I saw what a great resource this was I wanted to, but when I went to click on the button to subscribe, it told me I had already subscribed!
DING! i love it when shit just makes sense! you are a good teacher! well done! you got my sub!
language!
@@creepetexploded8645 lol
Dude, I just started my Discrete math course. You’re going to be my favorite channel.
i love how "James dies" is written weirdly satisfying. especially the J and d
Fish are just humans without legs:)
This makes it look SO EASY. Thanks!
Great video, listening to someone explain this is much easier than reading the material...
I love CZcams and proper teaching. Thank you!
Hi Trev. Thank You for this very simple way of explaining Logic. God Bless.
This guy is going to help me pass my class because my professor isn't that good.
I love this video . This video has changed my view on propositional logic
You have really nice handwriting.
That is true
It is worth pointing out that the English sentence has another translation in which we have "(not p -> not q) and r". This is not the same sentence as " not p -> (not q and r)". An example that does not have this property could be: "If James does not die and Mary does not get any money then James' family will be happy. " now there is only one translation to our logical language.
Exam tomorrow. Your video helped so much. Thanks a bunch!
Thanks, bro It helped me a lot in my exam's.............. Love from India
Thank you for the explanation. Much better than my instructor.
This reminded me how much I love this class
Grand salute to you. Thanks. I am very bad at maths u help me
That was really nice tutorial. I was able to solve the last problem by myself. Thank you so much.
This helped so much. Thank you!
I am not there yet however, discrete mathematics is easy to understand, thank you for the explanation
Omg you're gonna help me so much, I'm a linguistics student and I had to take a math class bc I missed ects and my brain does not want to understand math but I just understood your video 😭
ITS 2020 and this was so helpful to me thanks
You said humans are “much more” than fish with legs, and I take exception to that! - Joe Bipedopesci.
When the first command that comes to your mind is, "Kick me!" XD
Explained way better than in college. Thanks
p: I see these videos.
q: I pass my DM test.
p->q is a WOOF!
pq is a crying wolf!
I am a commerce graduate and was struggling to understand this basic logic, this VDO is the best of all I watched. Needed conditional & biconditional Implication too. please suggest if that is in different Vdo.
at the end why not P is by it self and Q and R are inside the parenthesis?
00:12 📜 A statement in propositional logic is a declarative sentence that can be either true or false, with true represented as 1 and false as 0.
02:13 🅿 Propositions in logic are denoted with capital letters (e.g., P, Q, R), where P might represent "I cheated." Lowercase letters (e.g., p, q) are general propositions used for proofs.
03:04 ➕ Logical connectives, such as "not," "and," "or," and "if-then," can be applied to propositions to change or combine their meanings.
04:35 📝 It's essential to translate well-formed formulas into English. For example, "R and P arrow Q and S" translates to "If I write an exam and cheat, then I will get caught and fail."
06:58 🔄 Translating English into well-formed formulas involves identifying connectives. For instance, "If James does not die, then Mary will not get any money, and James's family will be happy" translates to "If not James dies, then not Mary gets money, and James's family will be happy."
09:46 ⚙ Ensure propositions are positive when defining keys; for example, use "James dies" as a proposition (P), not "James does not die," and then apply logical connectives accordingly.
10:45 📊 Understanding truth tables becomes clearer after grasping logical connectives; take time to go through examples and practice translating between English and well-formed formulas.
superb explanation 😊👍
Your handwriting is so satisfying
Thank you So much for this video. This video really helped me understand the concept. Thanks a ton!! Please keep on making videos.
For someone who likes precious metals like me, bullion logic is the best.
great explination! Not to fast, and you adress everything you're talking about.
Aaand another course .. you save me every time. big thank you
I am actually Moroccan but i really want to learn maths by English
I love your handwriting
You're my savior
*sews frog legs to a fish* behold, a man!
Alexander Marcello Rostirolla *Diogenes, holding a featherless biped, enters the chat*
for "Mary will not get money", weren't we supposed to add a quantifier? Thanks, and awesome video presentation btw
Thank you so much! You are amazing and explaining
Helped me alot thankyou for your effort....
Amazing video
better than my teacher and I m not even English!
Thank God...
I'm able to understand this translation...
It really works ❤❤❤
This was very helpful - thank YOU!
Wonderful explanations sir , love a lot❤
عز الله انك ماقصرت 😍😍
I thought the cardinality of 0 is 1, because the zero is still an element of a set? If there was no zero in the curly brackets then it'd be empty right? I'm going off your intro video to discrete maths here
Very helpful. Thank you!!
p -> q, if p then q, is that also can be said as "p implies q?"
Thanks a lot:) This is very useful for my Discrete mathematics course
short but very effective video 👏
Thank you for sharing your knowledge
Sometimes professors might use ~ for negation.
Thank you very much
Thank you very much for the amazing video. I have one question: in the sentence "If James does not die then Mary will not get any money and James' family will be happy", can we write it as (~P→~Q)^R?
Yeah that’s a fine interpretation because there are no disambiguating hints.
It helped me so much. Thanks!
Excellent explanation!
big thank you so much. that is very helpful ❤️
A LOT BETTER than the trashie explanation of freecode camp that girl has serious problems jeez
Well explained, thanks for this video.
Great video. I learned a lot!
I have this kind of doubt taking this course (Computer science) coz it has a logical calculation. Why I avoided math during my school journey, but something took me to this course. But maybe this is the time to Confront my fears
So, how it's going, I just started discrete mathematics this week and I'm really struggling hard tbh, also our professor doesn't explain good cuz I learned more by watching videos and reading from internet, she doesn't show simplified example, talk too fast that it's hard to write things down, erase whiteboard too early and then gives us tough questions to solve that just seems gibberish to me.
This is so helpful! Thank you :)
You are a Legend
Thank you sir, I found this video very useful
thank you so much
Lol @ the second example
Amazing stuff, thanks a lot for this video
What to remember, *Humans are just fish with legs*
Anyway great video!
Humans are Monke with extra steps
You're right. The statement "Humans are just fish with legs" is false. Fishes taste way better.
From India here 🇮🇳
The inflection on "with" at 1:07 made me question if I'm a fish without legs...
Sir thank you so much!
Holy actually helped
Such a great help, thanks 🙏
Yah it's help me alot this vedio logic ,my 2.3 bachelor of biostatistics
how to plot truth table 3 statements by bi condition
can you do a video on functional completeness
Oh you’re the best, could you suggest any book to accomplish this topic?
Trevvvvor my man
I am not a native English speaker.
Does it actually make no difference to say "James doesn't get ANY money" compared to "James doesn't get money"?
I would guess "any" makes the amount of money somewhat small or possibly insufficient.
Yooooo this really helps ❤️❤️❤️
really awesome
Why don't all the programming languages just adopt the mathematical syntax? This way it would be much easier to switch from JS to Python when required, for example.
Thanku sooooo much
That last one sounds horrific. 😭🗃️ Was the wife trying to get sone insurance money from James' death???
god bless your good soul
If u ever see this I need u to realize how many people like me u’ve saved. MILLIONS. ❤️❤️❤️❤️❤️
well explained
The negation operator looks like 7 when written by hand, making the expression look like scalar multiplication