נושא: עזרה בתרגיל בלוגיקה

נשלח בתאריך: 19 November 2006 בשעה 19:49 | IP רשוּם

שלום,אני מבקש הדרכה בשיעורי בית בקורס לוגיקה

השאלה מתוך חוברת הטכניון של שי בן דוד( דרך אגב האם ניתן לרכוש אותה והאם יש שם שאלות פתורות?)

נתונה לי שפה פורמלית עם בסיס ו שני כללים

הבסיס=LOGIC

הכללים:

1.הכפלת המילה

2.הורדת האות האחרונה במילה שאינה ריקה

ועלי להוכיח בעזרת אינדוקציה שכל מילה שאינה ריקה מתחילה באות מסוימת

אני מבקש הדרכה איך ניגשים לבעיה מסוג כזה?:

בשלב הראשון אני בודק נכונות הטענה עבור הבסיס

בשלב השני אני בודק עבור התנאים

-עבור תנאי ראשון זה ברור שכן הכפלת המילה אינה משנה את האות הראשונה

-עבור התנאי השני אני לא בטוח מה עלי לעשות,אם תוכלו לכוון אותי ולא לתת לי פתרון

אני אשמח.

תודה מראש

תומר.