-
1 пропозициональный
sententialsententialБольшой англо-русский и русско-английский словарь > пропозициональный
-
2 пропозициональный аргумент
Большой англо-русский и русско-английский словарь > пропозициональный аргумент
-
3 пропозициональный вывод
Большой англо-русский и русско-английский словарь > пропозициональный вывод
-
4 пропозициональный оператор
Большой англо-русский и русско-английский словарь > пропозициональный оператор
-
5 пропозициональный язык
Большой англо-русский и русско-английский словарь > пропозициональный язык
-
6 propositional
пропозициональныйEnglish-Russian dictionary of technical terms > propositional
-
7 sentential
пропозициональный -
8 propositional
-
9 propositional
-
10 propositional
English-Russian dictionary of computer science > propositional
-
11 propositional
-
12 propositional
-
13 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
-
14 propositional inference
Большой англо-русский и русско-английский словарь > propositional inference
-
15 propositional
-
16 propositional inference
English-Russian dictionary of computer science and programming > propositional inference
-
17 propositional
пропозициональный, относящийся к высказыванию (суждению) -
18 propositional inference
-
19 propositional
-
20 propositional argument
Большой англо-русский и русско-английский словарь > propositional argument
См. также в других словарях:
пропозициональный — сужденческий Словарь русских синонимов … Словарь синонимов
пропозициональный — пропозицион альный … Русский орфографический словарь
пропозициональный — … Орфографический словарь русского языка
пропозициональный — Syn: см. сужденческий … Тезаурус русской деловой лексики
ВОЗМОЖНЫЙ МИР (ВОЗМОЖНЫЕ МИРЫ) — широкое распространение данного понятия связано с проблемами квантификации модальных контекстов в системах модальной и интенсиональной логики, в которых оно полагается в качестве интуитивного (формально не определяемого и не конкретизируемого)… … Современный философский словарь
КРИПКЕ МОДЕЛИ — структуры, состоящие из нек рого множества обычных моделей для классической логики, упорядоченных между собой нек рым отношением, н служащие для интерпретации в них различных неклассических логик (интуипионистской, модальных и др.). Точнее, К. м … Математическая энциклопедия
ПРОПОЗИЦИЯ — (лат.). Предложение. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. ПРОПОЗИЦИЯ предложение. Полный словарь иностранных слов, вошедших в употребление в русском языке. Попов М., 1907. ПРОПОЗИЦ … Словарь иностранных слов русского языка
сужденческий — пропозициональный Словарь русских синонимов … Словарь синонимов
ИНТЕНСИОНАЛ — ИНТЕНСИОНАЛ одно из основных понятий логической семантики, вводимое как одно из уточнений понятия смысла. Существуют различные методы семантического анализа смысла и значения десигнативных выражений. Г. Фреге выделяет два аспекта содержания… … Философская энциклопедия
ментальная репрезентация — МЕНТАЛЬНАЯ РЕПРЕЗЕНТАЦИЯ внутренний (психический, ментальный) образ или формат кодирования. Исходным в психологии было представление о психической (ментальной) репрезентации как об отражении некоторых качеств внешнего мира. Такое… … Энциклопедия эпистемологии и философии науки
психология памяти — ПСИХОЛОГИЯ ПАМЯТИ исследует память как способность живой системы фиксировать факт взаимодействия со средой (внешней или внутренней), сохранять результат этого взаимодействия в форме опыта и использовать его в поведении.… … Энциклопедия эпистемологии и философии науки