Identity

แชร์
ฝัง
  • เผยแพร่เมื่อ 6 ต.ค. 2024
  • Identity in predicate logic

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

  • @James-eg7jd
    @James-eg7jd 8 ปีที่แล้ว +1

    At 25.26 there is a not-wff as an answer. It seems to make sense if "for all z" is ignored?

    • @grandolphmayes
      @grandolphmayes  8 ปีที่แล้ว

      +James Dow Thanks very much for pointing this out. I just put in a note.