שיחה:תחשיב הפרדיקטים

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה לניווט קפיצה לחיפוש

פתיח[עריכת קוד מקור]

שם הערך לא מציין סדר ספציפי של תחשיב פרדיקטים אך המשפט הראשון בערך כולל:

בלוגיקה ובלוגיקה מתמטית, תחשיב פרדיקטים מסדר ראשון הוא

פסקה לאחר מכן כתוב: "בתחשיב פרדיקטים מסדר גבוה יותר"...

בהנחה שהדבר אפשרי, לדעתי המשפט הראשון צריך להסביר מה זה תחשיב פרדיקטים באופן כללי, בלי לתאר סדר מסוים; ככה יהיה נוח לעבד את המידע למי שהמושג חדש לו.

אשמח לדעתכם, בתודה. -- הודעה זו הושארה על ידי אנונימי/ת

מי שהנושא חדש לו צריך להבין קודם כל מהו תחשיב הפרדיקטים מסדר ראשון. ההכללות יבואו אחר כך. עוזי ו. - שיחה 14:11, 8 באוגוסט 2019 (IDT)
אין לי ספק בכך, אבל לדעתי סביר להבין תחילה מה זה "תחשיב" בהקשר זה, מה זה "פרדיקט" בהקשר זה, מה זה תחשיב פרדיקטים כשלעצמו, מהו סדר ראשון בתחשיבים בכלל ובתחשיב הפרידקטים בפרט ורק אז לגשת להגדרה של תחשיב פרדיקטים מסדר ראשון. בברכה. -- הודעה זו הושארה על ידי אנונימי/ת
זו שיטה גרועה מאין כמוה ללמוד מהו תחשיב הפרדיקטים. כדאי לדעת מהו פרדיקט. כל השאר יבוא אחרי העניין עצמו. עוזי ו. - שיחה 15:57, 8 באוגוסט 2019 (IDT)
לדעתי חשוב להזכיר שזו דעה אישית. אני אישית לא הסמכות לקבוע אם היא נכונה או לא אלא אולי רק עבור עצמי. -- הודעה זו הושארה על ידי אנונימי/ת

בינויקי לאנגלית רגילה? (כרגע מופיע לי שיש רק ל Simple English)[עריכת קוד מקור]

בינויקי לאנגלית רגילה? (כרגע מופיע לי שיש רק ל Simple English). אינני יודע מדוע אין גם ל English (בלבד) ואשמח אם בר סמכא בנושא יסדר את זה במידה וקיים ערך בוקי האנגלית הרגילה. -- הודעה זו הושארה על ידי אנונימי/ת

הדף המקביל באנגלית, Predicate calculus, מפנה לשפה מסדר ראשון (באנגלית כמובן). עוזי ו. - שיחה 18:08, 8 באוגוסט 2019 (IDT)