Список логических символов

Список символов, используемых для выражения логических отношений

В логике набор символов обычно используется для выражения логического представления. В следующей таблице перечислены многие общие символы вместе с их названием, как их следует читать вслух и связанной с ними областью математики . Кроме того, последующие столбцы содержат неформальное объяснение, краткий пример, местоположение Unicode , название для использования в документах HTML ^[1] и символ LaTeX .

Базовые логические символы

Расширенные или редко используемые логические символы

Следующие символы либо являются расширенными и зависят от контекста, либо используются очень редко:

Смотрите также

• Философский портал

• Глоссарий логики
• Юзеф Мария Бохеньски
• Список обозначений, используемых в Principia Mathematica
• Список математических символов
• Логический алфавит , предлагаемый набор логических символов
• Логический вентиль § Символы
• Логическая связка
• Математические операторы и символы в Unicode
• Нелогический символ
• Польская нотация
• Функция истинности
• Таблица истинности
• Wikipedia:WikiProject Logic/Стандарты обозначений

Ссылки

1. "Ссылки на именованные символы". HTML 5.1 Nightly . W3C . Получено 9 сентября 2015 г. .
2. Хотя этот символ доступен в LaTeX, система MediaWiki TeX его не поддерживает.
3. Куайн, WV (1981): Математическая логика , §6
4. Хинтикка, Яакко (1998), Принципы математики: новый взгляд, Cambridge University Press, стр. 113, ISBN 9780521624985.

Дальнейшее чтение

• Юзеф Мария Бохенский (1959), A Précis of Mathematical Logic , перевод Отто Берда, из французского и немецкого изданий, Дордрехт, Южная Голландия: Д. Рейдель.

Внешние ссылки

• Именованные символьные сущности в HTML 4.0