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

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

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

Основные логические символы

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

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

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

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

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

Рекомендации

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

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

• Юзеф Мария Боченский (1959), Краткое описание математической логики , пер., Отто Берд, из французского и немецкого изданий, Дордрехт, Южная Голландия: Д. Рейдель.

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

• Именованные символы в HTML 4.0