שיחה:פסוק (לוגיקה מתמטית)

האם ההתאמה של ערכי אמת לפסוקים היסודיים בתחשיב הפסוקים, נקראת אכן "מבנה" ולא "סביבה"? אותי לימדו שזה נקרא "סביבה", ו"מבנה" הוא התאמת פירושים לסימנים של מילון בתחשיב הפרדיקטים. אצלנו גם קראו ל"פעולות" בתחשיב הפרדיקטים בשם "פונקציות". תומר - שיחה 16:46, 20 בדצמבר 2011 (IST)

כשם שלפסוק יש משמעות אחת בתחשיב פסוקים ומשמעות אחרת בתחשיב יחסים, גם למבנה יש הגדרה אחת בתחשיב פסוקים ואחרת בתחשיב יחסים. הן בתחשיב יחסים והן בתחשיב פסוקים, מבנה הוא פונקציה הקובעת ערכי אמת של פסוקים, כך שהאנלוגיה מוצלחת. אני לא מכיר את המושג סביבה בהקשר הזה. פעולה היא יחס n+1-מקומי כך שהרכיב האחרון בכל איבר שלו הוא פונקציה של n הרכיבים הראשונים. זהו מקרה פרטי של פונקציות, אך לא כל פונקציה היא פעולה. דניאל • תרמו ערך 17:11, 20 בדצמבר 2011 (IST)

0<1 הוא פסוק שקרי?

איך זה אפשרי? איש השלג - שיחה 14:00, 12 בפברואר 2012 (IST)

במבנה של המספרים זה פסוק אמיתי. הסימן התהפך. תיקנתי. יש מבנים בהם הפסוק הזה שקרי. ראה מבנה (לוגיקה מתמטית)#דוגמה. דניאל • תרמו ערך 14:22, 12 בפברואר 2012 (IST)