Implico

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo

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.

1 1 1
1 0 0
0 1 1
0 0 1


Implico povas prezenti per aliaj simboloj de matematika logiko:


Implico havas tion ĉi kvaliton:

Tio ĉi formulo estas bazo de malrekta pruvo.

Vidu ankaŭ[redakti | redakti fonton]