Implies

Implies[p,q]

表示逻辑蕴涵关系 .

更多信息

范例

打开所有单元关闭所有单元

基本范例  (2)

用 => 输入：

范围  (4)

某些参数自动化简：

展开为 And、Or 和 Not 的组合：

执行符号化简：

TraditionalForm 格式：

应用  (3)

用 Implies 连接两个区域：

符号化简：

求出由代数条件给出的差集的互补区域：

显示集合：

用 Implies 表示集合包含：

属性和关系  (2)

二进制 Implies 的真值表：

在 Boole 函数中的蕴涵条件：

Wolfram Research (1988)，Implies，Wolfram 语言函数，https://reference.wolfram.com/language/ref/Implies.html （更新于 1996 年）.

文本

Wolfram Research (1988)，Implies，Wolfram 语言函数，https://reference.wolfram.com/language/ref/Implies.html （更新于 1996 年）.

CMS

Wolfram 语言. 1988. "Implies." Wolfram 语言与系统参考资料中心. Wolfram Research. 最新版本 1996. https://reference.wolfram.com/language/ref/Implies.html.

APA

Wolfram 语言. (1988). Implies. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/Implies.html 年

BibTeX

@misc{reference.wolfram_2024_implies, author="Wolfram Research", title="{Implies}", year="1996", howpublished="\url{https://reference.wolfram.com/language/ref/Implies.html}", note=[Accessed: 22-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_implies, organization={Wolfram Research}, title={Implies}, year={1996}, url={https://reference.wolfram.com/language/ref/Implies.html}, note=[Accessed: 22-November-2024 ]}