Изменения
Нет описания правки
# В каком случае транзитивное замыкание отношения будет отношением эквивалентности?
# В каком случае транзитивное замыкание отношения будет отношением частичного порядка?
# Выразите в явном виде "и", "или" и "не" через стрелку Пирса
# Выразите в явном виде "и", "или" и "не" через штрих Шеффера
# Является ли пара $\{x\to y, \neg x\}$ базисом?
# Является ли набор $\{x \to y, \langle xyz\rangle, \neg x\}$ базисом?
