Truth Trees for the IDENTITY Operator

แชร์
ฝัง
  • เผยแพร่เมื่อ 16 ต.ค. 2024

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

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

    Good content! Greetings from Italy!

  • @UnknownCity-gd7iw
    @UnknownCity-gd7iw 4 หลายเดือนก่อน

    Savior. THANKS A LOT!!! You literally save my final

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

    just what i needed, thank you

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

    These tutorials literally boosted my Maths knowledge & marks!

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

    at existential elimination in eq 2, @3:40, havent we already used a in eq.3 ?
    by the way, are the order of the equations important?

    • @bramvanheuveln6169
      @bramvanheuveln6169 6 หลายเดือนก่อน +1

      Yes, exactly! The a is used in premise 3, so cannot be used for the Existential Elim on line 4.

    • @UnknownCity-gd7iw
      @UnknownCity-gd7iw 4 หลายเดือนก่อน +1

      I think premise 3 suggests that all x are a so maybe we can just put every x into a?

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

    Still confuse how did you give the constant name