Propositional Logic Validity, Soundness, and Entailment

Поделиться
HTML-код
  • Опубликовано: 17 янв 2025

Комментарии • 19

  • @T-The-K
    @T-The-K 2 года назад

    Another great video, you actually make me worry you make it easier than it is in reality. Im preparing for the start of university. But from what i saw there it looks so convoluted. Here it's nice and bite sized. Easy to follow and understand.

  • @begejekan1244
    @begejekan1244 4 года назад +1

    you should put the link of the playlist in your video description, it makes it easier for viewers who came from search results (like me) to follow up on the lecture instead of digging in your listed playlist

    • @Trevtutor
      @Trevtutor  4 года назад

      That’s smart. I shall do that. All the videos are updated now :)

  • @15kazzi
    @15kazzi 4 года назад +2

    Quick question. Your videos are incredibly helpful in helping me catch up for class, so I was wondering why some of them are private?

    • @Trevtutor
      @Trevtutor  4 года назад +6

      They are released daily for algorithm & sustainability purposes. I’d love to release them as they’re made, but unfortunately it would hurt the channel from an outreach/algorithm perspective :(

  • @handoll4337
    @handoll4337 4 года назад +2

    what program do you use to write?

    • @Trevtutor
      @Trevtutor  4 года назад +1

      PDF Annotator

    • @handoll4337
      @handoll4337 4 года назад

      @@Trevtutor Thanks ♥️🙏

  • @augustusg857
    @augustusg857 Год назад

    saying that a conclusion follows the premises is saying that the premises create the conclusion or claim, they create the the belief. its like giving the claim 1st and then someone asks what makes you believe that larharl like peas? youd then give them p1 and p2 as reasons or cause for believing such conclusion. ppl also say that the claim is based off of the premises meaning made from them or they say predicated.

  • @DaiMoscv
    @DaiMoscv 3 года назад

    what is logical consequences I need more of them

  • @zerodono
    @zerodono 4 года назад +1

    I know this is far from the point but the Disgaea reference stood out cause I just started playing 5 lol

  • @mohanish007
    @mohanish007 Год назад

    I don't understand why only when the conjunction of all premises entail tautology, it is a valid argument? shouldn't we just looking what conjunction all premises entail when all the propositions are true ? like isn't that is what we assume when looking for valid arguments ?

  • @ProFatXuanAll
    @ProFatXuanAll 2 года назад

    Can we formally define premises as we formally define propositions or valid arguments?

    • @ProFatXuanAll
      @ProFatXuanAll 2 года назад

      Or is premise just another word for proposition?

  • @andreaherrera4854
    @andreaherrera4854 4 года назад

    TrevTutor I have a question, I stopped the video to try and do the exercise on my own and got a different combination of 1s and 0s for the ((A -> B) ^ (~B -> ~A) ^ B) 1,0,0,0 and (~A v ~B) 1,0,1,0 but still got as an answer all 1s at the end, is that possible or is it wrong and I got lucky?

  • @mohanish007
    @mohanish007 Год назад

    I am extremely confused about why it has to be tautology

  • @marc1234562
    @marc1234562 4 года назад +1

    i think it is a tautology, if it's right i have hope :D

    • @kaushalgogula2138
      @kaushalgogula2138 3 года назад +1

      Oh no, you missed on one thing, otherwise it would have been a tautology!