Implico

Ŝablono:Pluraj problemoj Ŝablono:Polurinda 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".($p⟹q$).

Vertabelo por implico:

Se signifi vero = 1 kaj malvero = 0.

$p$	$q$	$p⟹q$
1	1	1
1	0	0
0	1	1
0	0	1

Implico povas prezenti per aliaj simboloj de matematika logiko:

$P⟹Q⟺\mathrm{\neg }P\vee Q⟺\mathrm{\neg }(P\wedge \mathrm{\neg }Q)$

Implico havas tion ĉi kvaliton:

$(P⟹Q)⟺(\mathrm{\neg }Q⟹\mathrm{\neg }P)$

Tio ĉi formulo estas bazo de malrekta pruvo.

Vidu ankaŭ

• Bulea algebro
• NAND
• NOR