'''תרגיל'''. הגדירו פרדיקטים והצבות במשתנים, כך שהפסוק <math>\ A(x) \vee (B(x,y) \wedge A(y))</math> יצרין את "אורן או חברתו קארין לומדים לוגיקה".
הפסוקים מהסוג הראשון שפגשנו הורכבו מאטומים המקושרים על-ידי הקשרים הלוגיים. הסוג השני הוא בעל אותו מבנה, אלא שבמקום אטומים מותר להשתמש בפרדיקטים עם משתנים כלשהם. התוצאה, כמו בסוג הראשון, היא פסוק לוגי - אלא שכאן התוצאה תלויה במשתנים. לכן, במקום לסמן את הפסוק באות בודדת, נכתוב <math>\ \psi(x)</math> או <math>\ \varphi(x,y)</math>, כדי להדגיש את התלות במשתנים x או x,y.
חשוב להבין שערך האמת של פסוק המערב בפרדיקטים, כמו <math>\ \psi(x) = Y(x) \rightarrow M(x,x)</math> ("אם x צהוב, אז הוא אמא של עצמו") תלוי בערך המשתנה: בדוגמא הזו, אם x הוא אדם צהוב, הפסוק מקבל את הערך F, ואם x הוא אדם שאינו צהוב, ערך האמת הוא T.
גמישות זו עדיין אינה מאפשרת לנסח טענות כלליות, כמו "אף אדם אינו אמא של עצמו". לשם כך יש צורך בכמתים.
* הצרן: למדתי היטב למבחן, ואף על פי כן נכשלתי בו.
**נניח שאיני מסוגל לרוץ 10 קילומטר, האם אני בכושר? הוכח.
**נניח שאני מסוגל לרוץ 10 קילומטר, האם אני בכושר? הוכח.
גמישות זו עדיין אינה מאפשרת לנסח טענות כלליות, כמו "אף אדם אינו אמא של עצמו". לשם כך יש צורך בכמתים.
===חידודים לוגיים===