« (4) imperatívny mandát :: hore :: (5) individualizmus »
Autor: Marián Olejár, Jr.
matematika, logika:
Implikácia je také spojenie výrokov, že z dvoch výrokov A a B môžeme pomocou väzby "ak ..., tak ..." vytvoriť výrok "ak A, tak B" (A potom B). Tento výrok nazývame implikáciou a označujeme `A=>B` (čítame A implikuje B, A potom B, ...). Implikácia je nepravdivá iba vtedy, ak výrok A je pravdivý a výrok B je nepravdivý. Výrok A nazývame postačujúcou podmienkou pre výrok B a výrok B nutnou podmienkou pre výrok A.
Definícia implikácie pomocou tabuľky:
| A | B | `A=>B` |
|---|---|---|
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 1 |
| 0 | 0 | 1 |
« (4) imperatívny mandát :: hore :: (5) individualizmus »
Pridané: 16/09/04 Posledná zmena: 28/03/07
Citujte toto encyklopedické heslo ako:
Text: Marián Olejár, Jr.: implikácia; encyklopédia www.ys.sk
Odkaz: http://www.ys.sk/heslo/implikacia.php
Verzia pre PC: Encyklopédia YS, implikácia
(c) 2007, Marián Olejár, Jr.
All rights reserved.
kontakt: marianolejar (zavinac) yahoo (bodka) com