символика логическая


символика логическая
система знаков (символов), используемая в логике для обозначения термов, предикатов, выска-зываний, логических функций, отношений между высказываниями. В разных логических системах могут использоваться различные системы обозначений, поэтому ниже мы приводим лишь наиболее употребительные символы из числа используемых в литературе по логике:
а, b, с, ...

- начальные буквы латинского алфавита, обычно используются для обозначения индивидуальных константных выражений, термов;
A, В, С, ...

- прописные начальные буквы латинского алфавита, обычно используются для обозначения конкретных высказываний;

х, у, z, ...

- буквы, стоящие в конце латинского алфавита, обычно используются для обозначения индивидных переменных;
X, Y, Z, ...

- прописные буквы, стоящие в конце латинского алфавита, обычно используются для обозначения переменных высказываний или пропозициональных переменных; для той же цели часто используют маленькие буквы середины латинского алфавита: р, q, r, ...;
символика логическая ; u

- знаки, служащие для обозначения отрицания; читаются: "не", "неверно что";
; U ; &

- знаки для обозначения конъюнкции - логической связки и высказывания, содержащего такую связку в качестве главного знака; читаются: "и";
U

- знак для обозначения неисключающей дизъюнкции - логической связки и высказывания, содержащего такую связку в качестве главного знака; читается: "или";


- знак для обозначения строгой, или исключающей, дизъюнкции; читается: "либо, либо";
®; E

- знаки для обозначения импликации - логической связки и высказывания, содержащего такую связку в качестве главного знака; читаются: "если, то";
? ; «

- знаки для обозначения эквивалентности высказываний; читаются: "если и только если";


- знак, обозначающий выводимость одного высказывания из другого, из множества высказываний; читается: "выводимо" (если высказывание А выводимо из пустого множества посылок, что записывается как " A", то знак " " читается: "доказуемо");
T ; t
F ; f
- истина (от англ. true - истина); - ложь (от англ. false - ложь);
"
- квантор общности; читается "для всякого", "всем";
$

- квантор существования; читается: "существует", "имеется по крайней мере один";
L, N, 

- знаки для обозначения модального оператора необходимости; читаются: "необходимо, что";
М, a

- знаки для обозначения модального оператора возможности; читаются: "возможно, что".
Наряду с перечисленными в многозначных, временных, деонтических и других системах логики используются свои специфические символы, однако каждый раз разъясняется, что именно тот или иной символ обозначает и как он читается (см.: Знак логический).

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.


Просмотров: 1570
Категория: Словари и энциклопедии » Философия » Словарь логики





Другие новости по теме:

  • “НОВЫЙ ОРГАНОН, ИЛИ ИСТИННЫЕ УКАЗАНИЯ ДЛЯ ИСТОЛКОВАНИЯ ПРИРОДЫ”
  • “О НЕОБХОДИМОСТИ И ВОЗМОЖНОСТИ НОВЫХ НАЧАЛ ДЛЯ ФИЛОСОФИИ”
  • “ФИЛОСОФИЯ ДЛЯ ДЕТЕЙ”
  • «ИСКУССТВО ДЛЯ ИСКУССТВА»
  • «НОВЫЙ ОРГАНОН, ИЛИ ИСТИННЫЕ УКАЗАНИЯ ДЛЯ ИСТОЛКОВАНИЯ ПРИРОДЫ»
  • Город для колесниц
  • ДЛЯ-МЕНЯ-БЫТИЕ
  • ДЛЯ-СЕБЯ-БЫТИЕ
  • Дорога для Рамы
  • жертвенник для курений
  • Загон для овец, овечий хлев
  • Квота для женщин
  • Комплекс испытаний для получения водительских прав (driver's license testing)
  • Кондаков И.М. Методика Для Изучения
  • Конференция Для Священнослужителей Разных Вероисповеданий
  • Кувшин Для Умывания
  • НОВЫЙ ОРГАНОН, ИЛИ ИСТИННЫЕ УКАЗАНИЯ ДЛЯ ИСТОЛКОВАНИЯ ПРИРОДЫ
  • Новый органон, или Истинные указания для истолкования природы
  • обозначения отношение
  • Опросник Для Диагностики Устойчивых Форм
  • ОТНОШЕНИЕ ОБОЗНАЧЕНИЯ
  • Оценка труда работника (для установления заработной платы) (job evaluation)
  • Письменные экзамены для аспирантов (graduate record examination (GREs))
  • Программы когнитивного вмешательства для пожилых людей (cognitive interventions with older persons)
  • Расстройство эмоций, специфическое для детского и подросткового возраста
  • Расстройство эмоций, специфическое для детского и подросткового возраста, с подавленностью и тоской
  • Такие подростки, как правило, зависимы от своих родителей и для них характерны социальная и психологическая незрелость и социальная изоляция.
  • Тесты для отбора кандидатов (selection tests)
  • ФИЛОСОФИЯ ДЛЯ ДЕТЕЙ
  • ЧЕЛОВЕК ДЛЯ СЕБЯ. ИССЛЕДОВАНИЕ ПСИХОЛОГИЧЕСКИХ ПРОБЛЕМ ЭТИКИ



  • ---
    Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:

    Код для вставки на сайт или в блог:       
    Код для вставки в форум (BBCode):       
    Прямая ссылка на эту публикацию:       






    Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц.
    Если это не так - свяжитесь с администрацией сайта.
    Материал будет немедленно удален.
    Электронная версия этой публикации предоставляется только в ознакомительных целях.
    Для дальнейшего её использования Вам необходимо будет
    приобрести бумажный (электронный, аудио) вариант у правообладателей.

    На сайте «Глубинная психология: учения и методики» представлены статьи, направления, методики по психологии, психоанализу, психотерапии, психодиагностике, судьбоанализу, психологическому консультированию; игры и упражнения для тренингов; биографии великих людей; притчи и сказки; пословицы и поговорки; а также словари и энциклопедии по психологии, медицине, философии, социологии, религии, педагогике. Все книги (аудиокниги), находящиеся на нашем сайте, Вы можете скачать бесплатно без всяких платных смс и даже без регистрации. Все словарные статьи и труды великих авторов можно читать онлайн.







    Locations of visitors to this page



          <НА ГЛАВНУЮ>      Обратная связь