DictionaryForumContacts

   English
Terms for subject Mathematics containing sentencing | all forms
EnglishRussian
absolutely existential sentenceабсолютно экзистенциальное высказывание
almost false sentenceпочти ложное высказывание
analytically expressible sentenceаналитически выразимое высказывание
arithmetically expressible sentenceарифметически выразимое высказывание
atomic sentenceатомарное высказывание
characteristic sentenceхарактеристическое предложение
collectivizing sentenceколлективизируемое высказывание
composite sentenceсложное предложение
consistent sentenceнепротиворечивое высказывание
contradictory sentenceпротиворечивое предложение
contrapositive sentenceконтрапозитивное высказывание
converse sentenceобратное высказывание
counterpositive sentenceконтрапозитивное высказывание
decidable sentenceразрешимое высказывание
deducible sentenceвыводимое предложение
empirical sentenceэмпирическое высказывание
equivalent sentencesэквивалентные высказывания
existential sentenceэкзистенциальное предложение
false sentenceложное высказывание
first-order sentenceвысказывание первого порядка
formal sentenceформальное предложение
fundamental sentenceфундаментальное высказывание
general sentenceобщее высказывание
Godel sentenceпредложение Геделя
grammatical sentenceграмматическое предложение
Horn sentenceхорновское предложение
invariant sentenceинвариантное предложение
inverse sentenceинверсное высказывание
kernel sentenceядерное предложение
logically true sentenceлогически истинное предложение
logically universal sentenceлогически универсальное предложение
logically valid sentenceлогически общезначимое предложение
matrix sentenceматричное предложение
modal sentenceмодальное предложение
noncontradictory sentenceнепротиворечивое предложение
open sentenceоткрытое предложение
open sentence classкласс открытых предложений
persistent sentenceустойчивое высказывание
positive existential sentenceпозитивно экзистенциальное высказывание
positive sentenceпозитивное высказывание
praxiological sentenceпраксиологическое высказывание
provable sentenceдоказуемое предложение
purely general sentenceчисто общее предложение
quantifier-free sentenceбескванторное высказывание
rank of sentenceранг высказывания
refutable sentenceопровержимое предложение
satisfiable sentenceвыполнимое предложение
sentence connectiveпропозициональная связка
set of sentencesмножество высказываний
simple sentenceпростое высказывание
tautological sentenceтавтологическое высказывание
testable sentenceпроверяемое предложение
undecidable sentenceнеразрешимое предложение
universal sentenceуниверсальное предложение
universal-existential sentenceуниверсально-экзистенциальное высказывание
universally valid sentenceуниверсально общезначимое высказывание
valid sentenceобщезначимое высказывание