פסוקים כוללים

הפסוק ' כל מספר טבעי גדול ממיליון הוא פריק ' איננו שלילה , והוא אינו מתקבל מזוג פסוקים אחרים בעזרת קשר פסוקי דו-מקומי . במונחי פרק 5 זהו אפוא פסוק פשוט . בשפת הפסוקים מייצגים פסוקים פשוטים באמצעות משתנים פסוקיים . בייצוג כזה של הפסוק הנידון מפסידים מידע לוגי ; הולך לאיבוד הקשר הלוגי בינו לבין סדרת הפסוקים ' מיליון ואחת פריק ' , ' מיליון ושתיים פריק ' , ' מיליון ושלוש פריק ' , ' מיליון וארבע פריק ' , ... . פסוקים מעין ' כל מספר טבעי גדול ממיליון הוא פריק ' , ' כל ילדי משפחת לוי מרכיבים משקפים ' , ' כל אדם הוא בן תמותה ' , ' כל מלבן הוא מקבילית ' או ' כל האמהות אוהבות את ילדיהן ' מכונים פסוקים כוללים ( . ( universal statements באמירת פסוק כולל קובעים בבת אחת את האמיתיות של אוסף שלם של טענות ( מאותו סוג ) , שמספרן כמספר הדברים שעליהם הפסוק מדבר . כאשר מספר הדברים סופי , אפשר להביע את טענת הפסוק הכולל באמצעות פסוק שהוא קוניונקציה . למשל , אם במשפחת לוי יש שלושה ילדים , נאמר רותם , עמית ויובל , אז הפסוק ' כל ילדי משפחת לוי מרכיבים משקפיים ' אומר את מה שאומרת הקוניונקציה ' רותם עמית ויובל מר...  To the book