Proof and Problem Solving - Quantifiers Example 01

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

КОМЕНТАРІ •

  • @TirthPatel
    @TirthPatel 8 років тому +10

    I've exam on Monday. This clears my doubt. Thank you so much for clear explanation and examples. :)

    • @AdamPanagos
      @AdamPanagos  8 років тому +2

      You're welcome! Glad I could help and hope the exam went well.

  • @thepuzzlemaker2159
    @thepuzzlemaker2159 4 роки тому +6

    I mean, a dog or cat that gets a perfect score on a final exam _is_ a genius

  • @yuribel-fabs337
    @yuribel-fabs337 6 років тому +2

    hi sir, my idea is that your answer on the last example is correct but i think there is a more appropriate way of answering the last example about no students are taking both the calculus and linear algebra classes this semester...
    for all x ~S(x) & ( ~C(x) or ~L(x))
    is my answer right?

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

      I think what you have is reasonable as well; however, I do prefer mine since I think the "no students" words are more clearly seen in the "~exist an x" math. That's just my preference though. Often with problems like this I don't know that there is a unique correct answer and that's fine. The main goal of problems like this is to be able to get comfortable mapping words to mathematical symbols and vice versa. Hope that helps.
      Adam

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

    the best course ever; , god bless you

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

      Thanks for the kind words, thanks for watching.

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

      @@AdamPanagos could you make a linear algebra college exams correction videos please, thanks again

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

    2:14 what is role of square brackets here?

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

      Just indicating that this statement holds for all x. Just a grouping to make the logical expression clear. Could use parentheses instead; nothing special about the brackets. Hope that helps,
      Adam

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

      @@AdamPanagos ohkays, thanks

  • @johnny404
    @johnny404 8 років тому +2

    Thank you so much! You're my hero!

    • @AdamPanagos
      @AdamPanagos  8 років тому

      You're welcome, thanks for watching!

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

    sir where use "impies" sign and where "and"....please tell me it confuse me alot

  • @madushagunasekara498
    @madushagunasekara498 7 років тому

    Hi Adam! Thank you very much for your tutorial. I just wanna clarify a thing In part (d). It indicated as "this" semester which is implying a particular semester. So can't we write is as,
    take_subject(x,y,z) = "x takes subject y in semester z"
    ¬∃(x) [ s(x) ∩ take_subject(x,Calculus,T) ∩ take_subject(x,LinearAlgebra,T) ]
    or the semester is not just important?

  • @hkrish26
    @hkrish26 10 років тому

    Hi Adam, good examples. May i know what application you are using to do this video

    • @AdamPanagos
      @AdamPanagos  10 років тому

      Thanks, glad you found the video useful. I use an app called Doceri (doceri.com/) for my iPad to do the recordings. You can record/script all your writing, then record audio over it as you "play" the writing back. I like doing this much better then trying to write everything in real time.

  • @bongatojerlynl.1045
    @bongatojerlynl.1045 3 роки тому +1

    Great help. Thank you.

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

      You're very welcome, thanks for watching. Make sure to check out my website adampanagos.org for additional content (600+ videos) you might find helpful. Thanks, Adam.

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

    There is a typo in part d on the last line. The bracket vs. the parenthesis, minor.
    I like your videos, they are helping me through my proofs class at University of Wisconsin-Stevens Point.

    • @AdamPanagos
      @AdamPanagos  7 років тому

      Ah yes, sorry about that and thanks for catching. Glad the videos are helping; good luck in your studies!

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

      @Adam Panagos Consider pinning it? or saying it in ur own comment and pinning that?

  • @CesarGonzalez-ok5io
    @CesarGonzalez-ok5io 9 років тому

    Hi Adam, I find your videos extremely helpful. Thanks for the upload. Quick question. In example c) where Alice and Bob watched a different move, don't you have to explicitly state that they are not watching the same movie, i.e. x does not equal y?

    • @AdamPanagos
      @AdamPanagos  9 років тому

      Cesar Gonzalez Yes and no! In terms of how we typically interpret the English sentence, "Alice watched a movie and Bob watched one too", this somewhat suggests that they watched different movies. However, this is still a true statement even if they both watched the same movie, i.e. x = y. If the English sentence was "Alice watched a movie and Bob watched a different movie", then we'd want to add the condition x ~= y.
      Hope that helps.

  • @abbi7864
    @abbi7864 8 років тому

    How would you write a proof to prove that the logical statements are true?

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

    what if there is something like (∃x)(∃x)for A?

  • @kamilabdul-rauf3957
    @kamilabdul-rauf3957 5 років тому

    pleass how do i download this very important video

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

    thank you so much. you are the best

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

    doesn't "a movie" imply "any movie"?

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

    thanks ada

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

      You're welcome, thanks for watching.

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

    THANK YOU!

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

      You're welcome, thanks for watching!

  • @z-rak1051
    @z-rak1051 9 років тому

    Thanks alot sir!

    • @AdamPanagos
      @AdamPanagos  9 років тому

      +Z-rak You're welcome, glad you like the video!

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

    If Joan has failed to do it,no one else can do it....Some one help me on dat

  • @hustlelife8560
    @hustlelife8560 7 років тому

    please help me...
    Every boy who loves Mary hates every boy who Mary loves.

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

    It helped me a lot thank you. I would really appreciate if you can help me with this one. 「Some man stole of borrowed Ben’s Car」I can’t figure out :(