::לא קיים x.... שמקיים את מה? ששיך לקבוצה? מה התכונה שלו? אותו הדבר לגבי "לכל".
::אפשר להגיד ש- <math>(\lnot \exists P(x))</math> שקול ל- <math>\forall (\lnot P(x))</math>--[[משתמש:Grisha|Grisha]] 22:48, 23 בנובמבר 2011 (IST)
== תרגיל 4 שאלה אחת ==
בירצוני להעיר כי לא ניתן להוכיח כי יש את הדוגמה הנגדית:
A=(a,b) B=(b,a)