predikãtų skaičiãvimas, predikatų logika kaip formali aksiominė arba natūraliojo skaičiavimo sistema. Tai teiginių išplėtimas įvedant individinius bei predikatinius kintamuosius ir kvantorius. Predikatų skaičiavimą sudaro dirbtinė kalba, reiškianti subjektinę predikatinę teiginių struktūrą. Bendrareikšmės išraiškos išvedamos iš aksiomų pagal teiginių skaičiavimo nustatytas ir predikatų skaičiavimui specialiai sudarytas išvedimo taisykles.
314