Implikace: Porovnání verzí
Smazaný obsah Přidaný obsah
m robot přidal: mk, nl, zh změnil: en |
|||
Řádek 18:
==Vlastnosti==
* <math>( A \implies B) = ( \neg A \vee B)</math> – náhrada implikace disjunkcí
* <math>( A \implies B) = ( \neg
Výraz na pravé straně rovnosti v druhé z výše uvedených vlastností se nazývá '''obměna implikace''' nebo také '''obměněná implikace'''. Tato vlastnost říká, že pokud se mi podaří dokázat, že z B '''nevyplývá''' negace A, pak jsem dokázal pravdivost původní implikace (z A vyplývá B). Toho se využívá v technice matematického [[Důkaz nepřímý|nepřímého důkazu]].
|