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

הוספת נושא

פתיחעריכה

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

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

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

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

אשמח לדעתכם, בתודה. ―אנונימי לא חתם מש:אנונימי 00:00, 10 בינואר 2000 (IST)תגובה[תגובה]

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

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

בינויקי לאנגלית רגילה? (כרגע מופיע לי שיש רק ל Simple English). אינני יודע מדוע אין גם ל English (בלבד) ואשמח אם בר סמכא בנושא יסדר את זה במידה וקיים ערך בוקי האנגלית הרגילה. ―אנונימי לא חתם מש:אנונימי 00:00, 10 בינואר 2000 (IST)תגובה[תגובה]

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