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

символика логическая
система знаков (символов), используемая в логике для обозначения термов, предикатов, выска-зываний, логических функций, отношений между высказываниями. В разных логических системах могут использоваться различные системы обозначений, поэтому ниже мы приводим лишь наиболее употребительные символы из числа используемых в литературе по логике:
а, b, с, ...
- начальные буквы латинского алфавита, обычно используются для обозначения индивидуальных константных выражений, термов;
A, В, С, ...
- прописные начальные буквы латинского алфавита, обычно используются для обозначения конкретных высказываний;
х, у, z, ...
- буквы, стоящие в конце латинского алфавита, обычно используются для обозначения индивидных переменных;
X, Y, Z, ...
- прописные буквы, стоящие в конце латинского алфавита, обычно используются для обозначения переменных высказываний или пропозициональных переменных; для той же цели часто используют маленькие буквы середины латинского алфавита: р, q, r, ...;
символика логическая ; u
- знаки, служащие для обозначения отрицания; читаются: "не", "неверно что";
; U ; &
- знаки для обозначения конъюнкции - логической связки и высказывания, содержащего такую связку в качестве главного знака; читаются: "и";
U
- знак для обозначения неисключающей дизъюнкции - логической связки и высказывания, содержащего такую связку в качестве главного знака; читается: "или";
- знак для обозначения строгой, или исключающей, дизъюнкции; читается: "либо, либо";
®; E
- знаки для обозначения импликации - логической связки и высказывания, содержащего такую связку в качестве главного знака; читаются: "если, то";
? ; «
- знаки для обозначения эквивалентности высказываний; читаются: "если и только если";
- знак, обозначающий выводимость одного высказывания из другого, из множества высказываний; читается: "выводимо" (если высказывание А выводимо из пустого множества посылок, что записывается как " A", то знак " " читается: "доказуемо");
T ; t
F ; f
- истина (от англ. true - истина); - ложь (от англ. false - ложь);
"
- квантор общности; читается "для всякого", "всем";
$
- квантор существования; читается: "существует", "имеется по крайней мере один";
L, N, 
- знаки для обозначения модального оператора необходимости; читаются: "необходимо, что";
М, a
- знаки для обозначения модального оператора возможности; читаются: "возможно, что".
Наряду с перечисленными в многозначных, временных, деонтических и других системах логики используются свои специфические символы, однако каждый раз разъясняется, что именно тот или иной символ обозначает и как он читается (см.: Знак логический).

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

Смотреть что такое "символика логическая" в других словарях:

  • логические константы — (Логические постоянные) термины, относящиеся к логической форме рассуждения (доказательства, вывода) и являющиеся средством передачи человеческих мыслей и выводов, заключений в любой области. К Л. к. относятся такие слова, как не , и , или , есть …   Словарь терминов логики

  • ГОСТ Р ИСО 22742-2006: Автоматическая идентификация. Кодирование штриховое. Символы линейного штрихового кода и двумерные символы на упаковке продукции — Терминология ГОСТ Р ИСО 22742 2006: Автоматическая идентификация. Кодирование штриховое. Символы линейного штрихового кода и двумерные символы на упаковке продукции оригинал документа: 3.8 Data Matrix : Двумерная матричная символика с коррекцией… …   Словарь-справочник терминов нормативно-технической документации

  • ВИТГЕНШТЕЙН — (Wittgenstein) Людвиг (1889 1951) австро англ. философ, Проф. философии в Кембриджском ун те в 1939 1947. Филос. взгляды В. сформировались как под воздействием определенных явлений в австр. культуре нач. 20 в., так и в результате творческого… …   Философская энциклопедия

  • Логика — (греч. logike̅́)         наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л …   Большая советская энциклопедия

  • СЕМИОТИКА — (от греч. semeiot знак) общая теория знаковых систем, изучающая свойства знаковых комплексов самой различной природы. К таким системам относятся естественные языки, письменные и устные, разнообразные искусственные языки, начиная с формализованных …   Философская энциклопедия

  • Корова — У этого термина существуют и другие значения, см. Корова (значения). ? Домашняя корова …   Википедия

  • Исчисление понятий —         «ИСЧИСЛЕНИЕ ПОНЯТИЙ» («Запись в понятиях») сочинение немецкого математика и логика Готтлоба Фреге, положившее начало современной форме математической (символической) логики. Полное название этого сочинения включало указание на то, что в… …   Энциклопедия эпистемологии и философии науки

  • ВИТГЕНШТЕЙН (WITTGENSTEIN) Людвиг — (1889 1951) австр. философ. Проф. философии в Кембриджском ун те в 1939 47 . Философские взгляды В. сформировались как под воздействием определенных явлений в австр. культуре начала XX в., так и в результате творческого освоения новых достижений… …   Современная западная философия. Энциклопедический словарь

  • код — 01.01.14 код [ code]: Совокупность правил, с помощью которых устанавливается соответствие элементов одного набора элементам другого набора. [ИСО/МЭК 2382 4, 04.02.01] Источник …   Словарь-справочник терминов нормативно-технической документации

  • Конт Auguste — (Comte) основатель позитивизма, род. 19 го января 1798 г. в Монпелье, где отец его был сборщиком податей. В лицее особенно успевал в математике. Поступив в политехническую школу, он удивлял профессоров и товарищей своим умственным развитием. В… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»