Каноническое отображение
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
переменное, возможные значения которого интерпретируются как высказывания или истинностные значения
Высказывания и высказывательные формы
Определение 1
Пропозиционная логика – это раздел символической...
именной формой (или, соответственно, высказывательной формой)....
Переменные, свободно входящие в именную (высказывательную) форму, называют ее параметрами....
Их применение обращает высказывательную форму в высказывание....
Итак, в рамках пропозициональной логики рассматривается единственный инструмент получения сложных высказываний
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
квадратные матрицы A и B одинакового порядка, для которых оба произведения AB и BA имеют смысл и AB = BA
функция ex, часто обозначаемая как exp x