פרדיקטים לוגיקה, פסוק אמיתי לוגית

[lifeofpai]

פרדיקטים לוגיקה, פסוק אמיתי לוגית

מדוע פסוק זה אמיתי לוגי תמיד?
יש לי שפה L ומבנה M
R יחס חד מקומי

תודה!
אם אני בוחר שהעולם (דומיין) M יהיה = {1,2}
וR^M יהיה {1}
אז מדוע זה נכון?

 

[עעעערררר]

בדוגמא שלך, קח x=2

באופן כללי, אם R נכון תמיד, אז צד ימין של הגרירה נכון, ולכן לכל בחירת x, הגרירה נכונה,
ואם R אינו נכון תמיד, אז אפשר לבחור x ש-R לא מתקיים עבורו, ואז צד שמאל של הגרירה שגוי.