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