כותב |
|
זיו1 משתמש פעיל
![משתמש פעיל](forum_images/2_star_rating.gif)
הצטרף / הצטרפה: 30 November 2007
משתמש: מנותק/ת הודעות: 66
|
נשלח בתאריך: 15 January 2008 בשעה 02:29 | | IP רשוּם
|
|
|
|
האם עשיתי נכון?ואפשר עזרה בסעיפים ז,ח?
![](http://www.siz.co.il/up/dm2vm5mylzkg.jpg)
|
חזרה לתחילת העמוד |
|
|
green אורח
![אורח](forum_images/0_star_rating.gif)
הצטרף / הצטרפה: 01 October 2003
משתמש: אונליין הודעות: 12647
|
נשלח בתאריך: 15 January 2008 בשעה 09:02 | | IP רשוּם
|
|
|
|
את הדברים שאני אומר צריך לקחת בערבון מוגבל:
ג. בהנחה, ש X1 ו X2
הם משתנים אישיים ולא קבועים אישיים. אז זה לא פסוק מכיוון שהם מופיעים
חופשי בנוסחא. ולמעשה כל נוסחא אטומית שמכילה משתנים אישיים לא יכולה
להיות פסוק.
ה. שים לה שהכמת הראשון תקף רק על הנוסחא שהוא צמוד
אליה, ולכן הוא לא יהיה תקף בחלק השני של הנוסחא. ולכן ה-X1 השני מופיע
חופשי. וזה לא פסוק.
ו. אין פה שום יחס ולכן זו לא נוסחא, לפי דעתי זה קשקוש מכיוון שבשמות עצם אין כמתים.
ז. זה פסוק. וזו לא נוסחא אטומית (מאותה סיבה שרשמתי בסעיף ג) ח. בניגוד לסעיף ה' הפעם הטווח של הכמת הראשון הוא כל הנוסחא. ולכן זהו פסוק (אין משתנים חופשיים)
.
|
חזרה לתחילת העמוד |
|
|
זיו1 משתמש פעיל
![משתמש פעיל](forum_images/2_star_rating.gif)
הצטרף / הצטרפה: 30 November 2007
משתמש: מנותק/ת הודעות: 66
|
נשלח בתאריך: 15 January 2008 בשעה 11:04 | | IP רשוּם
|
|
|
|
אם סעיף ג היה כך
![](http://www.siz.co.il/up/dmoow4jrmbdl.jpg)
אז זה תבנית אטומית, שהיא פסוק (אין משתנים, ובפרט אין משתנים חפשיים).
|
חזרה לתחילת העמוד |
|
|
green אורח
![אורח](forum_images/0_star_rating.gif)
הצטרף / הצטרפה: 01 October 2003
משתמש: אונליין הודעות: 12647
|
נשלח בתאריך: 15 January 2008 בשעה 12:12 | | IP רשוּם
|
|
|
|
כן זה נכון.
|
חזרה לתחילת העמוד |
|
|
זיו1 משתמש פעיל
![משתמש פעיל](forum_images/2_star_rating.gif)
הצטרף / הצטרפה: 30 November 2007
משתמש: מנותק/ת הודעות: 66
|
נשלח בתאריך: 15 January 2008 בשעה 12:49 | | IP רשוּם
|
|
|
|
תודה רבה שוב תוכל לומר לי מה הייתה הכוונה בשאלה הבאה?
![](http://www.siz.co.il/up/gqmv24minmwj.jpg)
|
חזרה לתחילת העמוד |
|
|
green אורח
![אורח](forum_images/0_star_rating.gif)
הצטרף / הצטרפה: 01 October 2003
משתמש: אונליין הודעות: 12647
|
נשלח בתאריך: 15 January 2008 בשעה 13:42 | | IP רשוּם
|
|
|
|
אתה פשוט צריך לתרגם את המשפטים הללו לשפה ולייצג אותם בצורה מתאימה. לדוגמא אם X הוא ראשוני זה בעצם אומר: (לכל Y ולכל Z כך שהם לא שווים ל-1 או ל-X ->(לא (E(f(y,z),x))
עכשיו תמשיך לפשט את זה עד ש"יעלמו" כל המילים בעיברית ותשאר רק השפה שהגדרת...
|
חזרה לתחילת העמוד |
|
|
זיו1 משתמש פעיל
![משתמש פעיל](forum_images/2_star_rating.gif)
הצטרף / הצטרפה: 30 November 2007
משתמש: מנותק/ת הודעות: 66
|
נשלח בתאריך: 15 January 2008 בשעה 16:31 | | IP רשוּם
|
|
|
|
green כתב:
אתה פשוט צריך לתרגם את המשפטים הללו לשפה ולייצג אותם בצורה מתאימה. לדוגמא אם X הוא ראשוני זה בעצם אומר: (לכל Y ולכל Z כך שהם לא שווים ל-1 או ל-X ->(לא (E(f(y,z),x))
עכשיו תמשיך לפשט את זה עד ש"יעלמו" כל המילים בעיברית ותשאר רק השפה שהגדרת...
|
|
|
טוב אז אם הבנתי נכון .סעיף ב לא יודע איך לממש את זה
![](http://www.siz.co.il/up/njlogynyzvmz.jpg)
|
חזרה לתחילת העמוד |
|
|
green משתמש פעיל
![משתמש פעיל](forum_images/2_star_rating.gif)
הצטרף / הצטרפה: 16 November 2006
משתמש: מנותק/ת הודעות: 100
|
נשלח בתאריך: 15 January 2008 בשעה 18:01 | | IP רשוּם
|
|
|
|
זה הפתרון לסעיף א:
פתרון
בכל מקום שרשום || הכוננה ל-V (או) חוץ מזה יכול להיות שיש לי איזה פיספוס עם הסוגריים לא הקפדתי שבאמת סגרתי את כל המקומות
אני מקווה שתבין כבר מהדוגמא הזו איך אמורים לעשות את התרגיל...
|
חזרה לתחילת העמוד |
|
|
זיו1 משתמש פעיל
![משתמש פעיל](forum_images/2_star_rating.gif)
הצטרף / הצטרפה: 30 November 2007
משתמש: מנותק/ת הודעות: 66
|
נשלח בתאריך: 16 January 2008 בשעה 19:49 | | IP רשוּם
|
|
|
|
כן צודק היה חסר סוגר(
לגבי ב' לא הבנתי עדיין והאם את ג' הוא נכון?
ולגבי
![](http://www.siz.co.il/up/gjmbz4djyhoj.jpg)
|
חזרה לתחילת העמוד |
|
|
green משתמש פעיל
![משתמש פעיל](forum_images/2_star_rating.gif)
הצטרף / הצטרפה: 16 November 2006
משתמש: מנותק/ת הודעות: 100
|
נשלח בתאריך: 16 January 2008 בשעה 20:04 | | IP רשוּם
|
|
|
|
פתרון לב' וד' את ג' תנסה לפתור לבד זה לא נכון. אין כזה דבר a~ או X~ מכיוון ש a הוא שם עצם ולכן אתה לא יכול להפעיל עליו את האופרטור הנ"ל.
|
חזרה לתחילת העמוד |
|
|
זיו1 משתמש פעיל
![משתמש פעיל](forum_images/2_star_rating.gif)
הצטרף / הצטרפה: 30 November 2007
משתמש: מנותק/ת הודעות: 66
|
נשלח בתאריך: 16 January 2008 בשעה 20:44 | | IP רשוּם
|
|
|
|
אוקי לגבי ג חשבתי אם כך אולי להזיז את ה- ~ שנמצאים באגף השמאלי לפני הE-ים
|
חזרה לתחילת העמוד |
|
|
green משתמש פעיל
![משתמש פעיל](forum_images/2_star_rating.gif)
הצטרף / הצטרפה: 16 November 2006
משתמש: מנותק/ת הודעות: 100
|
נשלח בתאריך: 16 January 2008 בשעה 20:47 | | IP רשוּם
|
|
|
|
אני חושב שזה באמת יהיה נכון אם תוציא את ~ מחוץ לכל הסוגריים כך שהוא יהיה תקף על כל הביטוי הראשון שלפני החץ. בצורה כזו זה באמת נראה נכון.
|
חזרה לתחילת העמוד |
|
|
זיו1 משתמש פעיל
![משתמש פעיל](forum_images/2_star_rating.gif)
הצטרף / הצטרפה: 30 November 2007
משתמש: מנותק/ת הודעות: 66
|
נשלח בתאריך: 16 January 2008 בשעה 21:37 | | IP רשוּם
|
|
|
|
![](http://www.siz.co.il/up/dlxdmmkqro3j.jpg)
משהו כזה..
|
חזרה לתחילת העמוד |
|
|
green משתמש פעיל
![משתמש פעיל](forum_images/2_star_rating.gif)
הצטרף / הצטרפה: 16 November 2006
משתמש: מנותק/ת הודעות: 100
|
נשלח בתאריך: 16 January 2008 בשעה 22:42 | | IP רשוּם
|
|
|
|
לא זה לא נכון, אם אתה רוצה לרשום את זה בצורה כזו את תחליף את ה"או" ב "וגם". אבל הפתרון היותר אלגנטי זה במקום לרשום בחלק הראשון 4 NOT , תעשה בהתחלה עוד סוגריים ו NOT אחד על כולם. (כלל דה מורגן)
|
חזרה לתחילת העמוד |
|
|
זיו1 משתמש פעיל
![משתמש פעיל](forum_images/2_star_rating.gif)
הצטרף / הצטרפה: 30 November 2007
משתמש: מנותק/ת הודעות: 66
|
נשלח בתאריך: 17 January 2008 בשעה 18:33 | | IP רשוּם
|
|
|
|
green כתב:
לא זה לא נכון, אם אתה רוצה לרשום את זה בצורה כזו את תחליף את ה"או" ב "וגם". אבל הפתרון היותר אלגנטי זה במקום לרשום בחלק הראשון 4 NOT , תעשה בהתחלה עוד סוגריים ו NOT אחד על כולם. (כלל דה מורגן)
|
|
|
הבנתי ![](smileys/smiley32.gif) תודה רבה
|
חזרה לתחילת העמוד |
|
|