осының арқасында анықтауға болады айнымалылары жоқ атомдар ақиқат немесе жалған болып анықталады логикалық