atominis teiginys
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