1) prime implicant form
素蕴涵式
2) sequential prime implicant form
时序素蕴涵式
3) prime implicant
素蕴涵
4) prime implicant table
素蕴涵表
5) prime implicant/implicate
本原蕴涵/蕴涵式
6) 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.
量词在一阶逻辑推理中起着重要作用,然而它的性质及运算规律比较繁杂,关于它的一些等值式和蕴涵式不能像在命题逻辑中那样用真值表来验证,本文将给出一系列的论证。
补充资料：时序
1.时间的先后;季节的次序。 2.节候;时节。 3.时间;光阴。 4.犹时世。 5.犹承序，承顺。言有条理。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条