Propositional Logic: The Complete Crash Course

แชร์
ฝัง
  • เผยแพร่เมื่อ 22 ธ.ค. 2024

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

  • @Trevtutor
    @Trevtutor  ปีที่แล้ว +7

    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!

  • @awthura9599
    @awthura9599 ปีที่แล้ว +66

    You explained everything ten times better than my college professor, who I felt like speaking an alien language in class. Much appreciated 👍

  • @aldrichemrys
    @aldrichemrys 2 ปีที่แล้ว +63

    Mans dropped a banger after being in hiatus for six-months. Thanks, Trev. Your content is always top-quality, a free education punching above its own class.

  • @KainePamela
    @KainePamela 10 หลายเดือนก่อน +1

    Thank you very much! With this, I already feel more confident in passing the logic exam and not failing it again like the first time. Especially the inference rules make waay more sense now! Wish all profs explained matters like this! (And not with long-winded book explanations...)

  • @adriancollier4681
    @adriancollier4681 2 ปีที่แล้ว +50

    All the homies listen to The Ultimate Guide to Propositional Logic for Discrete Mathematics

  • @hacker0007
    @hacker0007 2 ปีที่แล้ว +19

    Wow! Look at me with Discrete Math exam tomorrow.

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

    i never thought i would love to watch an entire logic lesson thank you so much

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

    AH, omg, the way I got excited when I saw you came back with a banger after 7 months!!! I honestly missed your videos and I need this so much. Saving our lives again, thanks king

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

    Saving my ass in discrete maths 1 in uni, you're the reason I'm passing thank u so much!

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

    today I was watching your old videos to understand discrete maths better and I just realized you posted something 1 hour ago, coincidence? :O

  • @kevcopo
    @kevcopo 2 ปีที่แล้ว +27

    Bro JUST in time for my final tomorrow! You are the clutch king my good sir

  • @lak2501
    @lak2501 8 หลายเดือนก่อน +2

    You are better than my professor. He had me thinking I was an idiot you showed me how easy this all really is. 🙏🏾🙏🏾

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

    Thank you so much. You just saved me from failing one of my courses. Your content is really unique. Makes this stuff understandable and so easy

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

    Thank you so much for this, you really explained 6 lectures worth of material (with 20-30 slides per lecture) in time frame of a single lecture. Not only did you do this, but you did it in a way that was intuitive and really "clicked" with me.
    Again, thank you!

  • @nour_780
    @nour_780 11 หลายเดือนก่อน

    ‏‪18:06‬‏
    I like it as if it were a promise. Whether you return and fulfill the promise or not, the statement is true. If you promise me and fulfill the promise, then the statement is true only if you keep your word.

  • @razze127
    @razze127 2 ปีที่แล้ว +7

    Thank you! Will be very useful for me

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

    wow, the editing and clear instructions are just perfect! you have a talent for chopping up discrete math into easier bits for me to chew! thank you for taking the time to make this video !!! :)))

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

      Thanks! (There’s no editing though, this is one take haha)

  • @althealim3190
    @althealim3190 8 หลายเดือนก่อน

    i learned so much about propositional logic and the terms again since I have forgotten it already!! these onclude conjunction, disjunction, biconditional, negation, and implication. this is also very uselful in real life applications! These examples really helped with my skills in reasons and validating arguments

  • @graceko9308
    @graceko9308 2 ปีที่แล้ว +7

    hi trev, just wanted to let you know i love you :'D i was really hoping if you could cover calculus 3 as well, I'm taking it next semester and you're videos are so clear and concise and helpful, you're my go to when trying to learn math (you helped me so much in discrete and linear!) i would really appreciate it! hope you see this D:

  • @Bialanix
    @Bialanix 2 หลายเดือนก่อน

    i had trouble in lectures understanding this and you explained it 100x better thanks man

  • @T-The-K
    @T-The-K 2 ปีที่แล้ว +7

    Are you going to make a similar video for Predicate logic?
    You're carrying the math of my Ai undergrad on your shoulders. I hope i can support you in the future. Thank you so much!

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

    Was just watching Propositional logic in the Discrete Maths playlist and this popped up! Thanks a lot a lot a LOT for making these videos!!

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

      Update: It went well, thanks a lot for making those videos!!

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

    Mann, Thank you,, I might understand this time, 1 hr and 30 min. in college isn't enough to understand this thing.

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

    A good hour long video to help me fall asleep tonight. Magical Voice. Saved!

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

    Thanks, Trev! Very neat explanation, and this propositional logic part of math is so fun!

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

    Thank you for you Trev ! I've watched all of ur videos and it helped me a lot ❤❤

  • @YogenGhodke-g6e
    @YogenGhodke-g6e ปีที่แล้ว

    BEAUTIFULLY EXPLAINED

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

    Kudos .......... very well explained, better than my Uni lecturer.

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

    Well the last part about logical inferences is like Gebrish for me. Thanks for this.

  • @biscotty6669
    @biscotty6669 11 หลายเดือนก่อน

    Great vids! Thanks!
    "Just in case that" makes sense if you add the missing article: "Just (only) in the case that".

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

    Super happy to see you post again :) love your videos

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

    Thanks a lot trev. Your videos were so helpful

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

    Trev,at 27:32 I get (0,0,1,0) for (p & ̴ q )because in my table I listed "q" first and "p" in the second column, so my final result became(1,0,1,0) ! The reason I thought that I must list q in the first column was that in the WFF we have (q→ ̴ p). Can you explain, what is the logical order of listing the variables in our table please? because then my result is q and not p!

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

      You can introduce them in whatever order you see fit, but the resultant table will be different. Usually it’s alphabetical.

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

    Good job! You made logic so easy!

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

    great explanation thank you Trev.

  • @annecanabarro
    @annecanabarro 8 หลายเดือนก่อน

    Thanks! clear and concise

  • @deadchipmunk-w5i
    @deadchipmunk-w5i ปีที่แล้ว

    thank you so much you saved my life in math today

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

      You're so welcome!

  • @_ramen
    @_ramen 6 หลายเดือนก่อน

    the implication operator can also be expressed as p->q = max(1-val(p),val(q))

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

    life changinggg!

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

    Thx dude, this is gonna save my ass on my test tomorrow. I didn’t think I signed up for this when I started studying philosophy xD (jkjk)

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

    I've been watching a number of your videos -- clear and excellent explanations, thank you. However, I have to object to your equating of the English "unless" to logical OR here and in another video. It is not the same. For example, let's consider the sentence "I'm going to the party, unless you are going to the same party".
    It can be rephrased without the use of "unless" as "If you are going to the party, I'm not going. If you are not going, I'm going."
    So, the truth table looks like this:
    1 1 0
    1 0 1
    0 1 1
    0 0 0
    The original sentence can only be true if (and only if) only one of us is at the party. Both of us cannot be there (first line), because I said I'm not going if you are going. And none of us cannot be there (last line), because I said I'm going if you are not going.
    The truth table is different from OR's table, and is actually the same as XOR.
    What am I missing?

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

    Self-studying here because for now I don't have the financial power to pursue😂. And I am tutoring some students to earn and learn 😉

  • @MathCuriousity
    @MathCuriousity 11 หลายเดือนก่อน

    I have watched much of yours and others on formal logic but I keep coming across confusing terms: Do you mind helping me for predicate logic in explaining the difference between the following terms “interpretation” “structure” “semantics” “model” “theory”. Maybe visually also like if each fits inside another?

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

    GOD BLESS YOU

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

    thanks so much!

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

    good stuff king trev

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

    A f-ing legend.

  • @thinuraedu24
    @thinuraedu24 2 หลายเดือนก่อน

    thank you

  • @ChaosCardIC1000
    @ChaosCardIC1000 9 หลายเดือนก่อน

    This is going to sound pretty wild but what if for the implication table the last to options for p and q actually result in the answer 1 and 0 instead of 1. Effectively p and q are in a superposition until we know if we get desert or not 🎂.

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

    love you bro

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

      Love you too

  • @MariaSanchez-wz4kc
    @MariaSanchez-wz4kc 2 ปีที่แล้ว

    king asf imma use this to study for my final

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

    53 min I don't understand how you made the jump to Modus Tollens. Can you break down the steps more?

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

    thanks for this buddy boo

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

    i love you😭

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

    Is there a way to contact you via e-mail? The address, which is listed on your profile, does not work :(

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

    🔥🔥🔥🔥

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

    How did you know my final exam is tomorrow?

  • @RyanDrof
    @RyanDrof 9 หลายเดือนก่อน

    i love you

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

    OMG!!!!!

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

    Lmao my final is tomorrow