非逻辑公理
【词语拼音】fēi luó ji gōng lǐ
【词语繁体】非邏輯公理
【词语结构】式词语
【词语字数】五字词语
【网络解释】
非逻辑公理(non-logical axiom)亦称“专有公理”。用形式语言把一个理论写成形式系统时,除逻辑公理以外的初始公式。
数理逻辑逻辑推理非标准逻辑逻辑逻辑图负逻辑合逻辑元逻辑逻辑学正逻辑逻辑狗小逻辑逻辑闸逻辑门住逻辑逻辑值逻辑球逻辑题逻辑与逻辑性逻辑语逻辑怪逻辑树数理逻辑基础逻辑推理游戏数理逻辑引论辑理现代逻辑谓词逻辑模态逻辑逻辑检查逻辑常项二值逻辑逻辑判断逻辑顺序逻辑错误经典逻辑逻辑导论逻辑演算科学逻辑逻辑关系电路逻辑逻辑编程逻辑方块逻辑坏道辩证逻辑逻辑运算逻辑分析代数逻辑逻辑主义逻辑函数逻辑文件高阶逻辑算法逻辑逻辑拼图法律逻辑智慧逻辑逻辑方案普通逻辑逻辑矛盾数字逻辑时态逻辑哲学逻辑多值逻辑先验逻辑逻辑结构逻辑重音价值逻辑逻辑方法博弈逻辑逻辑控制逻辑比较鸟的逻辑佛教逻辑符号逻辑逻辑聚合汉堡逻辑二阶逻辑关系逻辑因果逻辑逻辑电路逻辑表示传统逻辑模糊逻辑思维逻辑幸运逻辑趣味逻辑数学逻辑鸟笼逻辑逻辑人生逻辑图片程序逻辑逻辑主语逻辑元件逻辑冒险逻辑哲学