LOGIC LAWS - DISCRETE MATHEMATICS

  Рет қаралды 438,922

TrevTutor

TrevTutor

Күн бұрын

Пікірлер: 216
@Trevtutor
@Trevtutor Жыл бұрын
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!
@byunbaekhyun4010
@byunbaekhyun4010 6 жыл бұрын
Schools definitely forget the importance of hiring good teachers. Give your students AT THE VERY LEAST a good math teacher. My professor literally just showed us slides with all the laws and then gave us statements telling us to solve them. When we asked how it was supposed to be done, he said to only look at the laws and then for sure we'd get it. We didn't even know what the laws meant. He could solve the problems, but COULD NOT tell us how. Considering the fact that he was pretty young, it sucks having to fill in his gaps. He just couldn't tell what the laws meant, he literally just told us to LOOK. Seems pretty petty this comment, but it frustrates me so much how I've learned more in the 15 minutes it took me to watch this video, than the 4 hours we've spent with him. Thank you for this video~
@michaelcdarby
@michaelcdarby 6 жыл бұрын
Byun Baekhyun I know your pain man
@lucas_gane
@lucas_gane 6 жыл бұрын
North American education system is very flawed, their goal is only to get money from students and many professors do not care as well.
@azforthlol
@azforthlol 5 жыл бұрын
That's the classic maths teacher mistake. Many gifted mathematicians think in an extremely visual way, but they are horrible at expressing that understanding as language. Trev is an excellent tutor because he clearly understands the relationship between raw visual data and language very well, evidenced by the linguistics courses on this channel.
@meowmix-t7n
@meowmix-t7n 5 жыл бұрын
As a self-centered former philosophy major, I will say that we don't put a lot of importance on philosophy as a country. I always assumed myself to be terrible at math, and then I was required to talk formal logic to get my degree. I almost dropped the second degree because I was TERRIFIED of this class. Ended up with a 106 on the final and a predilection for programming. It's amazing. Not everyone learns the same and because you might struggle with math, it doesn't mean you struggle with logic.
@Jakob-Odman
@Jakob-Odman 5 жыл бұрын
Sadly this is the exact same reason im watching this video.
@swag-yw7ut
@swag-yw7ut 4 жыл бұрын
my professor took a whole week in total to explain all of this and I couldn't comprehend it at all. This man just took 15 minutes to get through all of the laws and made me fully capable to solve any logic laws questions I come across. You are a lifesaver, TrevTutor.
@محمد-م5ث1ش
@محمد-م5ث1ش 3 жыл бұрын
Actually, When I saw that the video is just 15 minutes, I had a feeling that it's not complete
@bryllpadasas5618
@bryllpadasas5618 2 жыл бұрын
Probably, our brains are haven't fully developed that time.. 😂 My professor left an assignment that he hasn't discussed yet. That's why I am here and I am so glad that it's easy to understand. 😁
@moonlover2022
@moonlover2022 2 жыл бұрын
If he would teach you this in 15 minutes, would not you report him, since you are paying lots of money to university. Hey mate, don't compare uni vs youtube.
@ua2894
@ua2894 11 ай бұрын
maybe the cute girl sitting 2 seats away was too much of a distraction?
@ua2894
@ua2894 11 ай бұрын
@@bryllpadasas5618 or there were better things to care about than logic laws (and of course there are!)
@tylorg7971
@tylorg7971 7 жыл бұрын
These are the best Discrete Math videos I have ever come across.
@burakbeyy216
@burakbeyy216 2 жыл бұрын
... I have ever came across.
@byunbaekhyun4010
@byunbaekhyun4010 6 жыл бұрын
oh my god i'm actually learning.
@pink221
@pink221 3 жыл бұрын
Your teaching is incredible! So far just from these videos alone I have learned all about Truth Tables, Set Theory and Propositional Logic in just a couple of weeks. Straight to the point without jargon and easy to follow. I'm sure others agree :)
@mustafamalik4211
@mustafamalik4211 4 жыл бұрын
The distributive law example with 3x(2+1) was genius. I am able to remember it now. Thanks!
@zacharychapman3732
@zacharychapman3732 7 жыл бұрын
Thank you so much. I’m taking an online class with no lecture, just a textbook, and it does not explain these things clearly at all. You helped so much. I’ll be back to watch the rest of these I’m sure!
@SpookyCatto
@SpookyCatto 2 жыл бұрын
Starting my first sem of CS, he explained it better in 15 mins than my lecturer in 2 hours
@samk1267
@samk1267 5 жыл бұрын
honestly I thought i'd never understand logics but thanks to you i'm so confident now.God bless!
@dresscheme2940
@dresscheme2940 Жыл бұрын
Jesus Christ man you're a lifesaver. I couldn't understand other people's shenanigans, this is my 8th video regarding this topic and I have my exams in the next 2 days. Thank you so much
@jepale2
@jepale2 4 жыл бұрын
Holy crap dude. you really made it simple, I just learned so much more than i expected to watching this video. Your teaching style is great
@rubendias6241
@rubendias6241 6 жыл бұрын
Damn, its crazy how I was trying to learn this for so long, and now I just learned how the rules work in 15 minutes. I'm starting to like math.
@OhDoze
@OhDoze Жыл бұрын
I may have had to watch this video 10x....HOWEVER, it is finally coming together. One step at a time. Thank you!! -Visual Learner
@alfarq
@alfarq 7 жыл бұрын
Dude, thanks alot. You gave me the ability to succesfully use these laws.
@rownitasheikh8343
@rownitasheikh8343 6 жыл бұрын
Almighty GOD has given you the ability. TheTrevTutor just helped you.
@aishamanuel6410
@aishamanuel6410 5 жыл бұрын
ROWNITA SHEIKH I agree. ❤️
@LeFARaJ
@LeFARaJ 5 жыл бұрын
@@rownitasheikh8343 Nope , God doesn't exist ; he's as useful as a genie , therefor thanks should go to Trev-Tutor for helping this lad understand math let's give thanks to people who deserves it instead of imaginary monster who caused hatred and thousands of years of blood shedding .
@abdifatahmoh
@abdifatahmoh 3 жыл бұрын
@@LeFARaJ If God doesn't exist then your mind and soul doesn't exist too. Get immediate help and educate yourself.
@deadmanlive6961
@deadmanlive6961 3 жыл бұрын
@@abdifatahmoh lol your ollha and mohammd shout go seek help
@KuronoKengou
@KuronoKengou 5 жыл бұрын
I have exams tomorrow and you have just saved my midterms. Thank you that was very helpful!
@lila6120
@lila6120 3 жыл бұрын
I and my inability to focus on anything for more than 20 min thank you for this. No, really, I'm glad I can still learn things even if my depression-induced mental block makes me lose it in class, stare blankly, panic... Just... thanks. I really appreciate it, dude.
@kheireddinejardaly6277
@kheireddinejardaly6277 5 жыл бұрын
You LITERALLY saved me and my gpa
@shadowfantasiesf8556
@shadowfantasiesf8556 2 жыл бұрын
It's very impressive how the prove of a rule combines every rule shown before.
@jamesnowitzki9930
@jamesnowitzki9930 2 жыл бұрын
Thank you so much man !!!!!! i thought i will not ever understand my class lecture but thanks to you i can understand them now ! i thought i cant learn my current class lecture because im not good at mathematics in preschool and highschool. I'm in college now and i'm really interested in math because of you ! i didnt know that it feels so good learning something math related. Thank you
@thedeathofbirth0763
@thedeathofbirth0763 Жыл бұрын
Those who know do, but those who understand teach. Trev , you are an awesome prof! Can you do a master class for my teachers on how to teach?!
@ntgc-tv
@ntgc-tv 5 жыл бұрын
TheTrevTutor you are indeed the savior... Am just still wondering why some teachers will simply complicate topics and subject to make them so scary and frustrating to understand... Million thanks to KZbin and TheTrevTutor
@arshiagholami2406
@arshiagholami2406 4 жыл бұрын
I thought this topic would never be interesting, you proved me wrong. for the first time I'm actually enjoy learning logic
@SahilKhan-zp4om
@SahilKhan-zp4om 4 жыл бұрын
Best video on the internet on logic laws
@Zs_ho
@Zs_ho Жыл бұрын
thank god I have watched your videos and I am getting better understanding about this logics of law. It is so much better than my lecturer who is trying to explain in class for 1 hour and 30 minutes and he also cannot understand what he is talking about, and his handwriting skill is so messy until I cannot even know what he is writing. Anyway, thank you for coming out these kind of videos!!
@walanjo3818
@walanjo3818 5 жыл бұрын
imma need to binge watch this playlist. we had 2 seatworks and i'm pretty sure i got both 0. your videos are absolutely helpful so thanks. keep making
@aboutthereality179
@aboutthereality179 6 жыл бұрын
Hi There. Thank You Trev for the patience in explaining clearly and step by step this simplification of formulas. God Bless.
@vinaychaitanya1960
@vinaychaitanya1960 7 жыл бұрын
It’s just becoz of u. I cleared my discrete math paper . Thanks a lot n I owe u .
@Goldenrose137
@Goldenrose137 11 ай бұрын
I’ve been having problems with these rules since the start of my lectures in university I said to myself it’s literally impossible for me to ever understand it but here you explained it well in only 16 minutes thanks man your a hero
@christopherlugod9022
@christopherlugod9022 5 жыл бұрын
This man is better than my discrete prof.
@dabarago
@dabarago 14 күн бұрын
easily the best video I've watched on logic laws in discrete maths. Thank you.
@it4773
@it4773 4 жыл бұрын
I am an engineering student from India.It help me a lot thanks for this
@andytheodorko9874
@andytheodorko9874 3 жыл бұрын
11:46 I like the analytical explanation for conditional law better than when you drew a truth table for not p or q 12:40
@haytamdasavage6038
@haytamdasavage6038 3 жыл бұрын
Best 15mins I’ve spend wow thanks
@PremiumHowTo
@PremiumHowTo 4 жыл бұрын
You literally taught me more in 3 minutes than an entire month of my professor holding classes
@whitest_kyle
@whitest_kyle 3 жыл бұрын
Thank you for saving my grade!!! My teacher is literally useless and this is so much better.
@hamdikelil939
@hamdikelil939 3 жыл бұрын
The best teacher I have ever seen
@rownitasheikh8343
@rownitasheikh8343 6 жыл бұрын
The second distributive law does not follow the arithmetic operations .a+(b*c) is not equal to (a+b)*(a+c)
@TheKashiraderKashiraHanazumu1
@TheKashiraderKashiraHanazumu1 3 жыл бұрын
Thank you so much for this. It really helped clear my confusion. I am really impressed with what I've learned in such a short time rather than three hours of fast discussions in class, leading to information overload.
@محمد-م5ث1ش
@محمد-م5ث1ش 3 жыл бұрын
Strongly Agree!!
@madboii_0173
@madboii_0173 2 жыл бұрын
i have my exams at 9 : 00 am and im watching this videos at 6:00 am thank you its so easy to understand now
@Dare24
@Dare24 3 жыл бұрын
Thank you from the bottom of my heart for this.
@Revanth292000
@Revanth292000 5 жыл бұрын
At 9:51, when you use the absorption law on the right side logic, why's it p? Why couldn't it be (P and Q)?
@howchen8529
@howchen8529 5 жыл бұрын
Very helpful and clear Exactly my pace
@meirbookatz8304
@meirbookatz8304 4 жыл бұрын
Trevor at 8:20 with the absorption law is it only when the ^/v symbols are different inside and outside the brackets? or does it absorb for any combinations of and / or?
@harrypotter311
@harrypotter311 4 жыл бұрын
I study math in French language.. But I'm here to understand.. This Really helped me tnx
@محمد-م5ث1ش
@محمد-م5ث1ش 3 жыл бұрын
I love how you make things easy
@sarkersaadahmed
@sarkersaadahmed Жыл бұрын
2:28 can we use universal bound laws
@bogartklebitz2872
@bogartklebitz2872 5 жыл бұрын
Subs for you men this subject fucks me up i cant understand what's my teacher is explaining but with your video i can understand it more
@t0khyo
@t0khyo 3 жыл бұрын
literally you are my hero thank you for that awesome course ❤️
@bryllpadasas5618
@bryllpadasas5618 2 жыл бұрын
As a college student I love the perspective of having a self study. But because of this, some teachers are seem so lazy to teach or discuss their lessons. Lucky to those who are resourceful.
@henryzt
@henryzt 6 жыл бұрын
THIS IS MUCH BETTER THAN UCL'S LOGIC TEACHER
@pelayotejucacalle742
@pelayotejucacalle742 2 жыл бұрын
No complaints about your teaching, it’s superb, but I recommend adding timestamps for the sake of practicality.
@thegalacticgamer4592
@thegalacticgamer4592 5 жыл бұрын
In logic statements where you have to determine whether or not something is true, what does "such that" and "one has" mean and what's the difference between them?
@folicreppy5592
@folicreppy5592 2 жыл бұрын
This is a fantastic breakdown. Thank you very much!
@ericfricke4512
@ericfricke4512 4 жыл бұрын
Discrete math is just a really convoluted way of describing common sense.
@Crazy.Kart.Farmer
@Crazy.Kart.Farmer 4 жыл бұрын
Trevor can you apply to my university and become my maths teacher. Honestly, you are so good.
@Trevtutor
@Trevtutor 4 жыл бұрын
I wish. 😭
@charlottewukpo6931
@charlottewukpo6931 3 жыл бұрын
Thanks for the vivid explanation
@meathead1469
@meathead1469 2 жыл бұрын
13:57 Hey, why did you use distributive law instead of abosportion law? Diffeences between distributive and abosrtion is: the values withn the distributive is different but the values within the abortion is the same as the outside value
@johnl.5604
@johnl.5604 6 жыл бұрын
loved every second of this video! subscribed
@calebmwaura8631
@calebmwaura8631 5 жыл бұрын
you are the best buddy.......thumbs up for yah.....you are making my forensics class lovable.....
@minkihairoil
@minkihairoil 3 жыл бұрын
GREAT video. you're an awesome teacher!
@ulysses_grant
@ulysses_grant Жыл бұрын
Thank you so much professor Trev!! I'm putting my efforts in learning logic, and it's proving to me that I need to study my ass out to figure that out... Could you please point out the main differences between Rosen's and Grimaldi's books on Discrete Maths? Thank you again!
@moumitasaha1172
@moumitasaha1172 3 жыл бұрын
Thankyou for this amazing explanation and questions solved ❤
@zaylo9273
@zaylo9273 4 жыл бұрын
By the way, do we put or the triple line while writing the laws?
@anzefajfar3072
@anzefajfar3072 6 жыл бұрын
why did the brackets stay in the last case? Doesn't de morgans law remove brackets? So after that you get: not p or not q and q, but then and needs to be resolved first, which means ~ not p or 0
@juancaos01
@juancaos01 4 жыл бұрын
Thanks a lot for it, I am understanding everything
@TheBladeofMiquella
@TheBladeofMiquella 7 жыл бұрын
You are a life saver, these videos are great, thank you!
@carment5567
@carment5567 6 жыл бұрын
Trev could you please make a video explaining the DPLL procedure/algorithm in logic for satisfiability??? I'm really having issues trying to understand it and I cannot find any decent video that makes it simple enough to understand... I would really appreciate it and I'm sure tons of other people would as well.. Thank you in advance I hope you receive this comment!!!
@sahilpatel0701
@sahilpatel0701 9 ай бұрын
Amazing video, I cannot thank you enough!
@user-gm3lg8gp3m
@user-gm3lg8gp3m 4 жыл бұрын
This is very clear, thanks a lot!!
@earnestketelo8712
@earnestketelo8712 4 жыл бұрын
You are the best. love your videos.
@darklight8774
@darklight8774 4 ай бұрын
They should teach this in high school, it would be so useful
@selfhealer6339
@selfhealer6339 4 жыл бұрын
I actually understand this now/ THANK YOU
@bluegiant13
@bluegiant13 6 жыл бұрын
I did the second one a little bit differently: ~(~p^q) ~~(pvq) .DeMorgan's Law pvq .Double Negation Is this still legit? Or do the laws go only one way?
@annguyent12
@annguyent12 2 ай бұрын
you literally save my life man
@glutachi_6621
@glutachi_6621 6 жыл бұрын
Great explanation! Thanks a lot.
@virajrana7398
@virajrana7398 7 жыл бұрын
Hey Trev Tutor! Why do you use 1’s to represent True and 0’s to represent False. Isn’t that a membership table? Truth tables have T’s and F’s?
@Trevtutor
@Trevtutor 7 жыл бұрын
It's common for truth tables to use binary notation instead of T/F outside beginner philosophical logic.
@nizamyu8181
@nizamyu8181 Жыл бұрын
yoo are amazing thanks sirrrrr🙏🙏🙏🙏🙏🙏
@AlexanderMcNulty92
@AlexanderMcNulty92 6 жыл бұрын
I am sad. Good content but I have not been taught the same law names. Can't use this to cram :(
@oldmate4140
@oldmate4140 7 жыл бұрын
best video so far!
@phamvankhoa6117
@phamvankhoa6117 6 жыл бұрын
You save me... Thank you so muchhh
@selviaanggun4278
@selviaanggun4278 6 жыл бұрын
Thanks a lot. Really helpful
@ganiu2894
@ganiu2894 4 жыл бұрын
when making or creating a truth table how to we set the 1 and 0 like 1100 or 1010 or 1001 or 1110 something like that.
@gajananlapalkar4949
@gajananlapalkar4949 4 жыл бұрын
0000, 0001, 0010, 0011, 0100, 0101, 0110, 0111, 1000, 1001, 1010, 1011, 1100, 1101, 1110, 1111
@abdulwahabkhan5260
@abdulwahabkhan5260 3 жыл бұрын
You are the BEST thanks mannn
@thisisblain
@thisisblain 2 жыл бұрын
This man deserves my college tuition
@rainchai851
@rainchai851 5 жыл бұрын
not( p ^ q) ^ q is (not p v not q) ^ q right is it logical to move the bracket so that not p v (not q ^ q ) ? and since not q ^ q always return F hence: not p v F, which is not p. but but the answer in the video is not p ^ q help!
@gravityhamster8805
@gravityhamster8805 2 жыл бұрын
Why is it that in DeMorgan's law you distribute the NEGATION but then you have to flip AND to OR and vice-versa, but when you use the distribute law you don't have to flip AND to OR and vice-versa?
@yusufcaglar99
@yusufcaglar99 5 жыл бұрын
thank you so much such a great education video luv ya
@atomiccoding
@atomiccoding 6 жыл бұрын
I would like to ask one question though it may sound silly " Is this course applicable to computer science?" as i am studying computer science, I would like to know. Thanks in advance.
@maxjohnson8885
@maxjohnson8885 5 жыл бұрын
this course is probably required if you're studying cs
@alimz3134
@alimz3134 3 жыл бұрын
would q and q equal to q?
@CT-ye5gk
@CT-ye5gk 4 жыл бұрын
More detailed lessons than my actual teacher
@johnnynguyen4134
@johnnynguyen4134 3 жыл бұрын
Thank you sir
@BCMCHINNI
@BCMCHINNI 6 жыл бұрын
Okay this might sound dumb.. the format for identity law and domination was d same. How do we differentiate which to use when solving a problem.
@IvanKleshnin
@IvanKleshnin 6 жыл бұрын
Format is the same but operations and value pairs are different. Those laws are so obvious they don't even need names. If you have troubles with them - you probably need to review conjunction and disjunction lectures.
@rownitasheikh8343
@rownitasheikh8343 6 жыл бұрын
p ^ T is equivent to p . just like in bit operations 0*1=0. p v F is equivalent to p. just like 1+0=1. p v T is equivalent to T. just like 1+1=1 or 0+1=1. p^F is equivalent to F.just like 1*0=0 or 0*0=0.
@-a5624
@-a5624 5 жыл бұрын
Thank you so much!
@oshawastaken
@oshawastaken 4 жыл бұрын
Bro I love you... midterms next week and im pissing my pants
@Mujahed.
@Mujahed. 4 жыл бұрын
How did you do? My midterm is after 9 hours and I'm so freaking scared lol
@IOANNISTAVLIKOS
@IOANNISTAVLIKOS 6 ай бұрын
@@Mujahed. How did you do?😂
@Mujahed.
@Mujahed. 6 ай бұрын
@@IOANNISTAVLIKOS honestly I have failed that semester but passed it afterwards. it really depends on the professor and how he bounce the average.
@andreagasi1672
@andreagasi1672 6 жыл бұрын
thank you very much
@Makwaje
@Makwaje 3 жыл бұрын
YOU ARE THE BEST!
@rainermayagma1778
@rainermayagma1778 3 жыл бұрын
~(~P)→ (P v (P^R)) 1. P → (P v (P^R)) Double Negation 2. P → P Absorption Is this right?
@shadowfantasiesf8556
@shadowfantasiesf8556 2 жыл бұрын
I don't really get why you (this field I guess) uses arrows as = It's the complete same right?
@roselearnstocode
@roselearnstocode Жыл бұрын
It's not "equal to" (=), it's "if and only if", which is represented by the ⟺ (arrow) symbol.
@taesang5664
@taesang5664 6 жыл бұрын
i have a question. if i get (-p ^ -p), is that equal to p?
@dullasado
@dullasado 5 жыл бұрын
Yes as -2×-2=2
@gajananlapalkar4949
@gajananlapalkar4949 4 жыл бұрын
-p, because A and A is A
[Discrete Mathematics] Logic Laws Examples
8:02
TrevTutor
Рет қаралды 140 М.
TRUTH TABLES - DISCRETE MATHEMATICS
11:12
TrevTutor
Рет қаралды 401 М.
Правильный подход к детям
00:18
Beatrise
Рет қаралды 11 МЛН
Propositional Logic: The Complete Crash Course
53:48
TrevTutor
Рет қаралды 94 М.
How to do a PROOF in SET THEORY - Discrete Mathematics
16:30
TrevTutor
Рет қаралды 258 М.
Boolean Algebra in 13 Minutes
12:57
TrevTutor
Рет қаралды 93 М.
3 Ways to Show a Logical Equivalence | Ex: DeMorgan's Laws
5:29
Dr. Trefor Bazett
Рет қаралды 182 М.
INTRODUCTION to PROPOSITIONAL LOGIC - DISCRETE MATHEMATICS
11:02
RULES of INFERENCE - DISCRETE MATHEMATICS
12:59
TrevTutor
Рет қаралды 611 М.
Discrete Math Proofs in 22 Minutes (5 Types, 9 Examples)
22:09
Prove Logical Equivalence Using Laws
5:18
randerson112358
Рет қаралды 151 М.
PREDICATE LOGIC and QUANTIFIER NEGATION - DISCRETE MATHEMATICS
15:08
Propositional Logic − Logical Equivalences
17:23
Neso Academy
Рет қаралды 894 М.