רוטר - שאלה בלוגיקה - לא כל כך בטוח שצדקתי (יחסית פשוט)

האשכול	מחבר	תאריך כתיבה	מספר
אני חושב שאתה טועה (אבל ממש ממש לא בטוח)	כובען	03.11.13 21:09	1
כל הקטע שההצרנה נכונה רק שהביטוי נכון...	nimroder	03.11.13 21:16	2
ההצרנה נכונה אם הביטוי נכון, אני מצאתי דוגמה שסותרת את הביטוי שלך	כובען	03.11.13 21:22	3
טוב אז התשובה היא	nimroder	04.11.13 21:34	4

כובען

חבר מתאריך 2.3.10
25341 הודעות, 21 פידבק

21:09 03.11.13

1. אני חושב שאתה טועה (אבל ממש ממש לא בטוח)
בתגובה להודעה מספר 0

חכה לתשובה של inno3D הוא עשה לוגיקה פעמיים
הפרכתי את ההצרנה שלך בעזרת דוגמה נגדית:
עבור
http://i.imgur.com/6XsckgI.png

הגרירה שקרית שכן הרישא מקבל TRUE והסיפא מקבל FALSE.

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

nimroder

חבר מתאריך 25.9.09
8650 הודעות, 4 פידבק

21:16 03.11.13

2. כל הקטע שההצרנה נכונה רק שהביטוי נכון...
בתגובה להודעה מספר 1

או שאני טועה?

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

כובען

חבר מתאריך 2.3.10
25341 הודעות, 21 פידבק

21:22 03.11.13

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

ערכתי לאחרונה בתאריך 03.11.13 בשעה 21:38 בברכה, כובען

לב ההצרנה שלך הוא גרירה לוגית.
טבלת האמת של IF היא:
http://i.imgur.com/1oSO40W.png
ובמילים, גרירה לוגית מקבל TRUE בשני מקרים:
1. אם 'פסוק X' אז (->) 'פסוק Y', כאשר גם X וגם Y ערך האמת שלהם הוא TRUE.

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

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

nimroder

חבר מתאריך 25.9.09
8650 הודעות, 4 פידבק

21:34 04.11.13

4. טוב אז התשובה היא
בתגובה להודעה מספר 3

(הסתכלתי בפתרונות שמצאתי)
לכל N טבעי קיים D טבעי ((2n+1)^2=4d+1)

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד