Dokaž, že platí výrok: \forall a \in \mathbb{Z}^{+}platí, jestliže a je liché číslo \Rightarrow a^{2} je liché číslo.
Výrok je nepravdivý.
Výrok je nesprávný.
Výrok platí.
Výrok neplatí.