Logic for Programmers: Propositional Logic

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

КОМЕНТАРІ • 87

  • @takashiyoda2000
    @takashiyoda2000 3 роки тому +57

    Thank U for teaching this, It is easy to understand even for "2nd learner on English " ( like Japanese like me)

  • @prod.kashkari3075
    @prod.kashkari3075 4 роки тому +32

    yeah this was exponentially better than my foundations 1 lecture yesterday on propsitional logic

  • @adrianfernandez2932
    @adrianfernandez2932 6 років тому +33

    I do really like your videos! Please keep doing this. I am a beginner programmer and logic is something very important that sometimes is not stressed enough. I was looking for this material for a long long time.

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

      Awesome! ❤ So glad I could help😎💻🎉 Make sure you check out the set theory vid that freecodecamp put out today!

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

    you teach very well,i speak portuguese, you have a great diction, i am watching your video to hear a native english speaking speaker. And as your video doesn't have background music, Google translate is easy to translate the subtitles I think. Thanks.

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

    _Propositional logic_ is sometimes called _sentential logic_ -- or propositional/sentential _calculus_.
    I imagine it would also be useful to learn _predicate_ logic -- which is an extension of propositional logic.

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

    Excelente video amiga, muchas gracias por enseñarnos la logica de programacion para nuestros trabajos

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

    Great job. You take it from the basic and make it very simple to digest

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

    Thank you, I would love an in-depth course about logic!

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

    THANKS FOR ALL WHAT U ARE DOING!!! MAY, GOD BLESS YOU ALL......

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

    14:35 Everything about the following slides makes me think this has been written in PowerPoint.
    • The first line is set in Lato, whereas the rest is in Consolas.
    • The indentation is out of whack.
    • The quotation marks are curled.
    • The quotation marks are not coloured with the string.
    • The string colour is the same as the variable colour, and the one in the condition doesn’t match the one in the _echo_ statement.
    • The double-equals symbol is italicised.
     On the next slides:
    • The quotation marks are curled.
    • The I in ‘if’ is capitalised.

  • @Ou8y2k2
    @Ou8y2k2 6 років тому +10

    Man, fCC is attracting all the YT coding talent.

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

    🤣🤣👏👏 ur style of clear and cutesy teaching cracks me up!!

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

    If things are arranged in a logical pattern it will either give us true or false value it extends to all field of study
    And it gave birth to computer science

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

    Thanks for the tutorial. You make it look really easy

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

    I thought question were not consider statements. “what is your favorite flavor?” is considered a statement? Looking for a bit of clarification

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

      She explains it in the video. All possible sentences are statements. So questions and propositions are two different types of statements.

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

      So based on what I understand a statement is something that does not require a reply so a question is not a statement. So you are correct.

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

    You might want to lengthen the time to answer your multiple choice statements in your quiz (for beginners) AND use a question mark to make them questions. I'm just not grokking the homework.

  • @miteshpatil6949
    @miteshpatil6949 6 років тому +4

    make more videos like this. learning a lot from fcc videos

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

    Hi Code Commander. I love this your video on logic. Can u please do more on javascript? I really want to be good in programming

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

    I think many community colleges offer online overview courses on propositional and predicate logic -- probably called something like _symbolic logic_. Should be reasonably cheap to audit one.

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

    Thank you for your explanations,

  • @TheFuture36520
    @TheFuture36520 2 місяці тому

    So insightful 👏

  • @RealToughCandy
    @RealToughCandy 6 років тому +19

    Commander Candy on the fCC! Whut whut!

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

      RealToughCandy The Candies are taking over! ✌💖💻

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

      u really have biggiees... that was distracting me

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

    What happens if the p like flips to a b, how would I be able to continue?

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

    So it cant be either true or false, it has to be true or false. Just a little glitch in the Matrix about "Single Value" @3:35. As a Programmer coming back in, I hear that as if it code written (or even pseudocode minor issue). So that was not like an error, more like a warning or something like that where you can almost get away with the code (as if it was a program written based on that statement or something). Then again, if it was written in a code example it would show up as an error.
    - Away from that, I'm loving the vibes; both how you look and your sound. Glasses would've been an additional plus, but if you don't need it, no need to fake it. Unless you do wear specs and decided to wear contacts.

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

    I didn't understand the F -> F = T in implications. Nor did I understand the F F = T in biconditional.

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

      So, 3 months later, here is what i think it means.
      Let's think like this: "An orange is blue" is false, we know that, but if the answer come out as true, then it's false, because an orange is not blue.
      Explaining a little more would be like saying that we already have an answer for the first statement, we just check if the answer that someone else gave is the correct one.

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

    WOW! Great! Really appreciate your work!

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

    i remember our topic in destructures in mathematics
    nice tutorial I learn something today although its quite confusing

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

    Gorgeous doll, thank you so much. Cristal clear!

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

    Great video! Thanks miss Candy! :D

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

    I love logic, I love set theory

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

    Thank you commander, very good video

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

    Loved this tutor!!!

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

    Nice video! OBS : Homework link is broken... ^^"

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

    For all x, y in R
    x + y = 36
    Is true or false
    Its a proposition, but its not a decideable theorem given the information supplied :)

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

    r is the neg(q)
    How can that adjunctional statement even be True ?
    (p->q) ad (neg(p) -> r)
    That statement is only true when r and q are true and since neg(q)=r
    The two statements can never be true at the same time and the whole statement can never be true
    Talking about 17 minute ...

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

    Great video

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

    Nice lecture

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

    She's Janice from friends

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

    Reading between the lines, are you Sally or Linda? Further on the Exclusive side (logically speaking), thought was I can't get with Both Sally and Linda, I can get with either/or, and lastly if I can't get with either one of them, then clearly its not true.

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

    just to explain the first part from a beginner pov: a question, command, or gibberish cant be a proposition

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

    still good in 2022

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

    Harley Quinn teaching logic

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

    Btw 4 +4 also equal to 1

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

    She's cute. In a logical way.

  • @fx-991exclasswiz8
    @fx-991exclasswiz8 4 роки тому +1

    Anybody from India, I m from there!!,, 🇮🇳😀😀👌

  • @ArnaldoSanches-ji4bq
    @ArnaldoSanches-ji4bq Рік тому

    Não entendi nada do que ela falou, parece que fala outra língua

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

    Man
    That's a lot of facial expresions

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

    Good

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

    I'm distracted

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

      bro are you still learning programming?

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

      @@kwanzamwisho490 yeah why?

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

      @@Intu11110 I'm just started learning Python, I will like to ask you some questions when i get stuck! if you don't mind

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

      @@kwanzamwisho490 what type of questions you have bro?

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

      @@Intu11110 I get distracted by something or other all the time, don't know how to deal with this.

  • @Zen-lz1hc
    @Zen-lz1hc 2 роки тому

    Watched

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

    Commander Candy is good for idiot's team. Indeed.

  • @ArnaldoSanches-ji4bq
    @ArnaldoSanches-ji4bq Рік тому

    Difícil demais

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

    Run

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

    :BOOBA

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

    I didnt know Billie Eilish can code.

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

    Is that the French flag on her head?