Клиффорда параллель
прямая эллиптического пространства, отстоящая от данной прямой на постоянном расстоянии
при фиксированной порождающей грамматике такое слово α ∈ (T ∪ N)*, для которого существует деривация S, ... , α, где S — начальный символ грамматики
Иными словами, утверждение об истинности чего-либо равносильно утверждению, что это принадлежит объему...
Предъявляются строгие требования к характеру истинности выводимых предложений....
формализации лежит понятие истинности, представляющее собой характеристику не любых предложений, а только выводимых
Статья посвящена рассмотрению взаимодействия таких синтагматических явлений, как игра слов и морфемный повтор. Лингвистической основой игры слов при морфемном повторе, порождающей комический эффект, является структурированность, членимость слова. Игра языковых форм обеспечена ресурсами словообразования, а именно, отношениями формально-семантической выводимости и деривационной антонимии.
Определение 3
Формула А, встречающаяся в выводе из множества формул Г, называется выводимой из Г,...
Иными словами, теорема дедукции говорит нам о том, что если мы хотим доказать импликацию A → B, то мы...
Индуктивное рассуждение опирается на принцип, который объединяет в себе базу и переход: если выводимы...
импликации А → С1, … А → С(i-1), то А → Сi тоже выводима....
Импликация А → А выводится по теореме о том, что выводимым является закон тождества (т.е. ⊢ A → А).
В данной статье рассмотрены критерии отбора материала для формирования навыков при чтении незнакомых производных слов студентами. А также указывается, что основным критерием отбора языкового материала следует считать критерий выводимости слов. Особое значение статьи позволяет студентам самостоятельно определить значения производных слов.
прямая эллиптического пространства, отстоящая от данной прямой на постоянном расстоянии
аксиальный вектор
кривая, имеющая конечную длину