Логическая связка
- Логические связки используются для соединения и отрицания высказываний в логике.
- В классической логике существуют 16 логических функций, связывающих входные значения истинности с четырехразрядными двоичными выходами.
- Различные реализации классической логики могут выбирать различные функционально завершенные подмножества связок.
- В интуиционистской логике ситуация более сложная, и только отрицание может быть сведено к другим связкам.
- Стандартные логические связки классической логики имеют приблизительные эквиваленты в грамматиках естественных языков.
- Некоторые логические связки обладают свойствами, которые могут быть выражены в теоремах, содержащих связку.
- В информатике и теории множеств логические связки используются в цифровых схемах и для определения фундаментальных операций теории множеств.
Полный текст статьи: