Výroky: Na základe tabulky dokažte tautologie. Rozhodni, zda jde o výrokovou formu nebo výrok. Množiny: Prostrednictvím výrokových forem charakterizuj prvky patrící do množin. Pro A = {1, 2, 3}, B = {3, 4, 5}, C = {1, 3, 5} urci výctem prvku množiny a) - b) z predchozího bodu. Výctem prvku popr. intervalem charakterizuj množiny Kartézský soucin a binární relace: Pro množiny z príkladu B2 urci výctem prvku. Rozhodnete, zda pro množinu K existují množiny L,M tak, že K = L ×M. Vypiš všechny binární relace na dvouprvkové množine. ...