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

מ
<math>Rab </math>
 
תחשיב הפרדיקטים מסדר ראשון כולל גם שני אמצעי ה[[כמת|כימות]] (קוונטיפיקציה). את הכמת ניתן להבין כפונקציה מסדר גבוה יותר החלה על הפרדיקט ועל המשתנה שלו. למשל, כך מובעת בתחשיב הפרדיקטים צורתה של הטענה "כל דבר הוא חכם":
 
<math>\ \forall x Px </math>
173

עריכות