נושא: שאלה בלוגיקה מטמטית-תחשיב פרדיקטים...

נשלח בתאריך: 10 January 2007 בשעה 14:23 | IP רשוּם

יש לי חמש השערות

a.לא יתכן ש- הארי ו-וולדמורט יישארו שניהם בחיים

b. אם סנייפ או מאלפוי יעזרו להארי אז הארי יישאר חי

c. אם סנייפ יעזור להארי אז הארי יישאר חי

d. וולדמורט ימות רק אם סנייפ יעזור להארי

e. הארי יישאר חי אם ורק אם וולדמורט ימות

צריך להגדיר פסוקים יסודיים מתאימים ולרשום את a b c d e בכתיב פורמלי.

אפשר להשתמש בכל הקשרים הלוגיים ~,<-,<->,V,^

לפי דעתי זה כך:

a.

(A^B)~

b.

cVd)->a)

c.

c->b

d.

c->b

e.

a<->b

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

האם אתה מתכוון שההנחה היא בעצם שוולדמורט חיי

ורק אם סנייפ יעזור להארי הוא ימות אז הסימן ~ הוא בגלל שזה בעצם לא b

(וולדמורט לא חי)??

נראה לי אבל זה כמו במשפט c

נשלח בתאריך: 11 January 2007 בשעה 09:04 | IP רשוּם

האא..אוקי הבנתי...

יש לי המשך לשאלה...

נכון/לא נכון

1.a שקול טאוטולוגית ל-e?

נראה שלא לפי טבלאות האמת...

2. =|{a,b}

c

ז"א האם a,b גוררים טאוטולוגית את c לדעתי כן..

3.=|{a,c,d}

b

ז"א האם a,c,d גוררים טאוטולוגית את b  לפי דעתי גם נכון...