INTRODUCTION to PROPOSITIONAL LOGIC - DISCRETE MATHEMATICS

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

КОМЕНТАРІ • 238

  • @Trevtutor
    @Trevtutor  Рік тому +4

    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!

  • @IP1995IP
    @IP1995IP 6 років тому +180

    Trevor explains so much better than my professor. He goes in details and his instruction is easy to follow.

  • @LewiUberg
    @LewiUberg 5 років тому +350

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

    • @ryanandida8618
      @ryanandida8618 4 роки тому +3

      How did it go???

    • @LewiUberg
      @LewiUberg 4 роки тому +78

      I Got 85% as a course grade. Thanks for asking :)

    • @MehdiEm
      @MehdiEm 3 роки тому +10

      @@LewiUberg Damn.... congrats that's awesome! I have a quiz coming up tomorrow... so nervous xd

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

      @@MehdiEm good luck 💪

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

      @@LewiUberg Thanks!

  • @ServitorSkull
    @ServitorSkull 4 роки тому +67

    As soon as you said "if this stuff, then this stuff" I knew you were my new favorite math channel! Thanks for the content.

  • @jonniesvedberg4880
    @jonniesvedberg4880 6 років тому +164

    "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.

  • @Sirjio
    @Sirjio 11 місяців тому +1

    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.

  • @importedglue891
    @importedglue891 5 років тому +11

    first few minutes in and I respect you more than my professor. he refuses to actually show examples when discussing these things.

  • @Teewaree13
    @Teewaree13 3 роки тому +47

    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. 🤦‍♂️

    • @jeyz11245
      @jeyz11245 2 роки тому +5

      Computer science is applied math. Computer is literally derive from computare which means to calculate.

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

      @@jeyz11245 very interesting

    • @murdoch1190
      @murdoch1190 Рік тому

      @@jeyz11245 I struggled but Ill still become a great Comp Scientist.

  • @Salamanca-joro
    @Salamanca-joro 2 місяці тому

    You don't know how much this helped me man ! Absolutely legend

    • @Salamanca-joro
      @Salamanca-joro 2 місяці тому

      I mean you kinda know with all these comments but thanks man

  • @yoteango
    @yoteango 7 років тому +6

    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!

  • @TommyMccoyMedia
    @TommyMccoyMedia 2 роки тому +2

    Dude, I just started my Discrete math course. You’re going to be my favorite channel.

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

    I'm from Tanzania a new stydent in a data management, you guy is an amazing ☺️😊👍🏽👍🏽

  • @ikaymon9224
    @ikaymon9224 5 років тому +64

    Fish are just humans without legs:)

  • @SoumilSahu
    @SoumilSahu 7 років тому +12

    This makes it look SO EASY. Thanks!

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

    Thanks, bro It helped me a lot in my exam's.............. Love from India

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

    I love UA-cam and proper teaching. Thank you!

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

    Great video, listening to someone explain this is much easier than reading the material...

  • @axiomvp7808
    @axiomvp7808 6 років тому +58

    DING! i love it when shit just makes sense! you are a good teacher! well done! you got my sub!

  • @playpianolikewoah
    @playpianolikewoah 7 років тому +91

    You have really nice handwriting.

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

    Exam tomorrow. Your video helped so much. Thanks a bunch!

  • @markeg3267
    @markeg3267 4 роки тому +5

    i love how "James dies" is written weirdly satisfying. especially the J and d

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

    You're right. The statement "Humans are just fish with legs" is false. Fishes taste way better.

  • @ninefingerbass
    @ninefingerbass 6 років тому +2

    Thank you for the explanation. Much better than my instructor.

  • @LutchmeeRamnath
    @LutchmeeRamnath 9 місяців тому

    I love this video . This video has changed my view on propositional logic

  • @MaxScince
    @MaxScince 3 місяці тому

    This course is going to foster my understanding of Discrete Math I can see that coming thanks a lot

  • @isakerem5585
    @isakerem5585 6 років тому +2

    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.

  • @aboutthereality179
    @aboutthereality179 6 років тому +8

    Hi Trev. Thank You for this very simple way of explaining Logic. God Bless.

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

    This reminded me how much I love this class

  • @abdallaaalbeshti1192
    @abdallaaalbeshti1192 9 місяців тому

    This guy is going to help me pass my class because my professor isn't that good.

  • @poofiekinz
    @poofiekinz 5 років тому +5

    This helped so much. Thank you!

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

    Explained way better than in college. Thanks

  • @neeldeshmukh3705
    @neeldeshmukh3705 7 років тому +1

    Grand salute to you. Thanks. I am very bad at maths u help me

  • @gastergiovanna9793
    @gastergiovanna9793 12 днів тому +1

    This whole class is an absolute nightmare dont know why we are required to take it in uni

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

    ITS 2020 and this was so helpful to me thanks

  • @saishmhatrearts
    @saishmhatrearts 7 років тому +12

    superb explanation 😊👍

  • @mathematicstiffany2932
    @mathematicstiffany2932 6 років тому +2

    I am not there yet however, discrete mathematics is easy to understand, thank you for the explanation

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

    0:39

  • @OK-ri8eu
    @OK-ri8eu 3 роки тому

    Aaand another course .. you save me every time. big thank you

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

    Your handwriting is so satisfying

  • @عبدالالهمحمد-خ4ل
    @عبدالالهمحمد-خ4ل 4 роки тому

    عز الله انك ماقصرت 😍😍

  • @atayigitustundag2356
    @atayigitustundag2356 10 місяців тому

    That was really nice tutorial. I was able to solve the last problem by myself. Thank you so much.

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

    Amazing video

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

    I love your handwriting

  • @NandiniSelwanayagam-ox2en
    @NandiniSelwanayagam-ox2en Рік тому

    Wonderful explanations sir , love a lot❤

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

    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 😭

  • @khalidRaza01
    @khalidRaza01 6 років тому +2

    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.

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

    Excellent explanation!

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

    You are a Legend

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

    Very helpful. Thank you!!

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

    You said humans are “much more” than fish with legs, and I take exception to that! - Joe Bipedopesci.

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

    short but very effective video 👏

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

    This was very helpful - thank YOU!

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

    Thank you for sharing your knowledge

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

    What to remember, *Humans are just fish with legs*
    Anyway great video!

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

      Humans are Monke with extra steps

  • @milahadu2737
    @milahadu2737 6 років тому +1

    Thank you so much! You are amazing and explaining

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

    A LOT BETTER than the trashie explanation of freecode camp that girl has serious problems jeez

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

    Well explained, thanks for this video.

  • @naghs2726
    @naghs2726 Рік тому

    You're my savior

  • @neerajmahapatra5239
    @neerajmahapatra5239 6 років тому +2

    Helped me alot thankyou for your effort....

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

    big thank you so much. that is very helpful ❤️

  • @sami24
    @sami24 5 років тому +1

    at the end why not P is by it self and Q and R are inside the parenthesis?

  • @1211-k1c
    @1211-k1c 6 років тому

    better than my teacher and I m not even English!

  • @ozzyfromspace
    @ozzyfromspace 6 років тому +1

    for "Mary will not get money", weren't we supposed to add a quantifier? Thanks, and awesome video presentation btw

  • @avestaali3957
    @avestaali3957 Рік тому

    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?

    • @Trevtutor
      @Trevtutor  Рік тому

      Yeah that’s a fine interpretation because there are no disambiguating hints.

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

    great explination! Not to fast, and you adress everything you're talking about.

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

    For someone who likes precious metals like me, bullion logic is the best.

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

    Thank you sir, I found this video very useful

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

    Amazing stuff, thanks a lot for this video

  • @AyuJessieM
    @AyuJessieM 6 років тому

    Thanks a lot:) This is very useful for my Discrete mathematics course

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

    This is so helpful! Thank you :)

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

    Great video. I learned a lot!

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

    Sir thank you so much!

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

    Terima kasih Pak Muklason

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

    Such a great help, thanks 🙏

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

      Yah it's help me alot this vedio logic ,my 2.3 bachelor of biostatistics

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

    Sometimes professors might use ~ for negation.

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

    Thank you So much for this video. This video really helped me understand the concept. Thanks a ton!! Please keep on making videos.

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

    Thank you very much

  • @hafsaa5385
    @hafsaa5385 5 років тому +6

    When the first command that comes to your mind is, "Kick me!" XD

  • @khalidafghan8119
    @khalidafghan8119 5 років тому +1

    Holy actually helped

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

    Yooooo this really helps ❤️❤️❤️

  • @sarah-mq9ei
    @sarah-mq9ei 4 роки тому +1

    I am actually Moroccan but i really want to learn maths by English

  • @alexandermarcellorostiroll3722
    @alexandermarcellorostiroll3722 5 років тому +13

    *sews frog legs to a fish* behold, a man!

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

      Alexander Marcello Rostirolla *Diogenes, holding a featherless biped, enters the chat*

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

    can you do a video on functional completeness

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

    well explained

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

    @trev tutor what writing software are you using for this vid?

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

    thank you so much

  • @RoggersAnguzu
    @RoggersAnguzu Рік тому

    really awesome

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

    Oh you’re the best, could you suggest any book to accomplish this topic?

  • @ivancontreras7292
    @ivancontreras7292 5 років тому +1

    god bless your good soul

  • @noorulhuda5207
    @noorulhuda5207 6 років тому +3

    Thank God...
    I'm able to understand this translation...
    It really works ❤❤❤

  • @leeming1317
    @leeming1317 Рік тому

    p -> q, if p then q, is that also can be said as "p implies q?"

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

    From India here 🇮🇳

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

    1:05 well... the fish Tiktaalik is theorized to be the evolutionary human ancestor that came out of the ocean and began life on land so... we technically can say we are fish with legs.😂

  • @JiKey-sc2sk
    @JiKey-sc2sk 2 роки тому

    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

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

      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.

  • @mrmayor2390
    @mrmayor2390 6 років тому

    helpful thanks so much

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

    The inflection on "with" at 1:07 made me question if I'm a fish without legs...

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

    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

  • @buellfire3
    @buellfire3 6 років тому

    Seriously helpful! Thank you!

  • @FSCO_sahilsatishchavan
    @FSCO_sahilsatishchavan Місяць тому

    The exam cheating example is coz which I remember the concept forever

  • @Momo-bb2fn
    @Momo-bb2fn 2 роки тому

    4:35 (for my own use)