Дано множество и его подмножества , и , причём
, , .
Пусть и – булеан множества , т.е. множество всех подмножеств множества .
Тогда истинно утверждение:
Даны два высказывания: A – «треугольник равносторонний»; B – «все стороны треугольника равны». Тогда на языке алгебры логики предложение: «Треугольник не равносторонний и все его стороны равны» имеет вид …