INTRODUCTION to PROPOSITIONAL LOGIC - DISCRETE MATHEMATICS

แชร์
ฝัง
  • เผยแพร่เมื่อ 16 ก.ค. 2017
  • 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 TH-cam: 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.

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

  • @Trevtutor
    @Trevtutor  8 หลายเดือนก่อน +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 5 ปีที่แล้ว +323

    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 ปีที่แล้ว +2

      How did it go???

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

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

    • @MehdiEm
      @MehdiEm 2 ปีที่แล้ว +8

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

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

      @@MehdiEm good luck 💪

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

      @@LewiUberg Thanks!

  • @jonniesvedberg4880
    @jonniesvedberg4880 6 ปีที่แล้ว +159

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

  • @IP1995IP
    @IP1995IP 6 ปีที่แล้ว +175

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

  • @ServitorSkull
    @ServitorSkull 4 ปีที่แล้ว +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 3 ปีที่แล้ว +44

    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.

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

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

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

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

  • @SoumilSahu
    @SoumilSahu 6 ปีที่แล้ว +11

    This makes it look SO EASY. Thanks!

  • @yoteango
    @yoteango 6 ปีที่แล้ว +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 ปีที่แล้ว +1

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

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

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

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

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

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

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

  • @ninefingerbass
    @ninefingerbass 6 ปีที่แล้ว +2

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

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

    Fish are just humans without legs:)

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

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

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

    This helped so much. Thank you!

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

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

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

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

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

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

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

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

    Explained way better than in college. Thanks

  • @saishmhatrearts
    @saishmhatrearts 6 ปีที่แล้ว +12

    superb explanation 😊👍

  • @axiomvp7808
    @axiomvp7808 6 ปีที่แล้ว +58

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

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

    Thank you so much! You are amazing and explaining

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

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

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

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

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

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

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

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

    This was very helpful - thank YOU!

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

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

  • @user-cd9pm6th4c
    @user-cd9pm6th4c 4 หลายเดือนก่อน

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

  • @OK-ri8eu
    @OK-ri8eu 2 ปีที่แล้ว

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

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

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

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

    This reminded me how much I love this class

  • @ali-anafhiamohammad9244
    @ali-anafhiamohammad9244 4 ปีที่แล้ว

    It helped me so much. Thanks!

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

    This is so helpful! Thank you :)

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

    Great video. I learned a lot!

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

    Well explained, thanks for this video.

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

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

  • @NandiniSelwanayagam-ox2en
    @NandiniSelwanayagam-ox2en 11 หลายเดือนก่อน

    Wonderful explanations sir , love a lot❤

  • @playpianolikewoah
    @playpianolikewoah 6 ปีที่แล้ว +90

    You have really nice handwriting.

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

    Excellent explanation!

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

    Amazing stuff, thanks a lot for this video

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

    ITS 2020 and this was so helpful to me thanks

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

    Very helpful. Thank you!!

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

    Thank you sir, I found this video very useful

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

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

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

    Helped me alot thankyou for your effort....

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

    Thank you for sharing your knowledge

  • @user-hj4in5yp1n
    @user-hj4in5yp1n 3 ปีที่แล้ว

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

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

    short but very effective video 👏

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

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

  • @user-vk7me3cp7c
    @user-vk7me3cp7c 5 ปีที่แล้ว

    better than my teacher and I m not even English!

  • @isakerem5585
    @isakerem5585 5 ปีที่แล้ว +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.

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

    Sir thank you so much!

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

    Such a great help, thanks 🙏

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

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

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

    Seriously helpful! Thank you!

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

    Your handwriting is so satisfying

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

    Amazing video

  • @mrmayor2390
    @mrmayor2390 6 ปีที่แล้ว

    helpful thanks so much

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

    Thank you very much

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

    Holy actually helped

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

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

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

    Yooooo this really helps ❤️❤️❤️

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

    awesome

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

    thank you so much

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

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

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

    Trevvvvor my man

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

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

    well explained

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

    really awesome

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

    You're my savior

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

    Terima kasih Pak Muklason

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

    god bless your good soul

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

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

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

    You are a Legend

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

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

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

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

  • @feyza-9305
    @feyza-9305 4 ปีที่แล้ว

    Hi, which program do you use for writing on pc (i hope you're using a windows computer :D)

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

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

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

    Thanku sooooo much

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

    I love your handwriting

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

    Superb

  • @rachelowusu-ansah5674
    @rachelowusu-ansah5674 6 ปีที่แล้ว

    thank u

  • @adityaphybhu
    @adityaphybhu 6 ปีที่แล้ว

    Can this axiom be true from the upper bound like -$infinity$ to 0? And 0 be the upper value.

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

    can you do a video on functional completeness

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

    tnx man

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

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

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

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

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

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

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

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

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

    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

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

    It did thanks

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

    does anybody have the link to the full playlist?

  • @sarah-mq9ei
    @sarah-mq9ei 4 ปีที่แล้ว +1

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

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

    Sometimes professors might use ~ for negation.

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

    if you don't mind, what hardware/software did you use to produce writing effect like this?

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

      Probably Wacom pen

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

    this is good

  • @JiKey-sc2sk
    @JiKey-sc2sk ปีที่แล้ว

    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 ปีที่แล้ว

      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.