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.

ทฤษฎีรูปแบบเช่น (ประดิษฐ์)

ภาษา

  • ตัวแปร \ (\ ldots, W, X, y, z, \ ldots \)
  • สัญลักษณ์ \ (\ กทพ. \)
  • ประโยคอนุญาต: \ (\ mathop {\ กทพ. } b \) สำหรับ \ ((b) \) ตัวแปรใด ๆ

เราต้องการที่จะรู้ว่า

  • อะไรคือผลเชิงตรรกะของชุด \ (\ {x \ mathop {\ กทพ. } y, y \ mathop {\ กทพ. } z \} \)

เพื่อที่จะตอบนี้เราต้องพูดในสิ่งที่รูปแบบในความหมายของเราคือ


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.