:: אחרי שמסבירים במילים למה אתם חושבים שהטענה אינה נכונה, רצוי שתביאו דוגמא לכך. כלומר, תגדירו מהו עולם הדיון שלכם ומהם הפרדיקטים שמתארים את הטענה. במילים אחרות, יש למצוא דוגמא נגדית. --[[משתמש:Grisha|Grisha]] 09:38, 15 בנובמבר 2011 (IST)
== תרגיל 2, שאלה 1 סעיף 7 ==
בטענה לכל איש יש שם---------> קיים לפחות איש אחד עם שם ?
או לא בהכרח? תודה...
:: זאת בדיוק השאלה. --[[משתמש:Grisha|Grisha]] 09:39, 15 בנובמבר 2011 (IST)
מה ההבדל בין <math>(\exists x) (\lnot\exists y)(P(x)\land Q(y))</math>
ו <math>(\exists x) (P(x)\land (\lnot\exists y)Q(y,x))</math>