Logic 6 - Propositional Resolutions | Stanford CS221: AI (Autumn 2021)

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

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

  • @alperari9496
    @alperari9496 5 หลายเดือนก่อน +4

    Very clear explanation. Helped me understand my lectures. Thanks a lot!

  • @user-dj9iu2et3r
    @user-dj9iu2et3r ปีที่แล้ว +3

    how did you go from A -> (B V C) to ~A V B V C?
    wouldn't it be ~A V (B V C) ?

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

      sometimes we omit parentheses

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

      Little late but the parentheses get omitted since the entire clause is just "V"