原子論理式

原子論理式（げんしろんりしき、（）英: atomic formula）または素論理式（そろんりしき）は、それを構成する部分論理式を持たない論理式である。何をもって原子論理式とするかは論理体系による。

この神経はここで途切れています。