נשלח בתאריך: 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 לא ידעתי אפשר עזרה?
|