Ф1334 Алгебраические и логическая функция. Когда логическую функцию превращают в некую математическую с конечным, заданным, множеством значений такой функции, числом в 2, то отчасти, это может быть подмена понятий. И не только потому, что любая иная арифметическая и/или алгебраическая функция вида: сложения, деления или умножения, вычитания, может иметь, как неограниченное число аргументов, так и значений функции. Но и иначе, это может быть возможный метабазис, просто и не просто потому, что, если...

В прошлой части цикла мы обозрели общие понятия и базовые действия с множествами. В этой же статье мы рассмотрим, что такое функция с точки зрения Теории Множеств, какими свойствами она может обладать и, конечно, что с ними можно делать. Прошлая статья также была заметно длиннее, чем, например, первые три статьи про математическую логику. Данная статья будет не очень длинной. Помимо множеств в Теории Множеств имеется ещё один объект, причём довольно похожий. УПОРЯДОЧЕННАЯ ПАРА - это набор из двух элементов, в котором учитывается порядок...