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