teiginių skaičiavimas
teigini skaičiãvimas, dvireikšmė teiginių logika, užrašyta kaip aksiominė formali sistema.
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.