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".(p⟹q{displaystyle pimplies q}).
Vertabelo por implico:
Se signifi vero = 1 kaj malvero = 0.
p{displaystyle p} | q{displaystyle q} | p⟹q{displaystyle pimplies q} |
|---|---|---|
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 1 |
| 0 | 0 | 1 |
Implico povas prezenti per aliaj simboloj de matematika logiko:
P⟹Q⟺¬P∨Q⟺¬(P∧¬Q){displaystyle Pimplies Qiff neg Plor Qiff neg (Pland neg Q)}
Implico havas tion ĉi kvaliton:
- (P⟹Q)⟺(¬Q⟹¬P){displaystyle (Pimplies Q)iff (neg Qimplies neg P)}
Tio ĉi formulo estas bazo de malrekta pruvo.
Vidu ankaŭ |
- Bulea algebro
- NAND
- NOR
