הכמת הכולל

תהי ( (ϕ x תבנית בעולם . U אם מוסיפים ל- ( (ϕ x את הקידומת ' לכל , ' x מתקבל פסוק . למשל , בעולם של אנשים , הוספת הקידומת הזאת לתבנית ' x יפה ' , מניבה את הפסוק ' לכל x , x יפה ' , שהוא הפסוק הכולל האומר : ' כולם יפים ' . 1 ' כולם ' – משמע כל האנשים בתחום הדיון . אמת , בין אם לאו ) . לפיכך הפסוק (( ∀ x ( P ( x →)) ( Qx האומר : ' לכל x טבעי , אם x זוגי אז x זוגי ' הוא אמת . על הפסוק שימו לב ! דוגמה זו ממחישה , שלוח האמת של ' →'→ משקף נאמנה את המשמעות ' אם ... אז ... ' במתמטיקה . כאשר פסוק כולל מוצג כ- (( , ∀ x (ϕ( x כלומר כפסוק המתקבל מתבנית במשתנה אחד על-ידי כימות כולל על המשתנה הזה , קל לראות מה צריך להיות מצב העניינים כדי שהפסוק הכולל יהיה אמת . בבירור ,  To the book