霍恩子句

概述

在数理逻辑中，霍恩子句（Horn Clause）是带有最多一个肯定文字的子句(文字的析取)。

2百科释义

在数理逻辑中，霍恩子句（Horn Clause）是带有最多一个肯定文字的子句(文字的析取)。

9词语组词

霍字组词 恩字组词 子字组词 句字组词

参相关词条

东源新街 举止自若 云麾将军 九霄 借光 凯定 合肥金融学校 学名 小河庙乡 心猿意马 彩叶泉种蝇 张伯义 拓扑空间论 月双 柯岚 杨亦农 殷宪彪 沉思默想 沟鲇 王钢 盗骗 相救 秩和检验 罗树伟 色萼花 豆捞 贾尼 近代物理学 郡王府 通河县 霸爱 额尔登 马赛丽 龙心素胶囊 黄丽丹 妮亚 玄月梦影 花园静马 泡浮万彬 插屋顶旗 强化系数 姜芽炒鸭片 双头螺丝 欧龙芽草 湖北栲 西貒 动感足球 江苏港口 绯格贝缇 旷贵

本词条最后更新于 2026-07-01 06:49:29

链友情链接

抓书网 短词网 书号查询 星云网 法巴银行是什么意思？ 查看详情是什么意思？ 查看新疆天气-温度计网 查看新疆天气 新疆是什么意思？ 充值是什么意思？ 老师师德演讲稿是什么意思？ 黄金是什么意思？ 鞍山天气预报30天是什么意思？ 长沙天气预报30天是什么意思？ 祝姐端午节快乐的话四篇是什么意思？ 点歌是什么意思？ 厦门盈盛捷电力科技有限公司是什么意思？ 百家号是什么意思？ 情意结是还爱对方吗是什么意思？ 天竺鼠价格是什么意思？ 卧室常用摆件有哪些是什么意思？ 台安天气预报30天是什么意思？