|
|
של ' מנשק ' הינה הקבוצה הבאה : { , < Max , Dani > , < Yossi , Yossi > , < Dani , Gila > > . { < Gil , Yossi > , < Lucy , Felox > , < Lucy , Yossi מהי ההוראה של ה VP ' מנשק את יוסי ' ? כאמור , זוהי קבוצה הבנויה מהאיברים הראשונים באותם זוגות השייכים להוראה של ה V ושהאיבר השני שלהם הוא ההוראה של ה , NP במקרה שלנו , יוסי . כלומר , ההוראה של ' מנשק את יוסי ' הינה הקבוצה הבאה : { . { Yossi , Lucy , Gil נחזור לדוגמה שלנו . נוסיף לעץ את ההוראה של ה . VP כעת נותר רק לחשב את ההוראה של ה S על סמך ההוראות של ה NP וה VP שבונים אותו . ההוראה של משפט חיווי היא ערך האמת שלו . כיצד ניתן להגיע לערך האמת של המשפט על סמך ההוראה של ה NP ( ) וההוראה של ה VP ( קבוצת אלה שאוהבים את גילה )? אם שייך לקבוצת אלה שאוהבים את גילה , המשפט אמיתי , ואם אינו שייך לקבוצה זו , המשפט שקרי . כלומר החוק הסמנטי עבור S יהיה בצורת תנאי : ההוראה של ה S היא " אמת " אם ורק אם ההוראה של ה NP שייכת להוראה של ה . VP נתבונן בהוראות הרלוונטיות ונראה אם התנאי מתקיים . האם שייך לקבוצה { , } ? התשובה במקרה שלנו היא כן , ולכן ...
To the book |
|
|