Implikace: Porovnání verzí

Smazaný obsah Přidaný obsah
Luckas-bot (diskuse | příspěvky)
m robot přidal: es, it, kaa, pl
Řádek 25:
* <math>( A \implies B) = ( \neg B \implies \neg A )</math> – '''obměna implikace'''
 
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 negace B '''nevyplývá'''vyplý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]].
 
=== Význam a příklady ===