שיחה:תחשיב הפרדיקטים
הוספת נושאתגובה אחרונה: לפני 4 שנים מאת עוזי ו. בנושא בינויקי לאנגלית רגילה? (כרגע מופיע לי שיש רק ל Simple English)
פתיח[עריכת קוד מקור]
שם הערך לא מציין סדר ספציפי של תחשיב פרדיקטים אך המשפט הראשון בערך כולל:
בלוגיקה ובלוגיקה מתמטית, תחשיב פרדיקטים מסדר ראשון הוא
פסקה לאחר מכן כתוב: "בתחשיב פרדיקטים מסדר גבוה יותר"...
בהנחה שהדבר אפשרי, לדעתי המשפט הראשון צריך להסביר מה זה תחשיב פרדיקטים באופן כללי, בלי לתאר סדר מסוים; ככה יהיה נוח לעבד את המידע למי שהמושג חדש לו.
אשמח לדעתכם, בתודה. ―אנונימי לא חתם
- מי שהנושא חדש לו צריך להבין קודם כל מהו תחשיב הפרדיקטים מסדר ראשון. ההכללות יבואו אחר כך. עוזי ו. - שיחה 14:11, 8 באוגוסט 2019 (IDT)
- אין לי ספק בכך, אבל לדעתי סביר להבין תחילה מה זה "תחשיב" בהקשר זה, מה זה "פרדיקט" בהקשר זה, מה זה תחשיב פרדיקטים כשלעצמו, מהו סדר ראשון בתחשיבים בכלל ובתחשיב הפרידקטים בפרט ורק אז לגשת להגדרה של תחשיב פרדיקטים מסדר ראשון. בברכה. ―אנונימי לא חתם
- זו שיטה גרועה מאין כמוה ללמוד מהו תחשיב הפרדיקטים. כדאי לדעת מהו פרדיקט. כל השאר יבוא אחרי העניין עצמו. עוזי ו. - שיחה 15:57, 8 באוגוסט 2019 (IDT)
- לדעתי חשוב להזכיר שזו דעה אישית. אני אישית לא הסמכות לקבוע אם היא נכונה או לא אלא אולי רק עבור עצמי. ―אנונימי לא חתם
- זו שיטה גרועה מאין כמוה ללמוד מהו תחשיב הפרדיקטים. כדאי לדעת מהו פרדיקט. כל השאר יבוא אחרי העניין עצמו. עוזי ו. - שיחה 15:57, 8 באוגוסט 2019 (IDT)
- אין לי ספק בכך, אבל לדעתי סביר להבין תחילה מה זה "תחשיב" בהקשר זה, מה זה "פרדיקט" בהקשר זה, מה זה תחשיב פרדיקטים כשלעצמו, מהו סדר ראשון בתחשיבים בכלל ובתחשיב הפרידקטים בפרט ורק אז לגשת להגדרה של תחשיב פרדיקטים מסדר ראשון. בברכה. ―אנונימי לא חתם
בינויקי לאנגלית רגילה? (כרגע מופיע לי שיש רק ל Simple English)[עריכת קוד מקור]
בינויקי לאנגלית רגילה? (כרגע מופיע לי שיש רק ל Simple English). אינני יודע מדוע אין גם ל English (בלבד) ואשמח אם בר סמכא בנושא יסדר את זה במידה וקיים ערך בוקי האנגלית הרגילה. ―אנונימי לא חתם
- הדף המקביל באנגלית, Predicate calculus, מפנה לשפה מסדר ראשון (באנגלית כמובן). עוזי ו. - שיחה 18:08, 8 באוגוסט 2019 (IDT)