Implikácia: Rozdiel medzi revíziami

Výraz na pravej strane rovnosti v druhej z hore uvedených vlastností sa nazýva '''obmena implikácie''' alebo '''obmenená implikácia'''. Táto vlastnosť hovorí, že ak sa podarí dokázať, že z negácie B '''nevyplýva'''vyplý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]].