霍恩句

日 [かくめぐみく] [kakumegumiku]

霍恩句

名詞

霍恩句的概念说明：

用日语解释：

ホーン節[ホーンセツ]
形式論理学において,ホーン節という,命題論理式の節形式