1) prime implicant/implicate
本原蕴涵/蕴涵式
2) U's prime implicant/implicate
U-S本原蕴涵/蕴涵式
3) Text Entailment
文本蕴涵
4) essential prime implicant
实质本原蕴涵
5) Implication
[英][,ɪmplɪ'keɪʃn] [美]['ɪmplɪ'keʃən]
蕴涵式
1.
Some of equivalent types and the implication type can t be proved by the matrix unlike propositional logic.
量词在一阶逻辑推理中起着重要作用,然而它的性质及运算规律比较繁杂,关于它的一些等值式和蕴涵式不能像在命题逻辑中那样用真值表来验证,本文将给出一系列的论证。
6) Formal Implication
形式蕴涵
补充资料：蕴涵
蕴涵
implication
蕴涵(如帅口位价;“Mn几H以找“皿l 一种逻辑运算，用来从两个表示式A和B构造表示式“如果A，那么B”.在形式语言中，最常用的表示蕴涵的符号是“，~或”.表示式A称为AOB的前提(Pn沉n拐e)，而表示式B称为结论(co璐叫比nCe).表示式A“B的确切含意在经典的、可构成的和其他一些对语言的语义处理中各不相同.在经典语义的语言中，蕴涵式的含义由如下真假值表(赶址h table)给出: 下号如上所说的这种蕴涵称为实质蕴涵(订么忱对allrr甲玩习.tion)B .E.且四c‘o撰
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条