What are Proofs? - Power of Logic

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

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

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

    Thanks for posting this. Trying to make sense of my logic textbook right now.

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

    I am taking a logic and critical thinking class right now and formal proofs were making no sense but you explained it so well in this video I finally get what I'm learning! Thank you, you're a great teacher

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

    Which one of your videos are the continuation of this one?
    Thanks!

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

    so 3. Bill is a simp? am I getting this right?

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

      Yes😳😳😳😳

  • @jenniferstill-schiff5094
    @jenniferstill-schiff5094 7 ปีที่แล้ว +3

    not if it't the jake I know.
    He always goes back on his word.

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

    If B doesn’t dance, J can still dance based on vacuously true.

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

    Can you do one like this?
    A, P, [K ->(Q->A)] -> M, P -> (T->A) |- H

  • @MarkWomack11
    @MarkWomack11  9 ปีที่แล้ว

    Are you sure you wrote it down right? There is no H in the premises.

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

    1=0, so i am the pope.
    if 1=0, then i am the pope.
    1=0 (add 1 to each side)
    2=1
    the pope is 1 man, i am 1 man, since 2=1, the pope and i are 1 man.
    this is the problem with logic is it can be twisted to make crazy conclusions.

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

      Well when you're argument is founded on the false proposition that 1=0 it doesn't seem that surprising that you might get a "crazy conclusion". The origin of the example you've paraphrased is to show that assuming false propositions can lead to any number of false conclusions and is not necessarily sound.

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

      @@g_8533this guy got it.

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

    This approach to logic is illogical