Implikácia: Rozdiel medzi revíziami
Smazaný obsah Přidaný obsah
Preklad z cs |
d gramatika |
||
Riadok 3:
Implikácia (z lat. implcare - úzko spájať) je [[Logická operácia|logická operácia]], tvoriaca zložený výrok z dvoch výrokov pomocou [[Logická spojka|logickej spojky]], ktorá zodpovedá spojke ''[[ak - tak|ak - tak]]''.
Používá sa pre ňu symbol <math> \implies </math>
== Definícia ==
Riadok 22:
== Vlastnosti ==
* <math>( A \implies B) = ( \neg A \vee B)</math> – náhrada implikácie disjuknciou
* <math>( A \implies B) = ( \neg B \implies \neg A )</math> – '''obmena
Výraz na pravej strane rovnosti v druhej z hore uvedených vlastností sa nazývá '''obmena implikácie''' alebo taktiež '''obmenená implikácie'''. Táto vlastnosť hovorí, že pokiaľ sa podarí dokázať, že z B '''nevyplýva''' negácia A, tak je dokázaná pravdivosť pôvodnej implikácia (z A vyplýva B). To sa využíva v technike matematického [[Nepriamy dôkaz|nepriameho dôkazu]].
|