Шаблон:Логика

п·о·р Логика
Наука
Формальная	Логические операции с понятиями Изменение содержания понятия: отрицание • ограничение • обобщение • деление Изменение объёма понятия: сложение • умножение • вычитание Типы: Многозначная логика • Бинарная логика
Математическая (теоретическая, символическая)	Логические связки (операции) над высказываниями Высказывание - построение над множеством {B, $\lnot$ , $\land$ , $\lor$ , 0, 1} В - непустое множество, над элементами которого определены три операции: конъюнкция ( $\land$ или &,бинарная) • дизъюнкция ( $\lor$ ,бинарная) • отрицание ( $\neg$ ,унарная) 2 константы: 0 • 1
См. также	импликация ( $\to$ )
Философия