- пропозициональная связка
- лингв. interpropositional connection
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
пропозициональная связка — операция, позволяющая из данных суждений (высказываний) строить новые суждения (высказывания). В логике высказываний высказывания (формулы) рассматриваются лишь с точки зрения их истинности или ложности. Если A и В к. л. формулы (простые,… … Словарь терминов логики
ПРОПОЗИЦИОНАЛЬНАЯ СВЯЗКА — символ формального языка, служащий для обозначения логической операции, с помощью к рой из данных высказываний можно получать новые высказывания. Важнейшими П. с. являются конъюнкция a (иначе ), дизъюнкция , импликация (иначе или ), отрицание… … Математическая энциклопедия
Логическая операция — В логике логическими операциями называют действия, вследствие которых порождаются новые понятия, возможно с использованием уже существующих. В более узком, формализованном смысле, понятие логической операции используется в математической логике и … Википедия
ОТРИЦАНИЕ — филос. категория, выражающая опре дел. тип отношения между двумя последоват. стадиями, состояниями развивающегося объекта. О. является необходимым моментом процесса развития. Диалектика в «...позитивное понимание существующего... включает … Философская энциклопедия
отрицание — ОТРИЦАНИЕ (в логике) специальная логическая операция. В зависимости от местоположения различают внешнее и внутреннее О., свойства и роли которых существенно различаются. 1. Внешнее О. (пропозициональное) служит для образования… … Энциклопедия эпистемологии и философии науки
ОТРИЦАНИЕ. — ОТРИЦАНИЕ. 1. В естественном языке в зависимости от местоположения различают внешнее и внутреннее отрицание. Внешнее (пропозициональное) служит для образования сложного высказывания из другого (не обязательно простого) высказывания. В нем… … Философская энциклопедия
Тильда — (исп. tilde, от лат. titulus надпись) знак (строчный, надстрочный или подстрочный) в виде волнистой чёрточки (Тильда) размера Дефиса пли Тире. В лингвистике может означать назальность гласного в транскрипции ( Ударение) (в греческом) или… … Большая советская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Логика высказываний — Для улучшения этой статьи желательно?: Проставив сноски, внести более точные указания на источники. Логика высказываний (или пропозици … Википедия
Импликация — Импликация (лат. implicatio связь) бинарная логическая связка, по своему применению приближенная к союзам «если… то…». Импликация записывается как посылка следствие; применяются также стрелки другой формы и направленные в другую… … Википедия
Суждение — Суждение 1) смысл предложения, которое может быть оценено как истинное или ложное; то же, что пропозиция; 2) употребление предложения, выражающего суждение в 1‑м значении в утвердительном высказывании, когда оно реально приобретает истинностное… … Лингвистический энциклопедический словарь