Logic for Programmers: Propositional Logic

แชร์
ฝัง
  • เผยแพร่เมื่อ 6 ม.ค. 2025

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

  • @takashiyoda2000
    @takashiyoda2000 4 ปีที่แล้ว +57

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

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

  • @prod.kashkari3075
    @prod.kashkari3075 4 ปีที่แล้ว +32

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

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

      Thank you! I'm glad you liked my video!

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

  • @Ou8y2k2
    @Ou8y2k2 6 ปีที่แล้ว +10

    Man, fCC is attracting all the YT coding talent.

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

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

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

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

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

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

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

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

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

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

  • @TheFuture36520
    @TheFuture36520 3 หลายเดือนก่อน

    So insightful 👏

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

    Thanks for the tutorial. You make it look really easy

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

    WOW! Great! Really appreciate your work!

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

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

    Great video! Thanks miss Candy! :D

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

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

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

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

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

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

    Thank you for your explanations,

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

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

    Loved this tutor!!!

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

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

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

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

    Thank you commander, very good video

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

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

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

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

    I love logic, I love set theory

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

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

    Great video

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

    Nice lecture

  • @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 :)

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

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

    Harley Quinn teaching logic

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

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

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

    She's Janice from friends

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

    still good in 2022

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

    She's cute. In a logical way.

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

    Btw 4 +4 also equal to 1

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

    Good

  • @Zen-lz1hc
    @Zen-lz1hc 2 ปีที่แล้ว

    Watched

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

    Man
    That's a lot of facial expresions

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

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

  • @ArnaldoSanches-ji4bq
    @ArnaldoSanches-ji4bq ปีที่แล้ว

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

  • @fx-991exclasswiz8
    @fx-991exclasswiz8 4 ปีที่แล้ว +1

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

  • @ArnaldoSanches-ji4bq
    @ArnaldoSanches-ji4bq ปีที่แล้ว

    Difícil demais

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

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