实质条件


在命题演算,或在数学的逻辑演算中,实质条件、实质蕴涵或蕴涵算子是一种二元的真值泛函的逻辑运算符,它有着如下形式
- 如果A那幺B,
这里的A和B是陈述变量(可以被语言中任何有意义的可表示的句子所替代)。在这种形式的陈述中,第一项这里的A,叫做前件;第二项这里的B,叫做后件。前件的真实是后件的真实的充分条件,而后件的真实是前件的真实的必要条件。
这个算子使用右箭头“→”(有时用符号“⇒”或“⊃”)来符号化,符合“如果A为真,那幺B亦为真”被写为如下:
网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
依恋情感网英汉例句词典收录3870147条英语例句词条,基本涵盖了全部常用英语单词的释义及例句,是英语学习的有利工具。