一阶逻辑的半可判定性导致基于本原蕴含式(prime implicate)的知识编译方法的终止性不能得到保证。
基于24个网页-相关网页
理论本原蕴含式 theory prime implicate
本原蕴含式
Primitive implication
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动