补充资料：蕴涵

蕴涵
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撰
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。