נושא: שאלה בלוגיקה מתמטית

נשלח בתאריך: 04 January 2008 בשעה 22:10 | IP רשוּם

www.siz.co.il/up/i3nzrzwmrjel.jpg

מישהו הבין?

נשלח בתאריך: 05 January 2008 בשעה 13:12 | IP רשוּם

תודה רבה על ההסבר המפורט

לגבי השאלות עצמן

1. הטענה לא נכונה דוגמא נגדית לקחתי את אלפא להיות B~

את בטא להיות  A-->B

אז טבלת האמת היא

A  B  ~B  A->B

T   T   F       T

T   F   T       F 

F   T   F       T

F   F   T       T

בשורה השניה ~B אמיתי ו-A->B שקרי אין גרירה לשני הכיוונים ובשורה האחרונה שניהם

מקבלים T

סעיף 2

לא נכון ,בחרתי אלפא להיות Aand(~A)111

וזה סתירה

ואלפא~ הוא טאוטולוגיה

אז סתירה לא יכולה לגרור טאוטולוגיה

סעיף 3

לא נכון.

לקחתי את אלפא להיות AVB

אז

(AVB->AVB)->(~(AVB)

אז לפסוק השמאלי יצא

T

T

T

T

ולימני יצא

F

F

F

T

אז המשותף שלהם הוא

F

F

F

T

וזו לא סתירה

לגבי סעיף 4,5 לא ידעתי אפשר עזרה?

נשלח בתאריך: 05 January 2008 בשעה 19:02 | IP רשוּם

אחלה שוב רב תודות ואם בלוגיקה אז ברשותך עוד שאלה לי

להלן 2 הנחות:
1.לוגיקה היא מקצוע קשה, או רוב הסטודנטים אוהבים לוגיקה.
2.אם דיסקרתית הוא קורס קל, אז לוגיקה אינה מקצוע קשה.

והנה מסקנה, או יותר נכון-טענה המתיימרת להיות מסקנה:
3. אם אין זה שרוב הסטודנטים אוהבים לוגיקה אז דיסקרתית קורס לא קל.

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

ב.מצא והוכח בעזרת לוח אמת או בכל דרך אחרת איזו מהאמירות הבאות נכונה:
1.המסקנה נובעת טאוטולוגית מההנחות(כלומר בכל אינטרפטציה שבה ההנחות אמיתיות גם המסקנה אמיתית)

2.המסקנה אינה נובעת טאוטולוגית מההנחות אך מתיישבת איתן(כלומר קיימת אינטרפטציה בה ההנחות אמיתיות והמסקנה שקרית אך קיימת גם אינטרפטציה בה ההנחות והמסקנה אמיתיות יחד)

3.המסקנה וההנחות יחד אינם קבוצה עקבית
(כלומר אין אף אינטרפטציה בה ההנחות והמסקנה נכונות יחד)

לגבי סעיף א
לוגיקה=L
סטודנטים=S
דיסקרתית=D
1. L V S->L~

2. D->L

3. S->~D~

לגבי סעיף ב אני חושב שהאמירה השנייה נכונה ניסיתי להוכיח זאת על ידי טבלת אמת משהו כזה אבל לא הצלחתי כל כך

נשלח בתאריך: 06 January 2008 בשעה 18:40 | IP רשוּם

הבנתי, הסבר מעולה

שוב תודה רבה