nonlogical axiom
... 非逻辑操作非功能 not function 与非逻辑 nand logic 非逻辑公理 nonlogical axiom ...
基于78个网页-相关网页
·2,447,543篇论文数据,部分数据来源于NoteExpress
非逻辑公理(non-logical axiom)亦称“专有公理”。用形式语言把一个理论写成形式系统时,除逻辑公理以外的初始公式。
详细内容
应用推荐
模块上移
模块下移
不移动