PRWS1R
§3 Основы Булевой алгебры
3.1 Алфавит. Вводятся в рассмотрение знаки пяти видов: пропозициональные переменные, константы, логические связки (знаки логических операций), знак отношения и скобки.
a) Пропозициональные переменные: A1, A2, A3, ...; число пропозициональных переменных не ограничено.
б) Константы: 0, 1.
в) Логические связки: , &, (эти знаки носят названия соответственно отрицания, конъюнкции и дизъюнкции).
г) Знак отношения: = (знак равенства).
д) Скобки: (, ) (левая и правая).
Других знаков алфавит не содержит.
Исчисление строится так, что не всякая конечная последовательность знаков его алфавита является формулой. Формулы — это такие последовательности знаков алфавита, которые удовлетворяют следующему определению [8].
Содержание
- 1 Понятие «моделей»
- §1 Поиск соответствия объектов природы с их математическими аналогами
- 1.1 Формы объектов в системе координат.
- §2 Математическая логика и формирование на ее основе электронных компонентов эвм
- 2.1 Основания математической логики
- Маленький двоично-десятичный словарик.
- §3 Основы Булевой алгебры
- 3.2 Формулы
- 3.3 Равенства
- 3.4 Постулаты (лат. Postulatum ― требуемое).
- §4 Функциональная интерпретация
- §5 Техническая интерпретация (на контактных схемах)
- Практическое задание