Terms containing propositional

Subject	English	Russian
math.	alphabet of propositional calculus	алфавит исчисления высказываний
math.	alphabet of propositional calculus	алфавит нулевого порядка
math.	alphabetic change of bound propositional and functional variables	алфавитная замена связанных пропозициональных и функциональных переменных (ssn)
AI.	backtracking-based search algorithm for deciding the satisfiability of propositional logic formulae in conjunctive normal form	алгоритм поиска с возвратом для определения выполнимости формул логики высказываний, записанных в конъюнктивной нормальной форме (Alex_Odeychuk)
math.	bound propositional and functional variables	связанные пропозициональные и функциональные переменные (ssn)
math.	change of bound propositional and functional variables	замена связанных пропозициональных и функциональных переменных (ssn)
math.	classical propositional calculus	классическое исчисление высказываний
math.	classical propositional calculus	классическое пропозициональное исчисление
progr.	completeness in propositional logic	полнота в логике высказываний (ssn)
math.	constructive propositional calculus	конструктивное исчисление высказываний
math.	constructive propositional calculus	конструктивное пропозициональное исчисление
math.	expression, constructed in analogy with a propositional formula	выражение, построенное по типу пропозициональной формулы (ssn)
math.	extended propositional calculus	расширенное исчисление высказываний, расширенное пропозициональное исчисление
progr.	inconsistent propositional formula	противоречивая формула высказываний (ssn)
math.	intuitionistic propositional tautology	интуиционистская пропозициональная тавтология
progr.	language of propositional logic	язык логики высказываний (ssn)
logic	many-sorted propositional calculus	многосортное пропозициональное исчисление (Alex_Odeychuk)
math.	minimal propositional calculus	минимальное исчисление высказываний
math.	minimal propositional calculus	минимальное пропозициональное исчисление
ling.	modal propositional attitudes	модальные установки говорящего
math.	modal propositional calculus	модальное исчисление высказываний
math.	modal propositional calculus	модальное пропозициональное исчисление
math.	multivalued propositional calculus	многозначное исчисление высказываний
math.	multivalued propositional calculus	многозначное пропозициональное исчисление
math.	open propositional function	открытая пропозициональная функция
math.	partial propositional calculus	частное исчисление высказываний
math.	partial propositional calculus	частное пропозициональное исчисление
math.	positive propositional calculus	позитивное исчисление высказываний
math.	positive propositional calculus	позитивное пропозициональное исчисление
math.	positive propositional tautology	позитивная пропозициональная тавтология
math.	primitive propositional constant	исходная пропозициональная постоянная
math.	proper propositional calculus	собственное исчисление высказываний
math.	proper propositional calculus	собственное пропозициональное исчисление
IT	propositional algebra	пропозициональная алгебра
IT	propositional algebra	алгебра высказываний
math.	propositional algebra	пропозиционная алгебра
math.	propositional and functional variables	пропозициональные и функциональные переменные (ssn)
math.	propositional argument	пропозициональный аргумент
ling.	propositional attitude operator	оператор пропозициональной установки
philos.	propositional attitude report	утверждение о пропозициональной установке (AndreiBu)
ling.	propositional attitudes	пропозициональные установки (установки говорящего Alex_Odeychuk)
ling.	propositional attitudes	установки говорящего (Alex_Odeychuk)
math.	propositional axiom	пропозициональная аксиома
logic	propositional calculus	пропозициональное исчисление
math.	propositional calculus	исчисления высказываний
tech.	propositional calculus	исчисление высказываний
logic	propositional compound	пропозициональная композиция (IF-logic Unbewusst)
math.	propositional connection	пропозициональная связка
progr.	propositional connective	логическая связка (ssn)
logic	propositional connective	пропозициональный коннектор (Unbewusst)
math.	propositional connective	пропозициональная связка
comp.graph.	propositional density	ПП (Artjaazz)
comp.graph.	propositional density	Пропозициональная плотность (Взаимосвязь между элементами дизайна и смыслом, который они в себе несут. Дизайны с высокой пропозициональной плотностью интереснее и лучше запоминаются, чем дизайны с низкой пропозициональной плотностью. Пропозициональная плотность – количество информации, передаваемой объектом или средой из расчёта на один элемент. – – 100rss.com Artjaazz)
logic	propositional expression	пропозициональное выражение (Alex_Odeychuk)
math.	propositional form	пропозициональная форма
progr.	propositional formula	формула высказываний (ssn)
math.	propositional formula	пропозициональная формула
phys.	propositional function	функция-высказывание
el.	propositional function	предикат
IT	propositional function	пропозиционная функция
IT, logic	propositional function	пропорциональная функция
logic	propositional function	пропозициональная функция
math.	propositional functor	пропозициональный функтор
math.	propositional functor	логическая связка
IT	propositional hierarchy	пропозициональная иерархия
IT	propositional hierarchy	иерархия высказываний
math.	propositional implication	импликация высказываний
math.	propositional inference	пропозициональный вывод
math.	propositional inference	пропозиционный вывод
math.	propositional interpretation	пропозициональная интерпретация
el.	propositional knowledge	знание в виде суждений
el.	propositional knowledge	знание в виде высказываний
psychol.	propositional knowledge	дескриптивное знание (renfan)
psychol.	propositional knowledge	декларативное знание (renfan)
math.	propositional letter	пропозициональная буква
tech.	propositional logic	логика высказываний
comp.	propositional logic	пропозициональная логика
AI.	propositional logic formula	формула логики высказываний (Alex_Odeychuk)
ling.	propositional negation	отрицание пропозиции (ssn)
ling.	propositional negation	пропозициональное отрицание (ssn)
math.	propositional operator	пропозициональный оператор
el.	propositional reasoning	описание связей между условиями
el.	propositional reasoning	рассуждения на уровне высказываний
AI.	propositional satisfiability	выполнимость булевых формул (boolean satisfiability Alex_Odeychuk)
AI.	propositional satisfiability	пропозициональная выполнимость (Microsoft Alex_Odeychuk)
AI.	propositional satisfiability problem	задача выполнимости булевых формул (boolean satisfiability problem Alex_Odeychuk)
math.	propositional sequence	просеквенция
math.	propositional sequence	последовательность высказываний
math.	propositional tautology	пропозициональная тавтология
math., logic	propositional variable	пропорциональная переменная
math.	propositional variable	пропозициональная переменная (ssn)
comp.	propositional variable	высказывательная переменная
math.	rule of alphabetic change of bound propositional and functional variables	правило алфавитной замены связанных пропозициональных и функциональных переменных (ssn)
progr.	rules of substitution for propositional and functional variables	правила подстановки для пропозициональных и функциональных переменных (ssn)
progr.	transforming english to propositional form	перевод с естественного языка на язык высказываний (ssn)
math.	two-valued propositional calculus	двузначное исчисление высказываний (классическое)
math.	two-valued propositional calculus	двузначное пропозициональное исчисление (классическое)
ling.	types of propositional attitudes	типы пропозициональных установок
math.	unary propositional connective	унарная пропозициональная связка
progr.	valid propositional formula	общезначимая формула высказываний (ssn)
ling.	volitive propositional attitudes	волитивные пропозициональные установки (говорящего)
progr.	well-formed propositional formula	правильная формула высказываний (ssn)