Cтраница 2
Непротиворечивость множества предложений, имеющего модель, устанавливается непосредственно. Воспользовавшись леммой 2.1.1, рассмотрим такие расширения 2 множества 2 и X языка X ( % X), что 2 имеет в X множество свидетелей. [16]
Конечно, никакое выполнимое множество предложений не обладает ровно одной - в буквальном понимании - моделью: по любой модели можно построить другую модель, изоморфную ей, но не идентичную, заменив какой-либо элемент области интерпретации другим элементом, не входящим в эту область. [17]
Говорят, что множество предложений Г имеет сколь угодно большие конечные модели, если для произвольного натурального п существует модель множества Г с конечной, но содержащей не менее п элементов областью. [18]
Для электролитов же из множества предложений заслуживает еще внимания только стандартное состояние насыщенный раствор. [19]
Это единственное предложение заменяет множество предложений из описанного выше примера. [20]
Опишите предложения ф или множества предложений 2, которые устойчивы относительно непустых пересечений двух подмоделей. [21]
Если теперь Д - множество предложений, ни одно из которых не содержит никаких предикатных символов, то все нелогические символы, встречающиеся в Д, - это пропозициональные символы и всякая интерпретация J, областью которой служит произвольно выбранное счетное множество и которая приписывает пропозициональным символам, встречающимся в Д, те самые значения, которые им приписывает J, является моделью для Д, обладающей счетной областью. [22]
Под теорией будем понимать множество предложений некоторого языка, содержащее все свои логические следствия, являющиеся предложениями этого языка. [23]
Теорией равенства Е называется множество предложений сигнатуры (, выводимых в ИПР. [24]
В этой области выдвигалось множество различных номенклатурных предложений незначительное упрощение было достигнуто лишь недавно благодаря появлению методов установления абсолютной конфигурации [5] i и публикации правила последовательности [6], что позволяет давать названия стереоизомерам в большинстве ситуаций, встречающихся в органической химии. Способы подхода к решению многих простых пространственных соотношений зафиксированы в правилах ШРАС [4], они оказались вполне приемлемыми. Однако недавняя публикация методов, использованных в сводном предметном указателе СА, внесла новые изменения, основные положения которых включены в эту главу ( см. с. [25]
Доказать теорему Левенгейма-Скулема: любое выполнимое множество предложений выполнимо в некоторой счетной алгебраической системе. [26]
Выбранная спецификация S состоит из множества предложений, записанных в общем языке логики первого порядка. [27]
Интуитивно язык программирования - это множество предложений или последовательностей слов. Каждое предложение формируется из словаря языка в соответствии с заданными правилами формирования. Правила формирования называются грамматикой языка и определяют его структуру. Однако такое интуитивное определение языка и его грамматики для формального анализа совершенно недостаточно. Поэтому приступим к изучению формального аппарата описания языка. [28]
Предложение является логическим следствием какого-либо множества предложений тогда и только тогда, когда оно является следствием некоторого конечного подмножества этого множества. [29]
Язык СТЕП определяется с помощью множества допустимых предложений. Это множество предложений определяется предметной областью каждого банка и может пополняться пользователем. Предложение должно оканчиваться точкой. Если оно начинается символом, то это - комментарий. СТЕП имеет многоуровневую структуру. [30]