补充资料:蕴涵
蕴涵
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撰
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条
专业词汇(按中图法分类)
- 马列主义、毛泽东思想、邓小平理论
- 哲学、宗教
- 社会科学总论
- 政治、法律
- 军事
- 经济
- 文化、科学、教育、体育
- 语言、文字
- 文学
- 艺术
- 历史、地理
- 自然科学总论
- 数理科学和化学
- 天文学、地球科学
- 生物科学
- 医药、卫生
- 农业科学
- 工业技术
- 交通运输
- 航空、航天
- 环境科学、安全科学