איך אפשר להצרין רק ? (במשפט -יש רק אדם אחד עצוב)
:אומרים כי קיים בן אדם עצוב וגם כל בן אדם עצוב שווה לו --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
== תרגיל לוגיקן נכנס למסעדה ==
:הראשונה והשנייה זהות, הראשונה היא למעשה קיצור של השנייה. השלישית לא שקולה, כיוון ששקר גורר כל דבר ואז אם קיים איקס כלשהו שאינו גדול מאפס המשפט נכון. --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
::אם משנים את ה'קיים' ל'לכל', אז הראשונה והשלישית שקולות, והשנייה היא תמיד שקר, נכון?
:::אם קיימים איקסים שקטנים או שווים לאפס אז כן. --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>