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".(p \implies q).

Tabulo de vero por implico:

Se signifi vero = 1 kaj malvero = 0.

p q p \implies q
1 1 1
1 0 0
0 1 1
0 0 1


Implico povas prezenti per aliaj simboloj de matematika logiko:

P\implies Q \iff \neg P \or Q \iff \neg (P \and \neg Q)


Impliko havas tion ĉi kvaliton:

(P\implies Q) \iff (\neg Q \implies \neg P)

Tio ĉi formulo estas bazo de malrekta pruvo.

[redaktu] Vidu ankaŭ