INTRODUCTION to PROPOSITIONAL LOGIC - DISCRETE MATHEMATICS

Sdílet
Vložit
  • čas přidán 19. 08. 2024
  • Today we introduce propositional logic. We talk about what statements are and how we can determine truth values.
    Looking for paid tutoring or online courses with practice exercises, text lectures, solutions, and exam practice? TrevTutor.com has you covered!
    #DiscreteMath #Mathematics #Logic
    Visit my website: bit.ly/1zBPlvm
    Subscribe on CZcams: bit.ly/1vWiRxW
    -Playlists-
    Discrete Mathematics 1: • Discrete Math (Sets, L...
    Discrete Mathematics 2: • Discrete Math (Countin...
    -Recommended Textbooks-
    Discrete and Combinatorial Mathematics (Grimaldi): amzn.to/2T0iC53
    Discrete Mathematics (Johnsonbaugh): amzn.to/2Hh7H41
    Discrete Mathematics and Its Applications (Rosen): amzn.to/3lUgrMI
    Book of Proof (Hammack): amzn.to/35eEbVg
    Hello, welcome to TheTrevTutor. I'm here to help you learn your college courses in an easy, efficient manner. If you like what you see, feel free to subscribe and follow me for updates. If you have any questions, leave them below. I try to answer as many questions as possible. If something isn't quite clear or needs more explanation, I can easily make additional videos to satisfy your need for knowledge and understanding.

Komentáře • 230

  • @Trevtutor
    @Trevtutor  Před 10 měsíci +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!

  • @LewiUberg
    @LewiUberg Před 5 lety +331

    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 Před 4 lety +2

      How did it go???

    • @LewiUberg
      @LewiUberg Před 4 lety +73

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

    • @MehdiEm
      @MehdiEm Před 2 lety +9

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

    • @LewiUberg
      @LewiUberg Před 2 lety +1

      @@MehdiEm good luck 💪

    • @MehdiEm
      @MehdiEm Před 2 lety

      @@LewiUberg Thanks!

  • @IP1995IP
    @IP1995IP Před 6 lety +178

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

  • @jonniesvedberg4880
    @jonniesvedberg4880 Před 6 lety +161

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

  • @ServitorSkull
    @ServitorSkull Před 4 lety +65

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

  • @Teewaree13
    @Teewaree13 Před 3 lety +45

    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 Před 2 lety +5

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

    • @Teewaree13
      @Teewaree13 Před 2 lety +4

      @@jeyz11245 very interesting

    • @murdoch1190
      @murdoch1190 Před rokem

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

  • @importedglue891
    @importedglue891 Před 4 lety +10

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

  • @mohammedmohamed4166
    @mohammedmohamed4166 Před 3 lety +2

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

  • @yoteango
    @yoteango Před 6 lety +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!

  • @axiomvp7808
    @axiomvp7808 Před 6 lety +58

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

  • @TommyMccoyMedia
    @TommyMccoyMedia Před 2 lety +1

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

  • @markeg3267
    @markeg3267 Před 3 lety +5

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

  • @ikaymon9224
    @ikaymon9224 Před 5 lety +61

    Fish are just humans without legs:)

  • @SoumilSahu
    @SoumilSahu Před 6 lety +12

    This makes it look SO EASY. Thanks!

  • @0xNameless
    @0xNameless Před 3 lety +2

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

  • @cgme7076
    @cgme7076 Před 4 lety +1

    I love CZcams and proper teaching. Thank you!

  • @aboutthereality179
    @aboutthereality179 Před 6 lety +8

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

  • @abdallaaalbeshti1192
    @abdallaaalbeshti1192 Před 5 měsíci

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

  • @user-cd9pm6th4c
    @user-cd9pm6th4c Před 5 měsíci

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

  • @playpianolikewoah
    @playpianolikewoah Před 6 lety +90

    You have really nice handwriting.

  • @isakerem5585
    @isakerem5585 Před 5 lety +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.

  • @xperteccorp
    @xperteccorp Před 4 lety +1

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

  • @arghyaghosh1071
    @arghyaghosh1071 Před 3 lety +1

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

  • @ninefingerbass
    @ninefingerbass Před 6 lety +2

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

  • @metaphyzxx
    @metaphyzxx Před rokem

    This reminded me how much I love this class

  • @neeldeshmukh3705
    @neeldeshmukh3705 Před 6 lety +1

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

  • @atayigitustundag2356
    @atayigitustundag2356 Před 6 měsíci

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

  • @poofiekinz
    @poofiekinz Před 5 lety +5

    This helped so much. Thank you!

  • @mathematicstiffany2932
    @mathematicstiffany2932 Před 6 lety +2

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

  • @virginie7
    @virginie7 Před 2 lety

    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 😭

  • @kusinaniJePoys18
    @kusinaniJePoys18 Před 3 lety +1

    ITS 2020 and this was so helpful to me thanks

  • @michaelzumpano7318
    @michaelzumpano7318 Před 3 lety +1

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

  • @hafsaa5385
    @hafsaa5385 Před 4 lety +6

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

  • @moalcoco
    @moalcoco Před 3 lety

    Explained way better than in college. Thanks

  • @bigphatballllz
    @bigphatballllz Před 4 lety +21

    p: I see these videos.
    q: I pass my DM test.
    p->q is a WOOF!
    pq is a crying wolf!

  • @khalidRaza01
    @khalidRaza01 Před 6 lety +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.

  • @sami24
    @sami24 Před 4 lety +1

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

  • @Sirjio
    @Sirjio Před 7 měsíci

    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.

  • @saishmhatrearts
    @saishmhatrearts Před 6 lety +12

    superb explanation 😊👍

  • @natazena1241
    @natazena1241 Před 3 lety

    Your handwriting is so satisfying

  • @sejalbhawar0613
    @sejalbhawar0613 Před 3 lety

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

  • @keesdenheijer7283
    @keesdenheijer7283 Před 2 lety

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

  • @SempreBionic
    @SempreBionic Před 4 lety

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

  • @OK-ri8eu
    @OK-ri8eu Před 3 lety

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

  • @sarah-mq9ei
    @sarah-mq9ei Před 4 lety +1

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

  • @kylemaritz4673
    @kylemaritz4673 Před 2 lety

    I love your handwriting

  • @naghs2726
    @naghs2726 Před rokem

    You're my savior

  • @alexandermarcellorostiroll3722

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

    • @CalamityInAction
      @CalamityInAction Před 4 lety +1

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

  • @ozzyfromspace
    @ozzyfromspace Před 6 lety +1

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

  • @milahadu2737
    @milahadu2737 Před 6 lety +1

    Thank you so much! You are amazing and explaining

  • @neerajmahapatra5239
    @neerajmahapatra5239 Před 6 lety +2

    Helped me alot thankyou for your effort....

  • @WildSpeedMoments
    @WildSpeedMoments Před 2 lety +1

    Amazing video

  • @user-vk7me3cp7c
    @user-vk7me3cp7c Před 5 lety

    better than my teacher and I m not even English!

  • @noorulhuda5207
    @noorulhuda5207 Před 6 lety +3

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

  • @kass9735
    @kass9735 Před 3 lety

    This was very helpful - thank YOU!

  • @NandiniSelwanayagam-ox2en

    Wonderful explanations sir , love a lot❤

  • @user-hj4in5yp1n
    @user-hj4in5yp1n Před 4 lety

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

  • @MasterofPuppetsx
    @MasterofPuppetsx Před 3 lety

    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

  • @eldadelo
    @eldadelo Před 2 lety

    Very helpful. Thank you!!

  • @leeming1317
    @leeming1317 Před rokem

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

  • @AyuJessieM
    @AyuJessieM Před 6 lety

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

  • @omarabdullah9805
    @omarabdullah9805 Před 2 lety

    short but very effective video 👏

  • @thankswe7781
    @thankswe7781 Před 3 lety

    Thank you for sharing your knowledge

  • @benjaminwest4852
    @benjaminwest4852 Před 4 lety +2

    Sometimes professors might use ~ for negation.

  • @angelicalouabamonga3951

    Thank you very much

  • @avestaali3957
    @avestaali3957 Před rokem

    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  Před rokem

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

  • @ali-anafhiamohammad9244

    It helped me so much. Thanks!

  • @RaihanRazi
    @RaihanRazi Před 4 lety

    Excellent explanation!

  • @mohammadahmedragab837
    @mohammadahmedragab837 Před 3 lety

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

  • @elgary9074
    @elgary9074 Před rokem +1

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

  • @earnestketelo8712
    @earnestketelo8712 Před 3 lety

    Well explained, thanks for this video.

  • @JamesBrodski
    @JamesBrodski Před 2 lety

    Great video. I learned a lot!

  • @JiKey-sc2sk
    @JiKey-sc2sk Před 2 lety

    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 Před 2 lety

      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.

  • @jaysonlee6246
    @jaysonlee6246 Před 3 lety

    This is so helpful! Thank you :)

  • @rawanmaghrbi633
    @rawanmaghrbi633 Před rokem

    You are a Legend

  • @keynnerblas5732
    @keynnerblas5732 Před 4 lety

    Thank you sir, I found this video very useful

  • @sanaomer2828
    @sanaomer2828 Před 3 lety

    thank you so much

  • @ThePicklemonman
    @ThePicklemonman Před 3 lety

    Lol @ the second example

  • @Linuslkm
    @Linuslkm Před 2 lety

    Amazing stuff, thanks a lot for this video

  • @austinrelish
    @austinrelish Před 3 lety

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

    • @Sparky579
      @Sparky579 Před 3 lety

      Humans are Monke with extra steps

  • @sathwikkothapalli7527
    @sathwikkothapalli7527 Před 3 lety

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

  • @ItsJyoti
    @ItsJyoti Před 4 lety

    From India here 🇮🇳

  • @rxrider1451
    @rxrider1451 Před rokem

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

  • @rjsparka2578
    @rjsparka2578 Před 3 lety

    Sir thank you so much!

  • @khalidafghan8119
    @khalidafghan8119 Před 5 lety +1

    Holy actually helped

  • @maryanmohamed7897
    @maryanmohamed7897 Před 3 lety

    Such a great help, thanks 🙏

    • @yussufabdi8975
      @yussufabdi8975 Před rokem

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

  • @alexlake9343
    @alexlake9343 Před 5 lety +1

    how to plot truth table 3 statements by bi condition

  • @caseytang7918
    @caseytang7918 Před rokem

    can you do a video on functional completeness

  • @bladimirmartinez7686
    @bladimirmartinez7686 Před 4 lety

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

  • @Kattttttz
    @Kattttttz Před 2 lety

    Trevvvvor my man

  • @shadowfantasiesf8556
    @shadowfantasiesf8556 Před rokem

    I am not a native English speaker.
    Does it actually make no difference to say "James doesn't get ANY money" compared to "James doesn't get money"?
    I would guess "any" makes the amount of money somewhat small or possibly insufficient.

  • @cristojohnloyd7768
    @cristojohnloyd7768 Před 3 lety

    Yooooo this really helps ❤️❤️❤️

  • @RoggersAnguzu
    @RoggersAnguzu Před rokem

    really awesome

  • @anatolyrozhkov851
    @anatolyrozhkov851 Před 4 lety +1

    Why don't all the programming languages just adopt the mathematical syntax? This way it would be much easier to switch from JS to Python when required, for example.

  • @femina6172
    @femina6172 Před 3 lety

    Thanku sooooo much

  • @lesibamdlalose3678
    @lesibamdlalose3678 Před 2 lety +4

    That last one sounds horrific. 😭🗃️ Was the wife trying to get sone insurance money from James' death???

  • @ivancontreras7292
    @ivancontreras7292 Před 5 lety +1

    god bless your good soul

  • @Starkeweg
    @Starkeweg Před rokem

    If u ever see this I need u to realize how many people like me u’ve saved. MILLIONS. ❤️❤️❤️❤️❤️

  • @luckiengandah2346
    @luckiengandah2346 Před 3 lety

    well explained

  • @Peter-bg1ku
    @Peter-bg1ku Před 5 lety

    The negation operator looks like 7 when written by hand, making the expression look like scalar multiplication