שינויים
/* פסוקים עם כמתים */
זהו הסוג השלישי (והאחרון עבורנו) של פסוקים לוגיים. נסכם: פסוק הוא או פרדיקט (לרבות אטומים, שהם פרדיקטים ללא משתנים), או חיבור של פסוקים קצרים יותר באמצעות קשרים לוגיים, או החלה של כמת על פסוק קצר יותר.
'''דוגמא'''. נצרין את הטענה הבאה:
לכל משוואה ריבועית <math>ax^2+bx+c=0</math> כך ש-<math>b^2-4ac \geq 0</math> יש לפחות פתרון אחד.
<math>\forall a \forall b \forall c [(b^2-4ac \geq 0)\rightarrow (\exists x (ax^2+bx+c=0))]</math>
'''תרגיל'''. הצרינו את הטענה הבאה:
לכל משוואה ריבועית <math>ax^2+bx+c=0</math> כך ש-<math>b^2-4ac = 0</math> קיים בדיוק פתרון אחד.
=== פסוקים אמיתיים ===
משתמש אלמוני
