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.

ประเภทของกฎ

ชื่อของ "กฎ" ของการสรุปเหตุผล:
  • ข้อ: ความร้าวฉานของข้อเสนออะตอมหรือเมื่อตะกี้ข้อเสนออะตอม
  • ประโยคที่ฮอร์นประโยคที่มีอะตอมไม่เมื่อตะกี้มากที่สุดคนหนึ่ง
  • ประโยคที่ชัดเจน: ประโยคหนึ่งอะตอมไม่เมื่อตะกี้
  • ข้อเท็จจริง: ประโยคของอะตอมที่ไม่เมื่อตะกี้เดียว
ตัวอย่าง:
  • ข้อ: \[\mathsf{Person}(x) \;\to\;\mathsf{Frau}(x) \vee \mathsf{Mann}(x)\]
  • ประโยคที่ชัดเจน: \[\mathsf{Mann}(x) \wedge \mathsf{hatKind}(x,y) \;\to\;\mathsf{Vater}(x)\]
  • Icon: \[\mathsf{hatBruder}(\mathsf{mutter}(x),y) \;\to\;\mathsf{hatOnkel}(x,y)\]
  • ประโยคที่ฮอร์น "Integritätsbed" \[\mathsf{Mann}(x) \wedge \mathsf{Frau}(x) \;\to\;\]
  • ความเป็นจริง: \[\mathsf{Frau}(\mathsf{gisela})\]

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.