Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms for subject Mathematics containing propositional | all forms | exact matches only
EnglishRussian
alphabet of propositional calculusалфавит исчисления высказываний
alphabet of propositional calculusалфавит нулевого порядка
alphabetic change of bound propositional and functional variablesалфавитная замена связанных пропозициональных и функциональных переменных (ssn)
bound propositional and functional variablesсвязанные пропозициональные и функциональные переменные (ssn)
change of bound propositional and functional variablesзамена связанных пропозициональных и функциональных переменных (ssn)
classical propositional calculusклассическое исчисление высказываний
classical propositional calculusклассическое пропозициональное исчисление
constructive propositional calculusконструктивное исчисление высказываний
constructive propositional calculusконструктивное пропозициональное исчисление
expression, constructed in analogy with a propositional formulaвыражение, построенное по типу пропозициональной формулы (ssn)
extended propositional calculusрасширенное исчисление высказываний, расширенное пропозициональное исчисление
intuitionistic propositional tautologyинтуиционистская пропозициональная тавтология
minimal propositional calculusминимальное исчисление высказываний
minimal propositional calculusминимальное пропозициональное исчисление
modal propositional calculusмодальное исчисление высказываний
modal propositional calculusмодальное пропозициональное исчисление
multivalued propositional calculusмногозначное исчисление высказываний
multivalued propositional calculusмногозначное пропозициональное исчисление
open propositional functionоткрытая пропозициональная функция
partial propositional calculusчастное исчисление высказываний
partial propositional calculusчастное пропозициональное исчисление
positive propositional calculusпозитивное исчисление высказываний
positive propositional calculusпозитивное пропозициональное исчисление
positive propositional tautologyпозитивная пропозициональная тавтология
primitive propositional constantисходная пропозициональная постоянная
proper propositional calculusсобственное исчисление высказываний
proper propositional calculusсобственное пропозициональное исчисление
propositional algebraпропозиционная алгебра
propositional and functional variablesпропозициональные и функциональные переменные (ssn)
propositional argumentпропозициональный аргумент
propositional axiomпропозициональная аксиома
propositional calculusисчисления высказываний
propositional connectionпропозициональная связка
propositional connectiveпропозициональная связка
propositional formпропозициональная форма
propositional formulaпропозициональная формула
propositional functorпропозициональный функтор
propositional functorлогическая связка
propositional implicationимпликация высказываний
propositional inferenceпропозициональный вывод
propositional inferenceпропозиционный вывод
propositional interpretationпропозициональная интерпретация
propositional letterпропозициональная буква
propositional operatorпропозициональный оператор
propositional sequenceпросеквенция
propositional sequenceпоследовательность высказываний
propositional tautologyпропозициональная тавтология
propositional variableпропозициональная переменная (ssn)
propositional variableпропорциональная переменная
rule of alphabetic change of bound propositional and functional variablesправило алфавитной замены связанных пропозициональных и функциональных переменных (ssn)
two-valued propositional calculusдвузначное исчисление высказываний (классическое)
two-valued propositional calculusдвузначное пропозициональное исчисление (классическое)
unary propositional connectiveунарная пропозициональная связка

Get short URL