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

Поделиться
HTML-код
  • Опубликовано: 20 дек 2024

Комментарии • 81

  • @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 😂🤣🤣

  • @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 21 час назад

      @@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!

  • @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 RUclips 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.

  • @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!!!!!

  • @nedas9187
    @nedas9187 Год назад +1

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

  • @noahrubin375
    @noahrubin375 3 года назад +1

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

  • @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.

  • @dan-ishin3793
    @dan-ishin3793 5 дней назад

    Thank you! This finally cleared things up for me

  • @aysuergin5848
    @aysuergin5848 3 года назад +3

    THANK YOU FOR SAVING MY LIFE

  • @august5520
    @august5520 5 лет назад +6

    Thank you for the videos they are super helpful

  • @BlethyMusik
    @BlethyMusik 2 месяца назад

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

  • @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

  • @MoDiscovery
    @MoDiscovery 2 года назад

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

  • @kageemo
    @kageemo 3 года назад +2

    is there any place whr i can practice this

  • @George_Kush
    @George_Kush 3 года назад +2

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

    • @DrTrefor
      @DrTrefor  3 года назад +2

      Glad it was helpful!

  • @sanaafzalmir
    @sanaafzalmir 3 года назад +1

    Thanks a lot for this video. It was very helpful

  • @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 :)

  • @george4746
    @george4746 4 года назад +1

    Finally, your words are making sense.

  • @djoleluk
    @djoleluk 3 года назад

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

  • @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.

  • @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

  • @Moe.firouzabadi
    @Moe.firouzabadi 5 лет назад

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

  • @delealli9965
    @delealli9965 3 года назад +1

    Dude. Thank you.

    • @DrTrefor
      @DrTrefor  3 года назад +1

      You are most welcome!!

  • @nInOwarrior0312
    @nInOwarrior0312 2 года назад

    Okay, I can just about understand this, thanks

  • @cherulast7998
    @cherulast7998 4 года назад +1

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

  • @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?

  • @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

  • @dagim6625
    @dagim6625 2 года назад +1

    thanks trefor

  • @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

  • @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

  • @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.

  • @aubreydebruyn84
    @aubreydebruyn84 Год назад +1

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

  • @krispb-2.13.23
    @krispb-2.13.23 3 года назад

    The color coding helps.

  • @flame2179
    @flame2179 7 месяцев назад

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

  • @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!

  • @wrsflash
    @wrsflash 5 лет назад

    awesome , thanks

  • @gaiseric9518
    @gaiseric9518 2 года назад

    Would ~p∧p just cross itself out?

  • @guyincognito7211
    @guyincognito7211 2 года назад

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

  • @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

  • @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

  • @TromCrabst
    @TromCrabst 7 месяцев назад

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

  • @continnum_radhe-radhe
    @continnum_radhe-radhe 2 года назад +1

    🔥🔥🔥

  • @zabanajd6150
    @zabanajd6150 5 лет назад

    thanks yous

  • @salehsssso
    @salehsssso 4 года назад

    أبلع لايك ❤❤

  • @MineCrafterCity
    @MineCrafterCity Год назад +1

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

  • @turupofficial4125
    @turupofficial4125 3 года назад +1

    2021🤠

  • @bennyuchiha8501
    @bennyuchiha8501 10 месяцев назад +1

    Just flip it

  • @mzhdataha4921
    @mzhdataha4921 3 года назад +1

    👏

  • @_baseer_
    @_baseer_ 3 года назад

    wow.

  • @reginarahamathullah828
    @reginarahamathullah828 2 года назад

    Translate in tamil plz🙏🙏