תחשיב הפרדיקטים – הבדלי גרסאות

כדוגמה נבחן את עשרעשרת הפסוקים שניתן ליצור מן היחס "אוהב את" או לחלופין "נאהב על ידי", המקבל שני ארגומנטים, בצירופים שונים של שני הכמתים. בתור סמנטיקהכסמנטיקה נניח שמדובר בעולם בעל חמישה אובייקטים, a,b,c,d,e, ונראה אילו פירושים שונים יכולים להינתן בעולם כזה עבור היחס "אוהב את", וכיצד הטענה המכומתת יכולה לבטא פירושים אלו.