חיפוש הקהילה
מציג תוצאות עבור תגיות 'תחשיב הפסוקים'.
נמצאו 2 תוצאות
-
http://i.imm.io/Wb4A.png בחוברת מבחנים של אס"ט מופיע פיתרון (לא רשמי, אני יודע) שמגדיר ע"י הפסוקים: http://www.codecogs.com/gif.latex?%5CSigma=%5C%7B%5Clnot(%5Calpha_%7Bi%7D%5Cwedge%5Calpha_%7Bj%7D%5Cwedge%5Calpha_%7Bk%7D)%5C%20%7C%5C%20i%5Cneq%20j%5Cneq%20k%5Cin%5Cmathbb%7BN%7D%5C%7D ואחריו הסבר למה זה מגדיר אותו. לדעתי הפיתרון לא נכון, זה מגדיר השמות שאין בהן 3 אחדים ללא קשר לפזמון. הגדרה נכונה היא: http://www.codecogs.com/gif.latex?%5CSigma=%5C%7B%5Clnot(%5Calpha_%7Bi%7D%5Cwedge%5Clnot%5Calpha_%7Bi+1%7D%5Cwedge%5Clnot%5Calpha_%7Bi+2%7D%5Cwedge%5Calpha_%7Bi+3%7D)%5Cwedge(%5Calpha_%7Bj%7D%5Cwedge%5Clnot%5Calpha_%7Bj+1%7D%5Cwedge%5Clnot%5Calpha_%7Bj+2%7D%5Cwedge%5Calpha_%7Bj+3%7D)%5Cwedge(%5Calpha_%7Bk%7D%5Cwedge%5Clnot%5Calpha_%7Bk+1%7D%5Cwedge%5Clnot%5Calpha_%7Bk+2%7D%5Cwedge%5Calpha_%7Bk+3%7D))%5C%20%7C%5C%20i%5Cneq%20j%5Cneq%20k%5Cneq%20i%5Cin%5Cmathbb%7BN%7D%5C%7D האם אני צודק?
-
בתחשיב הפסוקים: קבוצה עקבית מקסימלית מוגדרת כקבוצה עקבית (לא ניתן להוכיח את F ממנה) ובנוסף לכל פסוק אלפא או שהוא יכיח מסיגמא או שהשלילה שלו יכיחה מסיגמא. האם זה "מקביל" למה שגדל חיפש במשפט אי השלמות שלו? כלומר כל פסוק כאן ניתן להוכחה או הפרכה? השאלה היא כדי לבדוק אם אני מבין משהו מהחיים שלי בעניין או שצריך להכנס לזה יותר לעומק... (משפט אי השלמות הוזכר בהרצאות רק בקצרה וכהרחבה, אני יודע שגדל דיבר על מערכות מורכבות ועשירות יותר ושם הוכיח את משפטו).
