Implies

Available

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

Forms

Implies[p, q]

Verified examplesImplies[True, False] → False Implies[False, True] → True

Run this on Qurak Search the reference

Used in

Use logical operators - 7 steps

Topics

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

Related

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

All 6300 functions · Use this from an MCP client