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

אין שינוי בגודל ,  לפני 6 שנים
←‏הצרנה של פסוקים יסודיים: תיקון טעות הקלדה, הסימן המשומש הוא R ולא F., , תקלדה
(←‏דוגמאות: שגיאות לשון)
(←‏הצרנה של פסוקים יסודיים: תיקון טעות הקלדה, הסימן המשומש הוא R ולא F., , תקלדה)
:יש לפחות פילוסוף אחד
 
בתחשיב הפרדיקטים הכמתים מופיעים כחלק מן המבנה הפנימי של הטענה, ובאמצעות כך ניתן כעת לנסח בו טענות שיש בהם כימות מרובה של מספר משתנים בעת ובעונה אחת. טכניקות אלו מעניקות ללוגיקה כוח להביע עובדות וקשרים שאינם ניתנים להבעה באמצעות [[תחשיב הפסוקים]] או ב[[לוגיקה#לוגיקה אריסטוטלית|לוגיקה האריסטוטלית]]. למשל הוא מאפשר לתת תיאור של מושג המספר, של מושג האינסוף ושל מושג הגבול ב[[אנליזה מתמטית|אנליזה המתימטית]] של פונקציות, שכן לשם הבעת מושגים אלו יש צורך בטענה מרובת כמתים מן הצורה "לכל ε קיים δ כך ש...". דוגמה פשוטה יחסית לאופן בו נעשה שימוש כזה בכמתים היא ההצרנה של הטענה "לכל אחד יש חבר", כאשר נציין את היחס בין חברים שוב כפרדיקט דו-מקומי, FR:
 
<math>\ \forall x \exists y Rxy </math>
משתמש אלמוני