Изменение содержания понятия: отрицание • ограничение • обобщение • деление
Изменение объёма понятия: сложение • умножение • вычитание
Типы: Многозначная логика • Бинарная логика
Математическая
(теоретическая,
символическая)
Логические связки (операции) над высказываниями
Высказывание - построение над множеством {B, , , , 0, 1}
В - непустое множество, над элементами которого определены три операции: конъюнкция ( или &,бинарная) • дизъюнкция (,бинарная) • отрицание (,унарная)