Matematické Fórum

Zdravím,

znak znamená implikaci, tedy znamená: Pokud platí výrok A, pak platí také výrok B. Ovšem z platnosti výroku B již nevyplývá zase zpátky platnost A. Opačná šipka znamená totéž v obráceném gardu, tedy značí pokud platí B, pak také platí A, ale pokud platí A, neznamená to nutně, že platí i B, ale málokde je vidět, často je vidět v zápisech třeba algoritmů jednoduchá šipka mířící vlevo, a znamená obvyke přiřazení znamená hodnotu proměnné b uložíme do proměnné a

Oboustranná šipka, tzv. ekvivalence znamená pro fakt, že pokud platí A, vyplývá z něho B, a také obráceně, tedy pokud platí B, plyne z něho platnost také výroku A.

Konkrétní příklady kdy to použít již jistě dokážeš najít sám.