0 %
Implikace
Implikace je složený výrok s logickou spojkou, která se značí symbolem „ \Rightarrow “ (čti: „jestliže..., pak"). Implikace je pravdivá vždy kromě jednoho případu, a to pokud bude první jednoduchý výrok pravdivý a druhý nepravdivý (když bude z pravdy plynout nepravda). V krásné matematičtině vypadá zápis implikace pro výroky a, b jako „ a \Rightarrow b.