Čo je to obrátená implikácia?
Obrátená implikácia je implikácia, ktorá je otočená, teda obidva jednoduché výroky sú prehodené. Napríklad výrok G „Ak bude pršať, tak nepôjdem von“ bude po obrátení implikácie vyzerať takto: „Ak nepôjdem von, tak bude pršať." Matematický zápis tejto implikácie pre výrok \( A, B \) vyzerá ako: „ \( B\Rightarrow A \) ".