正 在演绎逻辑中常常碰到蕴涵(implication)、推导(derivation or entailment)和断定(assertion)这些词。弄清这三者的性质和关连,对演绎 .
基于12个网页-相关网页
derivation or entailment
推导或蕴涵
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动