3 Ways to Show a Logical Equivalence | Ex: DeMorgan's Laws

แชร์
ฝัง
  • เผยแพร่เมื่อ 22 ธ.ค. 2024

ความคิดเห็น • 81

  • @codecleric4972
    @codecleric4972 3 ปีที่แล้ว +34

    I'm watching this series to compliment my self-study path of coding/computer science. All of them so far have been great, but I feel like this is where you're really getting into the good stuff. Applying those rules is definitely a cool concept

    • @wintutorials2282
      @wintutorials2282 ปีที่แล้ว +1

      I can give you some recources if you want, im in my first year now

    • @Ltkg68qiE_tp2
      @Ltkg68qiE_tp2 2 หลายเดือนก่อน

      ​@@wintutorials2282 yo can I have those? Where can I contact you

    • @user-jm7rw1go8h
      @user-jm7rw1go8h 2 วันที่ผ่านมา

      @@wintutorials2282hey man I know it’s been a while but could you send them to me? I am not going through traditional Uni route so I am trying to blind teach myself all of this

  • @Scuba_Rocky
    @Scuba_Rocky ปีที่แล้ว +5

    I agree with a lot of students. I’m taking an online class and the professor too has not done anything and the videos in the modules are boring and don’t explain in details the way you do. You help us build a foundation from the very basics to better understand at a higher level and that’s what being a professor is all about. Thank you so much for helping not only explain but making it fun and engaging enough to WANT to learn and keep watching your videos. Bravo, I wish you were my professor!

  • @goransomic3259
    @goransomic3259 5 ปีที่แล้ว +127

    dude im paying $3,400 at DePaul Univ. for a discrete math class where the prof. cant explain s***. This has shed more light on the matter than 3 full 3hr courses under her. Thank you!

    • @goransomic3259
      @goransomic3259 5 ปีที่แล้ว

      Trefor, the first step in th example where you simplify the LHS by DeMorgans law,..are you just distributing the not to the inside of the parentheses and flipping the symbol? i thought since the two ways of morgans law are if not p or q == not p and not q or the second if not p and q == not p or not q,.. since the LHS doesnt really fit in either example,..how is it that we can apply morgans law to the LHS?

    • @mk_4567
      @mk_4567 3 ปีที่แล้ว

      @@goransomic3259 we consider p and not as the two statements and then apply them to the first theorem

    • @aakashSky-0
      @aakashSky-0 3 ปีที่แล้ว +5

      That money is for the degree and not for the teaching services.

    • @AIAnimatedCreations950
      @AIAnimatedCreations950 2 ปีที่แล้ว

      You are legend 😂🤣🤣

  • @karismaliddell4694
    @karismaliddell4694 4 ปีที่แล้ว +71

    Thank you. I'm paying 6,000 at ASU for this class, and these videos are the only way I'm actually going to learn the content.

    • @Brain_With_Limbs
      @Brain_With_Limbs 4 ปีที่แล้ว +1

      I'm at UMASS, and having a hard time also with discrete math.

    • @Geb__
      @Geb__ 4 ปีที่แล้ว

      Me too lmao

    • @podi_ta7978
      @podi_ta7978 3 ปีที่แล้ว +4

      University is a scam

    • @theyasminroyal
      @theyasminroyal 3 ปีที่แล้ว

      I go to ASU too lol and same

    • @Aurora-bv1ys
      @Aurora-bv1ys 11 หลายเดือนก่อน

      Universities are nothing but a glorified scam

  • @derwentsmith499
    @derwentsmith499 3 ปีที่แล้ว +8

    I have to give you a big thanks, my university lecturer struggles to explain equivalences, and watching 3 videos of yours has literally explained everything thanks Dr. Bazett

  • @SEALteam6Operator
    @SEALteam6Operator 3 ปีที่แล้ว +2

    Dr. Bazett, you literally explained this within 1 minute and 30 seconds. That is amazing.

  • @osamana7163
    @osamana7163 3 ปีที่แล้ว +11

    in 10 mins i understood what my dr. explained in 4 lectures 1 hour each the past 2 weeks

  • @Benedict_Miriti
    @Benedict_Miriti 4 ปีที่แล้ว +7

    This channel is of great help . My lecturers love to complicated simple stuff and make them seem difficult to understand which sucks! Great video Trefor

    • @DrTrefor
      @DrTrefor  4 ปีที่แล้ว +3

      So glad it is helping!

  • @bwompy1294
    @bwompy1294 3 หลายเดือนก่อน +3

    I just dropped $4k on a Discreet Math class and I'm using this guy on TH-cam to actually understand it. Wish I could pay this guy my tuition instead. So sick of being ripped off by a campus.

  • @VecrozaDenziba
    @VecrozaDenziba 4 ปีที่แล้ว +4

    Thank you very much, it really help my study. I spent a lot of money for college and yet, i'm prefer this lecture than my professor.

  • @noahrubin375
    @noahrubin375 3 ปีที่แล้ว +1

    You and TheTrevTutor might just be the best thing that ever happened to yt.

  • @Natluxurious
    @Natluxurious ปีที่แล้ว

    This video series might be the way I am going to be passing my discrete structures class. Thank you so muchh for this!!!!!

  • @deerealist1
    @deerealist1 3 ปีที่แล้ว +2

    My professor did not even take the time to explain this nor break it down as you have. You would think if everyone in the class is missing on the same questions they would realize that they aren't explaining the content correctly. This is appreciated more than you understand. These professors are not explaining it like at all

    • @DrTrefor
      @DrTrefor  3 ปีที่แล้ว +1

      That sucks!

  • @nedas9187
    @nedas9187 ปีที่แล้ว +1

    You have an extra bracket in line 3. Great video.

  • @aysuergin5848
    @aysuergin5848 3 ปีที่แล้ว +3

    THANK YOU FOR SAVING MY LIFE

  • @BlethyMusik
    @BlethyMusik 3 หลายเดือนก่อน

    May God bless you for this man…..👊🏾

  • @august5520
    @august5520 5 ปีที่แล้ว +6

    Thank you for the videos they are super helpful

  • @MoDiscovery
    @MoDiscovery 2 ปีที่แล้ว

    This makes way more sense now, thank you for this guide.

  • @WebWizGeorgia
    @WebWizGeorgia 10 หลายเดือนก่อน +1

    good man, I started with different youtube course, next I move to book and I found that youtube course was after that book. your course is different because you are trying to simplifay things and explain it your way which is always better.

  • @kingkamvoty
    @kingkamvoty 3 ปีที่แล้ว +1

    Can you help me with a problem? I’m a 16 year old dual enrollment student and I’m having trouble.

  • @george4746
    @george4746 4 ปีที่แล้ว +1

    Finally, your words are making sense.

  • @dan-ishin3793
    @dan-ishin3793 7 วันที่ผ่านมา

    Thank you! This finally cleared things up for me

  • @George_Kush
    @George_Kush 3 ปีที่แล้ว +2

    Your video quality is great, very well explained, thank you

    • @DrTrefor
      @DrTrefor  3 ปีที่แล้ว +2

      Glad it was helpful!

  • @djoleluk
    @djoleluk 3 ปีที่แล้ว

    Fantastic explanation with a real-life example, well-done sir. Subbed.

  • @aziz1558
    @aziz1558 4 ปีที่แล้ว +1

    I have a question, if you may. In 4:08 you applied DM law on a statement which contained a double negative. But doesn't DM's law apply to statements which assert, for example, "I am not P nor Q"? i.e. not both? And the statement you applied DM law stated something like: "I am not P, or I am Q" i.e. I am one but not the other. Since a double negative statement is equivalent to a statement that is not negated, how could DM law apply to a disjunction/conjunction with one negated sentence and a non-negated sentence? I am sorry if the question is not clear enough.

    • @manarsalem1685
      @manarsalem1685 9 หลายเดือนก่อน

      That's why when he applied DM law he didn't say (not p And not q) but he rather said (not p and not *not* q).
      I think if you think about it like this, it would click:
      let ~ q = g
      and rewrite the question as ~(q ∨ g) then apply DML to get ~q ∨ ~g
      Now replace g for its original value
      ~p ∨ ~(g) = ~p ∧ ~ (~ q) that's why he wrote not *not* q.
      In English imagine it like this:
      p = Tom is a crocodile
      q = Tom is not a fish
      ~ q = Tom is a fish
      so ~(p ∨ ~ q) translates to ~(Tom is a crocodile or a fish) = Tom is neither a crocodile nor a fish
      and ~p ∧ ~ (~ q) translates to Tom isn't a crocodile and isn't a fish.
      or
      In English imagine it like this:
      p = Tom is a crocodile
      q = Tom is a fish
      ~ q = Tom is not a fish
      so ~(p ∨ ~ q) translates to ~(Tom is a crocodile or He is not a fish) = Tom is either a fish or not a crocodile
      and ~p ∧ ~ (~ q) translates to Tom isn't a crocodile and He is a fish = He is a fish
      okay tbh my reasoning falls apart here and I think that's what you were asking in your question :)

  • @kageemo
    @kageemo 3 ปีที่แล้ว +2

    is there any place whr i can practice this

  • @sanaafzalmir
    @sanaafzalmir 3 ปีที่แล้ว +1

    Thanks a lot for this video. It was very helpful

  • @Moe.firouzabadi
    @Moe.firouzabadi 5 ปีที่แล้ว

    Express the biconditional statement p ↔q in a logically equivalent statement form containing only negations (~) and inclusive disjunctions (∨).

  • @lahcenechel1855
    @lahcenechel1855 5 ปีที่แล้ว +1

    i didnt get the point why the or flip to the and on the minute 4:12 thank you for the help a lot i have an exam coming up

  • @ichmood12
    @ichmood12 3 ปีที่แล้ว +1

    thank you

  • @zaylo9273
    @zaylo9273 4 ปีที่แล้ว

    how about those with 3 propositional variables? What do we give the third variable? 1100 in truth table?

  • @dagim6625
    @dagim6625 2 ปีที่แล้ว +1

    thanks trefor

  • @mohammadyahya78
    @mohammadyahya78 3 ปีที่แล้ว

    Thank you.
    When you are given :
    10. Which of the following set of expressions is not equivalent to each other?
    a) 𝑝 and (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ ¬𝑞)
    b) 𝑝 → (𝑞 → 𝑟) and (𝑝 ∧ 𝑞) → 𝑟
    c) (𝑝 → 𝑞) → 𝑟 and (𝑝 ∧ 𝑞) → 𝑟
    d) All of the above are correct
    How you would solve the above in less than ONE MINUTE please? Using truth table will take a lot time, so I don't think it's recommended here.

  • @StaticBlaster
    @StaticBlaster ปีที่แล้ว

    Even in English, it makes sense. For example: It's neither P or Q is the same as saying it's not P and it's not Q.

  • @Peter-bg1ku
    @Peter-bg1ku 5 ปีที่แล้ว

    The only way for me to understand this was using sets...using union as OR and intersection as AND

  • @delealli9965
    @delealli9965 3 ปีที่แล้ว +1

    Dude. Thank you.

    • @DrTrefor
      @DrTrefor  3 ปีที่แล้ว +1

      You are most welcome!!

  • @cherulast7998
    @cherulast7998 4 ปีที่แล้ว +1

    Men i joined late but its amazing vedio teachers are killing us in school

  • @aubreydebruyn84
    @aubreydebruyn84 ปีที่แล้ว +1

    The analogy made it it click. Where possible please include the real world applications of the topic.

  • @jaydeviupadhayay6452
    @jaydeviupadhayay6452 หลายเดือนก่อน

    This shit makes my brain cells shiver when it needs to solve using laws. I remember all laws but dont get correct answer

  • @nInOwarrior0312
    @nInOwarrior0312 2 ปีที่แล้ว

    Okay, I can just about understand this, thanks

  • @akoymensahero5111
    @akoymensahero5111 3 ปีที่แล้ว

    Dr. Terfor good day! I just want to ask a question about this topic. I probably need your help.
    It can be verified that if p and q are statement then
    A. (Left side) ~ (p^q) = ~pv~q (right side)
    B. (Left side) ~(pvq) = ~p^~q (right side)
    Use this equivalence to rewrite the statement.
    YOU ARE NOT SINGLE AND NOT THE HEAD OF A HOUSEHOLD.
    So Dr. Terfor what could be the answer of this situation , I want your help.
    It could be?
    A1. (Left side) You are single and the head of a household.
    A1.(Right side) You are single or the head of a household.
    B1. (Right side) You are single or the head of a household.
    B2. (Left side) You are single and the head of a household.
    Am I right Sir? I hope for your response. Thank you so much in advance!

  • @flame2179
    @flame2179 7 หลายเดือนก่อน

    Bro if you became a lecturer your class would always have top grades

  • @gaiseric9518
    @gaiseric9518 2 ปีที่แล้ว

    Would ~p∧p just cross itself out?

  • @fredboytv1257
    @fredboytv1257 4 ปีที่แล้ว

    need help plss..
    Note :
    * Determine whether each pair of statements is logically equivalent*
    1. ~(~p --- q) and p --- ~q
    note --- is Implies
    2. ~(p or q ) and ( ~p) V ( ~q)
    🙏🙏🙏🙏🙏
    thanks.

    • @katedvaliant4116
      @katedvaliant4116 4 ปีที่แล้ว

      Hi. I don't know if it was too late but the two statements are not logically equivalent. I used truth tables to determine it.
      P. s. I am also a student so correct me if I'm wrong

  • @krispb-2.13.23
    @krispb-2.13.23 3 ปีที่แล้ว

    The color coding helps.

  • @wrsflash
    @wrsflash 5 ปีที่แล้ว

    awesome , thanks

  • @continnum_radhe-radhe
    @continnum_radhe-radhe 2 ปีที่แล้ว +1

    🔥🔥🔥

  • @guyincognito7211
    @guyincognito7211 2 ปีที่แล้ว

    It is all the sort of thing that I learned at my grandmother's knee

  • @TromCrabst
    @TromCrabst 7 หลายเดือนก่อน

    Wait, "~" is spelled "knot"? I assumed it was just "not" since it kind of means the same thing haha

  • @teachforyou8384
    @teachforyou8384 4 ปีที่แล้ว +2

    Nice teacher
    I'm from india

  • @Benjamin_Bryant
    @Benjamin_Bryant 2 ปีที่แล้ว

    Great video mate. Really unfortunate spelling of ur name, u must get Trevor a lot

  • @mzhdataha4921
    @mzhdataha4921 3 ปีที่แล้ว +1

    👏

  • @zabanajd6150
    @zabanajd6150 5 ปีที่แล้ว

    thanks yous

  • @nervcvda6146
    @nervcvda6146 4 ปีที่แล้ว

    I am unable yo.join Chanel Help me

    • @DrTrefor
      @DrTrefor  4 ปีที่แล้ว

      Hmmm weird. There is a button called "Join" beneath each video, what happens when you go through that?

    • @nervcvda6146
      @nervcvda6146 4 ปีที่แล้ว

      @@DrTrefor i got it what was happening

    • @nervcvda6146
      @nervcvda6146 4 ปีที่แล้ว

      @@DrTrefor but i have a problem For Payment i don't have theSe Cards For Payment

  • @turupofficial4125
    @turupofficial4125 3 ปีที่แล้ว +1

    2021🤠

  • @_baseer_
    @_baseer_ 3 ปีที่แล้ว

    wow.

  • @bennyuchiha8501
    @bennyuchiha8501 10 หลายเดือนก่อน +1

    Just flip it

  • @salehsssso
    @salehsssso 4 ปีที่แล้ว

    أبلع لايك ❤❤

  • @reginarahamathullah828
    @reginarahamathullah828 2 ปีที่แล้ว

    Translate in tamil plz🙏🙏

  • @MineCrafterCity
    @MineCrafterCity ปีที่แล้ว +1

    But imagine writing such dumb if statements... I don't see why we would need this at all.