Implico: Malsamoj inter versioj
[nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
e roboto aldono de: es, it, kaa, pl |
Neniu resumo de redakto |
||
Linio 1:
'''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'''''".(<math>p \implies q</math>).
[[
Se signifi '''vero = 1''' kaj '''malvero = 0'''.
Linio 35:
:<math>(P\implies Q) \iff (\neg Q \implies \neg P)</math>
Tio ĉi formulo estas bazo de [[malrekta pruvo]].
==Vidu ankaŭ==
*[[Bulea algebro]]
*[[NAND]]
*[[NOR]]
|