DU4 - LS 2016/17 - inklúzia a podmnožiny

[Martin Sleziak]

Niečo k druhej časti d.ú. 4: http://msleziak.com/vyuka/2016/temno/du04.pdf

Staršie komentáre:
viewtopic.php?t=534

Viacerí se prepísali výrok na overenie nejakých implikácií, kde vystupovali $x\in A$, $x\in B$, $x\in C$.
Pritom ste ale odignorovali to, že definícia inklúzie je $(\forall x)(x\in A \Rightarrow x\in B)$. (Nijako ste nezdôvodnili, či tam skutočne môžem vynechať časť s kvantifikátorom.)
Detailne to je vysvetlené v starších riešeniach, na ktoré som dal linku vyššie.