Булевы (логические, двоичные) переменные и функции
(английский логик Джордж Буль «Математический анализ логики» - середина 19 века)
Высказывания можно рассматривать как двоичные переменные, которые могут принимать только два значения 0 или 1 (ложь или истина, false или true):
Отношения между булевыми переменными представляются булевыми функциями.
Функции, как и аргументы, принимают свои значения из множества