atòminis teiginỹs, paprastas teiginys, neturintis kvantorių ir jungčių. Loginės kalbos atominė išraiška sistemos ribose neturi savarankiškos reikšmės dalių. Teiginių, predikatų logikos išraiškos p, q, F(x), xRy žymi atominį teiginį. Kartu su loginiais operatoriais atominis teiginys sudaro molekulinį teiginį.
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.