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.

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

ตัวอย่างที่เรียบง่าย: คน (x) ∧ hatKind (x, y) → vaterVon (x, y)

ความคิด
แทนที่คน (x) โดยการรีดอะตอมเพื่อให้กฎจะแสดงเป็นบทบาทรวมทั่วไปที่มี◦

เคล็ดลับกับ∃ R.Self สามารถแปลงเรียนในม้วน:
  • บทบาทของชายคนหนึ่งผู้ช่วย R
  • ความจริงคนช่วย≡∃ R ตัวเองคน.
  • ปรีชา: "คนเป็นสิ่งที่ดีที่มีความสัมพันธ์ R-man กับตัวเอง."
ด้วยเครื่องมือนี้กฎความจริงที่สามารถเขียนเป็น:
R คน◦ hatKind \ (\ sqsubseteq \) vaterVon

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.