Terms for subject Mathematics containing Proposition

English	Russian
a set of hypothetical propositions	множество условных суждений (ssn)
algebra of propositions	алгебра высказываний (то же "алгебра логики"(algebra of logic) rklink_01)
apodyctic proposition	суждение необходимости
arithmetic of propositions	арифметика высказываний
atomic proposition	атомарное предложение
axiomatic proposition	аксиоматическое высказывание
biconditional proposition	биусловное высказывание
Boolean proposition	булево суждение
categorical proposition	категорическое суждение
categorical proposition	категорическое высказывание
compatible propositions	совместимые утверждения
compound proposition	сложное предложение
conditional proposition	условное суждение
conjunction of propositions	конъюнкция предложений
constant proposition	постоянное высказывание
contradictory proposition	противоречащие предложения (контрадикторные)
converse proposition	обратное утверждение
decidable proposition	разрешимое утверждение
disjunction of propositions	дизъюнкция предложений
elementary proposition	элементарное высказывание
eliminated proposition	удаляемое высказывание
empirical proposition	эмпирическое положение
equivalence of propositions	эквивалентность высказываний
equivalent proposition	эквивалентное утверждение
expressions which are made up of proposition and noun	образовывать из
from the proposition one can see how small F z becomes after applying the algorithm n times	можно видеть, как мало F z после n-кратного применения алгоритма
from the proposition one can see how small f z, n becomes after applying the algorithm n times	из данного утверждения можно видеть, как мало f z, n после n-кратного применения алгоритма
fuzzy proposition	размытое утверждение (ssn)
fuzzy proposition	нечёткое утверждение (размытое)
general proposition	общее предложение
generic proposition	родовое высказывание
hypothetical proposition	условное суждение (ssn)
identically true proposition	тождественно истинное высказывание
impossible proposition	невозможное утверждение
induction proposition	индукционное предложение
inverse proposition	обратное утверждение
logically equivalent propositions	логически эквивалентные высказывания
molecular proposition	молекулярное предложение
necessary proposition	необходимое утверждение
negation of proposition	отрицание высказывания (of statement)
preliminary proposition	гипотеза
proposition clearly holds	утверждение очевидно выполняется (if A is diagonal the proposition clearly holds)
proposition logic	пропозитивная логика (ssn)
proposition logic	логика высказываний (ssn)
proposition variable	пропозициональная переменная
purely quantified proposition	чисто кванторное предложение
real proposition	реальное высказывание
semidecidable proposition	полуразрешимое утверждение
simple proposition	простое предложение
singular proposition	единичное предложение
specializing proposition	специальное утверждение
the above proposition is very well known and easy to prove	является очень хорошо известным
the Pythagorean proposition	теорема Пифагора
theoretical proposition	теоретическое суждение
this proposition holds	это утверждение справедливо
this yields the proposition	отсюда вытекает утверждение
undecidable proposition	неразрешимое предложение
Under the circumstances of Proposition 3	в условиях Утверждения 3 (the normalizer N is contained in the ...)
universal proposition	общее суждение
unproved proposition	непроверенное суждение
valid proposition	справедливое суждение
variable proposition	переменная высказывания