Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

สรุปเหตุผลเป็นภาษากฎ

  • กฎระเบียบเป็น Implikationsformeln ของตรรกะคำกริยา: \[\underbrace{A_1 \wedge A_2\wedge \ldots\wedge A_n}_{\textrm{Rumpf}} \to \underbrace{H_{}}_{\mathrm{Kopf}}\] →ความหมายเทียบเท่ากับความร้าวฉาน: \[ H\vee \neg A_1 \vee\neg A_2\vee \ldots\vee\neg A_n\]
  • ค่าคงที่ตัวแปรและสัญลักษณ์ฟังก์ชันอนุญาต
  • ปริมาณสำหรับตัวแปรที่มักถูกมองข้าม:
    เข้าใจว่าเป็นตัวแปรเชิงปริมาณในระดับสากล (เช่นกฎนำไปใช้กับงานที่มอบหมายทั้งหมด)
  • ความร้าวฉานที่มีจำนวนมากของอะตอมที่ไม่เมื่อตะกี้
    →กฎลักษณะที่แยก: \[ \underbrace{A_1 \wedge A_2\wedge \ldots\wedge A_n}_{\textrm{Rumpf}} \to \underbrace{H_1 \vee H_2 \vee \ldots\vee H_m}_{\mathrm{Kopf}}\]

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.