לכל כמת יש אזור תחולה | אם נכתוב למשל , אזור התחולה של הכמת הראשון הוא תת-הפסוק , ואזור התחולה של הכמת השני הוא ההופעה השניה |
---|---|
את הפסוק "אין מספר גדול ביותר" אפשר להצרין באופן פשטני, כך: , כאשר הוא הפרדיקט "x הוא מספר גדול ביותר" | לעתים קרובות, מילות הקישור מציינות את הקשר הלוגי |
בפסוק זה אי אפשר להציב את x: הפסוק למעשה אומר "כולם אוהבים את y", והתפקיד של x הוא פורמלי לחלוטין - לסמן את המשתנה העובר על כל האפשרויות.
וריאציות וכימות יחסי הכמתים היסודיים מאפשרים לנסח טענות סטנדרטיות נוספות | יחס בין חלקי הטקסט השונים בין משפטים ובין פסקות , המבוסס על ההיגיון |
---|---|
הבעיה היא שעד כה הרשינו לכתוב בתור קיצור ל- , ובקלות אפשר לנחש למה הכוונה גם בביטוי כמו למרות שלא נעים לכתוב אותו במפורש | בפועל, שני הכמתים נמצאים בשימוש מתמטי שגרתי |