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
Citata
Nors buvo dedamos visos pastangos laikytis citavimo stiliaus taisyklių, gali pasitaikyti tam tikrų neatitikimų. Jei turite klausimų, prašome vadovautis atitinkamu stiliaus vadovu arba kitais šaltiniais.