Implico
El Vikipedio
Implico estas kopulo, kiu ligas du logikan frazon p (antaŭulo de implico) kaj q (postanto de implico). il singnifas : "el p rezultas/implicas q".(
).
Tabulo de vero por implico:
Se signifi vero = 1 kaj malvero = 0.
| p | q | ![]() |
|---|---|---|
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 1 |
| 0 | 0 | 1 |
Implico povas prezenti per aliaj simboloj de matematika logiko:

Impliko havas tion ĉi kvaliton:
Tio ĉi formulo estas bazo de malrekta pruvo.


