22:48:00 13. 03. 2010
implikácia
Autor [Marián Olejár, Jr.] Pridané [16/09/04] Posledná zmena [28/03/07]
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:
Prvej zložke implikácie hovoríme antecedent a druhú nazývame konzekvent. Znak `=>` nazývame implikátor.
Viď aj: logika,
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
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 |
Prvej zložke implikácie hovoríme antecedent a druhú nazývame konzekvent. Znak `=>` nazývame implikátor.
Viď aj: logika,
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