שאלה בלוגיקה מתמטית

[השורדת בגדול]

שאלה בלוגיקה מתמטית

אם יש לי משתנה חופשי ונתון P(x) אומרים שהעולם הדיון הוא {a,b} האם אפשר להציב ב-x את עולם הדיון? או הצבת העולם הוא רק במשתנה מכומת?

 

[d a y d r e a m e]

לא בטוח...

אבל נדמה לי שאתה יכול להציב רק בהופעות חופשיות של X - הופעות לא מכומתות.

 

[AnarchistPhilosopher]

זה לא אומר הרבה...

תחשוב תמיד איזו משמעות יש אם תציב את איברי המודל. בעיקרון זה תלוי בכללי ההיסק שיש לך, למשל יכול להיות שיהיה לך כלל היסק שמאפשר לך להסיק את הבא: P(x)->EyPzz ולכן תצטרך אז תצטרך P(x)zz יהיה שקול ל-PavPb. תפרט מהם כללי ההיסק שלך.