语言
没有数据
通知
无通知
実効的(effectiveな)方法が存在することを指す。決定可能性(けっていかのうせい、英: decidability)は、そのような属性を指す。命題論理のような形式体系は、論理的に妥当な論理式(または定理)の集合のメンバーシップを実効的
(1)それでよいとすること。
(1)決断。 決定。
(1)よくないこと。 いけないこと。
動かせること。 動く仕掛けになっていること。
(1)することができること。 ありうること。 また, そのさま。
〔khaghan の音訳〕
燃えること。 燃えやすいこと。