1) implication tautology
蕴涵重言式
2) multi-level connotation
多重蕴涵
1.
It is valuable for us to analyse the arcane truth from various angles and to reveal their multi-level connotation.
多角度剖析他探望病中胡风时的一言一行的"玄机"(中性词),揭示其多重蕴涵,可以收到典型剖视、以小见大之效,深入体认知识分子心灵的极其复杂的"矛盾统一体"。
3) prime implicant/implicate
本原蕴涵/蕴涵式
4) 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.
量词在一阶逻辑推理中起着重要作用,然而它的性质及运算规律比较繁杂,关于它的一些等值式和蕴涵式不能像在命题逻辑中那样用真值表来验证,本文将给出一系列的论证。
5) Formal Implication
形式蕴涵
6) prime implicant form
素蕴涵式
补充资料：重言式
重言式
tautology
重言式[tautd优毖:T，To二or“，] 一个真假值(truth vai优)恒为真的命题演算公式，它的真假值不依赖于它的命题变元的真假值是“真”或者“假”.例如:A OA，AV门A，(A二B)。(门B，二A). 一般地，通过验证所有命题变元真假值的有限个组合，就可以判定一个命题演算的公式是不是重言式.B.H.rp，。，H撰
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条