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.
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.