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 用戶端使用這個