Implies

可用

Logical implication — `False` only when the antecedent is true and

形式

Implies[p, q]

验证过的示例Implies[True, False] → False Implies[False, True] → True

在 Qurak 上运行搜索参考

用于

Use logical operators - 7 步

主题

Boolean Computation - Basic Boolean Operators
Logic And Boolean Algebra - Logical Operators »
Theorem Proving - Predicates

相关

BooleanConvert LogicalExpand If Equivalent BooleanFunction And Not Or Boole Equal False Nand

全部 6300 个函数 · 从 MCP 客户端使用