网站首页  英汉词典

请输入您要查询的英文单词:

 

单词 Material conditional
释义

Material conditional

中文百科

实质条件

在命题演算,或在数学的逻辑演算中,实质条件实质蕴涵蕴涵算子是一种二元的真值泛函的逻辑运算符,它有着如下形式

如果A那幺B,

这里的A和B是陈述变量(可以被语言中任何有意义的可表示的句子所替代)。在这种形式的陈述中,第一项这里的A,叫做前件;第二项这里的B,叫做后件。前件的真实是后件的真实的充分条件,而后件的真实是前件的真实的必要条件。

这个算子使用右箭头“→”(有时用符号“⇒”或“⊃”)来符号化,符合“如果A为真,那幺B亦为真”被写为如下:

  •  A \to B
  • A \supset B
  • A \Rightarrow B
英语百科

Material conditional 实质条件

Diagrama de Venn de la implicación lógica.

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条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2024 encnc.com All Rights Reserved
更新时间:2025/6/19 4:05:41