霍恩子句的法文

• Clause de Horn

• "霍"法文翻译    副 rapidement;tout à coup;subitement
• "恩"法文翻译    名 1.bonté;faveur;grâce报~rendre grâce à qn;payer
• "子"法文翻译    名 1.fils;enfant母~mère et fils.
• "子句"法文翻译    Proposition (grammaire)
• "句"法文翻译    名 phrase 量 两~诗deux vers.
• "子句" 法文翻译 :    Proposition (grammaire)
• "where 子句" 法文翻译 :    clause where
• "分子句" 法文翻译 :    sous-clause
• "子句 (逻辑)" 法文翻译 :    Clause (logique)
• "关系子句" 法文翻译 :    Proposition relative
• "查询子句" 法文翻译 :    clause de requête
• "霍恩霍恩" 法文翻译 :    Hohenhorn
• "奥霍恩" 法文翻译 :    Ohorn
• "彼得·霍恩" 法文翻译 :    Peter Horne
• "罗伯·霍恩" 法文翻译 :    Rob Horne
• "蒂莫·霍恩" 法文翻译 :    Timo Horn
• "阿霍恩" 法文翻译 :    Ahorn (Bade-Wurtemberg)
• "霍恩·久洛" 法文翻译 :    Gyula Horn
• "霍恩·赫克" 法文翻译 :    Hone Heke
• "霍恩县" 法文翻译 :    District de Horn
• "霍恩坦" 法文翻译 :    Hohenthann
• "霍恩堡" 法文翻译 :    Hohenburg
• "霍恩岛" 法文翻译 :    Île Howen
• "霍恩西" 法文翻译 :    Hornsea
• "农嫩霍恩" 法文翻译 :    Nonnenhorn

• La dénomination « clause de Horn » vient du nom du logicien Alfred Horn qui, le premier, met en évidence l’intérêt de telles clauses en 1951 dans l’article « On sentences which are true of direct unions of algebras » publié dans le Journal of Symbolic Logic, numéro 16, pages 14 à 21.
  霍恩子句得名于逻辑学家 Alfred Horn，他在 1951 年首先在文章《On sentences which are true of direct unions of algebras》, Journal of Symbolic Logic, 16, 14-21 中指出这种子句的重要性。

• 霍恩子句的英语：horn clause
• 霍恩子句的俄语：Хорновский дизъюнкт