Základy algebry a aritmetiky 1 – přehled pojmů


Výrok

Negace výroku

Konjunkce výroků

Disjunkce výroků

Ostrá disjunkce výroků

Implikace výroků

Ekvivalence výroků

Výroková formule

Tautologie

Kontradikce

Splnitelná výroková formule

Logicky ekvivalentní výrokové formule

Z výrokové formule Φ logicky vyplývá výroková formule Ψ

Výroková forma o jedné proměnné x

Definiční obor výrokové formy

Obor pravdivosti výrokové formy

Obecný výrok

Existenční výrok

Množina A je podmnožinou množiny B

Rovnost množin

Vlastní podmnožina množiny

Disjunktní množiny

Sjednocení množin

Průnik množin

Rozdíl množin

Symetrický rozdíl množin

Doplněk množiny


Kartézský součin množin

Binární relace v množině M

Binární relace z množiny M do množiny N

Doplňková relace k relaci R v množině M

Inverzní relace k relaci R v množině M

Složená relace R ○ S

První obor binární relace R

Druhý obor binární relace R

Binární relace v množině M je reflexivní

Binární relace v množině M je antireflexivní

Binární relace v množině M je symetrická

Binární relace v množině M je antisymetrická

Binární relace v množině M je tranzitivní

Binární relace v množině M je souvislá

Relace ekvivalence

Rozklad množiny M

Binární relace v množině M je uspořádání

Binární relace v množině M je ostré lineární uspořádání

První prvek lineárně uspořádané množiny

Poslední prvek lineárně uspořádané množiny

Relace zobrazení z množiny M do množiny N

Definiční obor zobrazení

Obor hodnot zobrazení

Zobrazení z množiny M do množiny N (typ)

Zobrazení z množiny M na množinu N (typ)

Zobrazení celé množiny M do množiny N (typ)

Zobrazení celé množiny M na množinu N (typ)

Prosté zobrazení z množiny M do množinu N

Vzájemně jednoznačné zobrazení množiny M na množinu N

Permutace množiny M

Množiny A, B jsou ekvivalentní

Konečná množina

Nekonečná množina