שיחה:תחשיב הפסוקים

שיחות פעילות

לא יודע, יכול להיות שאני מעט מבולבל, אבל לדעתי המשפט "אם A אז לא A" אינו סתירה (שקרי תמיד) אם ערך האמת של A הוא שיקרי אז אנחנו נקבל F -> T שלפי טבלת האמת של "אם אז" היא אמיתית. ITK98 - שיחה 02:51, 5 ביוני 2008 (IDT)

צודק - תיקנתי את הדוגמה בהתאם. רונן א. קידר - שיחה 13:29, 5 ביוני 2008 (IDT)

אני רוצה להציע להחליף את השימוש בשמו של הקשר A-->B שנקרא במאמר קשר "אם-אז" ולקרוא לו קשר הגרירה, ובמילים, A גורר B. לדעתי זה שם יותר מוצלח. Rockyrackoon - שיחה

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

שיניתי את הדוגמאות לצורה יותר פורמלית, והוספתי את ההגדרה הרקורסיבית של WFF. וגם תיקוני לשון, כולל תרגום לעברית כמו שהצעת. Elaz85 - שיחה 15:04, 26 באוגוסט 2010 (IDT)

אבן הפינהעריכה

מזה "אבן הפינה", בקישור לערך, לא מוסברת המילה לפי ההקשר שיש בערך. אז מה משמעות הביטוי "אבן הפינה"? --79.179.13.137 15:35, 3 במאי 2010 (IDT)

אכן, הקישור לערך מיותר, כיוון שמדובר בביטוי ולא באבן הפינה של מבנה. לשאלתך, "אבן פינה" משמעו "דבר מה המהווה יסוד לתחום, תפישה או ז'אנר מסויים", ובהקשר שלנו, משמעותו שרוב הלוגיקה המתמטית המתקדמת מתבססת על, או עושה שימוש אינטנסיבי בתחביר הפסוקים. Elaz85 - שיחה 15:08, 26 באוגוסט 2010 (IDT)

טעות בטבלת ה-XORעריכה

יש לעניות דעתי טעות בטבלת האמת של התנאי הכפול, אם הכוונה היא לטבלת אמת של שער XOR אז בתוצאת המשוואות יש להחליף בין ה-T וה-F. 109.66.32.3 20:07, 17 בפברואר 2013 (IST)

תנאי כפול איננו XOR ואינו אמור להיראות כמו XOR. גלעד ניר - שיחה 21:16, 21 בפברואר 2013 (IST)

שינוי שם -> תחשיב הפסוקיםעריכה

למה ערך זה נקרא "תחשיב פסוקים", וערך אחר נקרא "תחשיב הפרדיקטים"? ‏VirtuOZ‏ • שיחה 22:25, 18 באוגוסט 2015 (IDT)

זה פשוט שונה, תקרא את הערכים Uhbcrd451 - שיחה
לא הבנת. כוונתי הייתה מדוע שמו של ערך זה אינו בה"א הידיעה. ‏VirtuOZ‏ • שיחה 21:29, 21 באוגוסט 2015 (IDT)
אה.. באמת צריך לשנות ל"תחשיב הפסוקים", כמדומני שזה המקובל Uhbcrd451 - שיחה 14:20, 23 באוגוסט 2015 (IDT)
בחלוף שבוע ובאין מתנגדים, שמו של דף זה שונה מ"תחשיב פסוקים" ל"תחשיב הפסוקים". תבנית {{שינוי שם}} בראש דף זה הוסרה. ‏VirtuOZ‏ • שיחה 16:31, 30 באוגוסט 2015 (IDT)

הזחהעריכה

יש פה שימוש משונה בתווי :::: לשם הזחה.

זה לא דבר שמקובל בוויקיפדיה וזה גורם לבעיות בעריכה.

אני אפילו לא כל־כך מבין מה כן אמור להיות מפה, אבל אולי אפשר לפתור את זה באמצעות טבלה. --אמיר א׳ אהרוני, שנחשב לנודניק · שיחה 17:34, 24 באוגוסט 2015 (IDT)

חזרה לדף "תחשיב הפסוקים".