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

Поділитися
Вставка
  • Опубліковано 13 гру 2024

КОМЕНТАРІ • 79

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

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

  • @bwompy1294
    @bwompy1294 3 місяці тому +3

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

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

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

  • @nedas9187
    @nedas9187 Рік тому +1

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

  • @aysuergin5848
    @aysuergin5848 3 роки тому +3

    THANK YOU FOR SAVING MY LIFE

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

  • @BlethyMusik
    @BlethyMusik 2 місяці тому

    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.

  • @george4746
    @george4746 4 роки тому +1

    Finally, your words are making sense.

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

  • @sanaafzalmir
    @sanaafzalmir 3 роки тому +1

    Thanks a lot for this video. It was very helpful

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

  • @Moe.firouzabadi
    @Moe.firouzabadi 5 років тому

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

  • @kageemo
    @kageemo 3 роки тому +2

    is there any place whr i can practice this

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

  • @ichmood12
    @ichmood12 3 роки тому +1

    thank you

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

  • @delealli9965
    @delealli9965 3 роки тому +1

    Dude. Thank you.

    • @DrTrefor
      @DrTrefor  3 роки тому +1

      You are most welcome!!

  • @dagim6625
    @dagim6625 2 роки тому +1

    thanks trefor

  • @nInOwarrior0312
    @nInOwarrior0312 2 роки тому

    Okay, I can just about understand this, thanks

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

  • @Peter-bg1ku
    @Peter-bg1ku 5 років тому

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

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

  • @krispb-2.13.23
    @krispb-2.13.23 3 роки тому

    The color coding helps.

  • @cherulast7998
    @cherulast7998 4 роки тому +1

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

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

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

  • @flame2179
    @flame2179 7 місяців тому

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

  • @zaylo9273
    @zaylo9273 4 роки тому

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

  • @aubreydebruyn84
    @aubreydebruyn84 Рік тому +1

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

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

  • @wrsflash
    @wrsflash 5 років тому

    awesome , thanks

  • @guyincognito7211
    @guyincognito7211 2 роки тому

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

  • @gaiseric9518
    @gaiseric9518 2 роки тому

    Would ~p∧p just cross itself out?

  • @teachforyou8384
    @teachforyou8384 4 роки тому +2

    Nice teacher
    I'm from india

  • @continnum_radhe-radhe
    @continnum_radhe-radhe Рік тому +1

    🔥🔥🔥

  • @zabanajd6150
    @zabanajd6150 5 років тому

    thanks yous

  • @mzhdataha4921
    @mzhdataha4921 3 роки тому +1

    👏

  • @turupofficial4125
    @turupofficial4125 3 роки тому +1

    2021🤠

  • @Benjamin_Bryant
    @Benjamin_Bryant 2 роки тому

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

  • @TromCrabst
    @TromCrabst 6 місяців тому

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

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

  • @_baseer_
    @_baseer_ 3 роки тому

    wow.

  • @bennyuchiha8501
    @bennyuchiha8501 10 місяців тому +1

    Just flip it

  • @MineCrafterCity
    @MineCrafterCity Рік тому +1

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

  • @reginarahamathullah828
    @reginarahamathullah828 2 роки тому

    Translate in tamil plz🙏🙏

  • @salehsssso
    @salehsssso 4 роки тому

    أبلع لايك ❤❤