Implication

formula

Definition

Implication

The implication is a binary logical connective. For formulas $A$ and $B$, the formula $A⟹B$ is false exactly when $A$ is true and $B$ is false. In all other cases, $A⟹B$ is true.

Truth Table

$A$	$B$	$A⟹B$
$0$	$0$	$1$
$0$	$1$	$1$
$1$	$0$	$0$
$1$	$1$	$1$