0 %
Implikácia
Implikácia je zložený výrok s logickou spojkou, ktorá sa označuje symbolom „ \( \Rightarrow \) “ (čítaj: „ak ... , potom“). Implikácia je pravdivá vždy, okrem jediného prípadu, a to ak bude prvý jednoduchý výrok pravdivý a druhý nepravdivý (keď bude z pravdy vyplývať nepravda). V krásnej matematike vyzerá zápis implikácie pre výroky \( \mathrm{A}, \mathrm{B} \) ako „\( A\Rightarrow\mathrm{B}^{} \)’’.