Implico

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".().

Vertabelo por implico:

Se signifi vero = 1 kaj malvero = 0.

111100011001

Implico povas prezenti per aliaj simboloj de matematika logiko:

Implico havas tion ĉi kvaliton:

Tio ĉi formulo estas bazo de malrekta pruvo.

 Vidu ankaŭ 
 Bulea algebro
 NAND
 NOR

Kategorio:Logiko
Kategorio:Matematiko