Implico estas kopulo, kiu ligas du logikan frazon p (antaŭulo de implico) kaj q (postanto de implico). il signifas : "el p rezultas/implicas q".(${\displaystyle p\implies q}$).

Vertabelo por implico:

Se signifi vero = 1 kaj malvero = 0.

${\displaystyle p}$	${\displaystyle q}$	${\displaystyle p\implies q}$
1	1	1
1	0	0
0	1	1
0	0	1

Implico povas prezenti per aliaj simboloj de matematika logiko:

${\displaystyle P\implies Q\iff \neg P\lor Q\iff \neg (P\land \neg Q)}$

Implico havas tion ĉi kvaliton:

${\displaystyle (P\implies Q)\iff (\neg Q\implies \neg P)}$

Tio ĉi formulo estas bazo de malrekta pruvo.

Vidu ankaŭ

• Bulea algebro
• NAND
• NOR