-
1 пропозициональная связка
лингв. interpropositional connectionБольшой англо-русский и русско-английский словарь > пропозициональная связка
-
2 propositional connective
Большой англо-русский и русско-английский словарь > propositional connective
-
3 propositional connective
Англо-русский технический словарь > propositional connective
-
4 propositional connective
пропозициональная связкаEnglish-Russian dictionary of technical terms > propositional connective
-
5 interpropositional connection
English-Russian information technology > interpropositional connection
-
6 propositional
пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое пропозициональное исчисление classical propositional logic ≈ классическая логика высказываний constructive propositional calculus ≈ конструктивное исчисление высказываний, конструктивное пропозициональное исчисление extended propositional calculus ≈ расширенное исчисление высказываний, расширенное пропозициональное исчисление intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология minimal propositional calculus ≈ минимальное исчисление высказываний, минимальное пропозициональное исчисление modal propositional calculus ≈ модальное исчисление высказываний, модальное пропозициональное исчисление multivalued propositional calculus ≈ многозначное исчисление высказываний, многозначное пропозициональное исчисление open propositional function ≈ открытая пропозициональная функция partial propositional calculus ≈ частное исчисление высказываний, частное пропозициональное исчисление positive propositional calculus ≈ позитивное исчисление высказываний, позитивное пропозициональное исчисление positive propositional tautology ≈ позитивная пропозициональная тавтология primitive propositional constant ≈ исходная пропозициональная постоянная proper propositional calculus ≈ собственное исчисление высказываний, собственное пропозициональное исчисление two-valued propositional calculus ≈ двузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчисление unary propositional connective ≈ унарная пропозициональная связка - propositional algebra - propositional argument - propositional axiom - propositional calculus - propositional connective - propositional form - propositional formula - propositional function - propositional functor - propositional hierarchy - propositional implication - propositional inference - propositional interpretation - propositional letter - propositional logic - propositional operator - propositional tautology - propositional variable ПропозициональноБольшой англо-русский и русско-английский словарь > propositional
-
7 interpropositional connection
1) Лингвистика: пропозициональная связка2) Вычислительная техника: пропозиционная связкаУниверсальный англо-русский словарь > interpropositional connection
-
8 proporsitional connection
Большой англо-русский и русско-английский словарь > proporsitional connection
-
9 propositional connection
Математика: пропозициональная связкаУниверсальный англо-русский словарь > propositional connection
-
10 propositional connective
Математика: пропозициональная связкаУниверсальный англо-русский словарь > propositional connective
-
11 sentence connective
Математика: пропозициональная связка -
12 sentential connective
Математика: пропозициональная связка -
13 unary propositional connective
Математика: унарная пропозициональная связкаУниверсальный англо-русский словарь > unary propositional connective
-
14 interpropositional connection
лингв. пропозициональная связкаEnglish-Russian dictionary of computer science and programming > interpropositional connection
-
15 propositional connection
English-Russian scientific dictionary > propositional connection
-
16 propositional connective
English-Russian scientific dictionary > propositional connective
-
17 sentence connective
логика -
18 sentential connective
логикаEnglish-Russian scientific dictionary > sentential connective
-
19 unary propositional connective
English-Russian scientific dictionary > unary propositional connective
См. также в других словарях:
пропозициональная связка — операция, позволяющая из данных суждений (высказываний) строить новые суждения (высказывания). В логике высказываний высказывания (формулы) рассматриваются лишь с точки зрения их истинности или ложности. Если A и В к. л. формулы (простые,… … Словарь терминов логики
ПРОПОЗИЦИОНАЛЬНАЯ СВЯЗКА — символ формального языка, служащий для обозначения логической операции, с помощью к рой из данных высказываний можно получать новые высказывания. Важнейшими П. с. являются конъюнкция a (иначе ), дизъюнкция , импликация (иначе или ), отрицание… … Математическая энциклопедия
Логическая операция — В логике логическими операциями называют действия, вследствие которых порождаются новые понятия, возможно с использованием уже существующих. В более узком, формализованном смысле, понятие логической операции используется в математической логике и … Википедия
ОТРИЦАНИЕ — филос. категория, выражающая опре дел. тип отношения между двумя последоват. стадиями, состояниями развивающегося объекта. О. является необходимым моментом процесса развития. Диалектика в «...позитивное понимание существующего... включает … Философская энциклопедия
отрицание — ОТРИЦАНИЕ (в логике) специальная логическая операция. В зависимости от местоположения различают внешнее и внутреннее О., свойства и роли которых существенно различаются. 1. Внешнее О. (пропозициональное) служит для образования… … Энциклопедия эпистемологии и философии науки
ОТРИЦАНИЕ. — ОТРИЦАНИЕ. 1. В естественном языке в зависимости от местоположения различают внешнее и внутреннее отрицание. Внешнее (пропозициональное) служит для образования сложного высказывания из другого (не обязательно простого) высказывания. В нем… … Философская энциклопедия
Тильда — (исп. tilde, от лат. titulus надпись) знак (строчный, надстрочный или подстрочный) в виде волнистой чёрточки (Тильда) размера Дефиса пли Тире. В лингвистике может означать назальность гласного в транскрипции ( Ударение) (в греческом) или… … Большая советская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Логика высказываний — Для улучшения этой статьи желательно?: Проставив сноски, внести более точные указания на источники. Логика высказываний (или пропозици … Википедия
Импликация — Импликация (лат. implicatio связь) бинарная логическая связка, по своему применению приближенная к союзам «если… то…». Импликация записывается как посылка следствие; применяются также стрелки другой формы и направленные в другую… … Википедия
Суждение — Суждение 1) смысл предложения, которое может быть оценено как истинное или ложное; то же, что пропозиция; 2) употребление предложения, выражающего суждение в 1‑м значении в утвердительном высказывании, когда оно реально приобретает истинностное… … Лингвистический энциклопедический словарь