Naivná a axiomatická teória množín
Требуемые условия завершения
Operácie s množinami
V tejto časti sa budeme venovať základom práce s množinami a s niektorými vlastnosťami operácií s množinami. Pripomíname, že budeme pracovať v naivnej teórii množín, kde množinu chápeme jednoducho ako súhrn objektov určených nejakou vlastnosťou.
Východiskovými pojmami budú základné číselné množiny a s množiny, ktoré vieme vytvoriť buď vymenovaním prvkov alebo pomocou výrokovej formy.
Východiskovými pojmami budú základné číselné množiny a s množiny, ktoré vieme vytvoriť buď vymenovaním prvkov alebo pomocou výrokovej formy.
Poznámky.
Pri práci s množinami sú nutné znalosti z výrokovej logiky, ktorá sa zaoberá výrokmi vytvorenými pomocou logických spojok a kvantifikátorov. Výrokovou logikou sa nebudeme zaoberať. Podrobnejšie o výrokovej logike ste sa zoznámili v algebraických kurzoch, prípadne si doplňte svoje vedomosti v prácach (BUK, ) a (STE, ).
Pri práci s množinami sú nutné znalosti z výrokovej logiky, ktorá sa zaoberá výrokmi vytvorenými pomocou logických spojok a kvantifikátorov. Výrokovou logikou sa nebudeme zaoberať. Podrobnejšie o výrokovej logike ste sa zoznámili v algebraických kurzoch, prípadne si doplňte svoje vedomosti v prácach (BUK, ) a (STE, ).
Z výrokovej logigiky si zopakujte nasledujúce pojmy.
Pojmy výrokovej logiky .
- logické spojky a ich pravdivostné hodnoty;
- výrokové formuly a ich vyhodnotenie;
- kvantifikované výroky a ich negácie.
