פסוקים ישיים

כמו הפסוק שבו פתחנו , גם הפסוק ' יש מספר ראשוני גדול מ- ' 10 איננו שלילה , והוא אינו מתקבל מזוג פסוקים אחרים בעזרת קשר פסוקי דו-מקומי . אם-כן , במונחי פרק 5 גם זה פסוק פשוט , גם הוא ייוצג בשפת הפסוקים באמצעות משתנה פסוקי , וגם הפעם ייעלם מידע לוגי ; ילך לאיבוד הקשר הלוגי בין ' יש מספר ראשוני גדול מ- , ' 10 לבין סדרת הפסוקים ' 11 ראשוני ' , ' 12 ראשוני ' , ' 13 ראשוני ' , ' 14 ראשוני ' , ... . פסוקים מעין ' יש מספר ראשוני גדול מ- , ' 10 ' במשפחת לוי יש ילדים שמרכיבים משקפיים ' או ' יש מלבן שהוא ריבוע ' , מכונים פסוקים ישיים ( . ( existential statements באמירת פסוק ישי קובעים את האמיתיות של אחת לפחות מתוך מכלול טענות מאותו סוג , שמספרן ככמות הדברים בתחום הדיון . כאשר כמות הדברים סופית , אפשר להביע את טענת הפסוק היישי באמצעות פסוק שהוא דיסיונקציה . למשל , הפסוק ' במשפחת לוי יש ילד שמרכיב משקפיים ' אומר את מה שאומרת הדיסיונקציה ' רותם או עמית או יובל מרכיבים משקפיים ' . אבל כאשר כמות הדברים בתחום הדיון היא אינסופית , אי-אפשר להמיר פסוק ישי בדיסיונקציה שאומרת את אותו הדבר . למשל , הפסוק היי...  אל הספר