Article on other languages:
- Implikace
- Subjunktion
- Material_conditional
- شرطی_منطقی
- אם-אז
- 論理包含
- Материјална_импликација
- Subjunksjon_(logikk)
- Condição_lógica
- Implikácia
- เงื่อนไขเชิงตรรกศาสตร์
- 实质条件
 |
del.icio.us |
 |
Digg |
 |
Furl |
 |
|
 |
Rojo |
| Add to OnlyWire |
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.
