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クライアントから使う