שיחה: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)

שאלה כללית

מה ההבדל בין [math]\displaystyle{ (\exists x) (\lnot\exists y)(P(x)\land Q(y,x)) }[/math]

ו- [math]\displaystyle{ (\exists x) (P(x)\land (\lnot\exists y)Q(y,x)) }[/math]

מהי המשמעות של הביטוי? מה אתה רוצה לבטא? --Grisha 11:58, 17 בנובמבר 2011 (IST)

שיעורי בית

אנא, העלה את שיעורי הבית כבר היום, ובכל יום רביעי. אם זה מיום חמישי אחר הצהריים אין לנו מספיק זמן עד ליום ג'. תודה

הגשת תרגילי הבית עד יום חמישי, כך שיש לכם בדיוק שבוע. נשתדל להעלות קודם. --Grisha 11:55, 17 בנובמבר 2011 (IST)

צורת כתיבה וסדר פעולות.

התברר לי(כך נראה) ש [math]\displaystyle{ \lnot \exists(x) P(x) }[/math] שקול ל [math]\displaystyle{ \lnot (\exists P(x)) }[/math]. אם כן, שאלה אחרת: האם [math]\displaystyle{ (\lnot \exists(x)) }[/math] פירושו [math]\displaystyle{ \forall(x) }[/math]?

תודה רבה.

האם [math]\displaystyle{ \forall(x)P(x)\to\exists(x)P(x) }[/math] טאוטולוגיה?