实质条件


在命题演算,或在数学的逻辑演算中,实质条件、实质蕴涵或蕴涵算子是一种二元的真值泛函的逻辑运算符,它有着如下形式
- 如果A那幺B,
这里的A和B是陈述变量(可以被语言中任何有意义的可表示的句子所替代)。在这种形式的陈述中,第一项这里的A,叫做前件;第二项这里的B,叫做后件。前件的真实是后件的真实的充分条件,而后件的真实是前件的真实的必要条件。
这个算子使用右箭头“→”(有时用符号“⇒”或“⊃”)来符号化,符合“如果A为真,那幺B亦为真”被写为如下:
单词 | Material conditional |
释义 |
Material conditional
中文百科
实质条件![]() ![]() 在命题演算,或在数学的逻辑演算中,实质条件、实质蕴涵或蕴涵算子是一种二元的真值泛函的逻辑运算符,它有着如下形式
这里的A和B是陈述变量(可以被语言中任何有意义的可表示的句子所替代)。在这种形式的陈述中,第一项这里的A,叫做前件;第二项这里的B,叫做后件。前件的真实是后件的真实的充分条件,而后件的真实是前件的真实的必要条件。 这个算子使用右箭头“→”(有时用符号“⇒”或“⊃”)来符号化,符合“如果A为真,那幺B亦为真”被写为如下:
英语百科
Material conditional 实质条件![]() ![]() The material conditional (also known as material implication, material consequence, or simply implication, implies, or conditional) is a logical connective (or a binary operator) that is often symbolized by a forward arrow "→". The material conditional is used to form statements of the form |
随便看 |
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。