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.

กฎเพิ่มเติม (IV)

ไม่ง่ายดังนั้น:
Vegetarier(x) ∧ Fischprodukt(y) → magNicht(x,y)
ความคิด
เชื่อมต่อชิ้นส่วนที่ไม่ปะติดปะต่อในร่างกายกฎโดย U. สากลบทบาท
  • บทบาทผู้ช่วย R และผลิตภัณฑ์ปลา R มังสวิรัติ
  • ด้วยตนเองมังสวิรัติสัจพจน์เสริม≡∃มังสวิรัติ R. ปลาด้วยตนเองและผลิตภัณฑ์ปลา≡∃ผลิตภัณฑ์ R.
ด้วยหลักการเสริมเหล่านี้กฎที่สามารถเขียนเป็น:
\[R_{Vegetarier} \circ U \circ R_{Fischprodukt} \sqsubseteq magNicht\]

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.