שיחה:88-195 בדידה תשעב סמסטר חורף/שאלות ותשובות
הוספת שאלה חדשה
הוסף שאלה חדשה (רשום כותרת לשאלה, רשום את תוכן השאלה ולחץ על שמירה למטה מימין לסיום).
-עזרה על עיצוב הטקסט וכתיב מתמטי תוכלו למצוא כאן
אם אתם רוצים לשאול שאלה עליכם ליצור חשבון משתמש באתר.
שאלות
תרגיל בית 1
בקשר לתרגיל 1
איך אני מוכיח שלמות - כמו בתרגיל 5? מה אני צריך להוכיח כדי שזה ייחשב שלמות? תודה
- צריך להראות שניתן לבטא את הקשרים [math]\displaystyle{ \neg }[/math] ו- [math]\displaystyle{ \and }[/math] על ידי קשר [math]\displaystyle{ \downarrow }[/math].--Grisha 23:04, 5 בנובמבר 2011 (IST)
תרגיל 2 שאלה 2 סעיף ב'
לדעתי הטענה- לכל איש עם שם קיים איש אחר עם אותו שם. לא מביאה בהכרח למסקנה "קיימים שני אנשים )שונים( עם אותו שם." זאת מכיוון שכביכול לא בהכרח קיים איש עם שם. לא הבנתי מה הכוונה ב- "הגדירו אילו אנשים ושמות קיימים בעולם, ואז הגדירו את הפרדיקטים N,R,P " במקרה זה?
- אחרי שמסבירים במילים למה אתם חושבים שהטענה אינה נכונה, רצוי שתביאו דוגמא לכך. כלומר, תגדירו מהו עולם הדיון שלכם ומהם הפרדיקטים שמתארים את הטענה. במילים אחרות, יש למצוא דוגמא נגדית. --Grisha 09:38, 15 בנובמבר 2011 (IST)
תרגיל 2, שאלה 1 סעיף 7
בטענה לכל איש יש שם---------> קיים לפחות איש אחד עם שם ?
או לא בהכרח? תודה...
- זאת בדיוק השאלה. --Grisha 09:39, 15 בנובמבר 2011 (IST)
מה ההבדל בין [math]\displaystyle{ (\exists x) (\lnot\exists y)(P(x)\land Q(y)) }[/math]
ו [math]\displaystyle{ (\exists x) (P(x)\land (\lnot\exists y)Q(y,x)) }[/math]