Cтраница 4
Источник данных SQL Select позволяет разработчику создать предложение языка SQL графическим или синтаксическим путем. [46]
При этом ему было ясно, что никакие предложения действительного языка не являются элементарными предложениями - образами атомарных фактов. [47]
Пусть К, L - два множества предложений языка П и неверно К - L. Тогда существует модель Крипке для языка П такая, что все формулы из К истинны в этой модели, а дизъюнкция любого конечного множества формул из L не истинна в этой модели. Дополнительно можно потребовать, чтобы эта модель удовлетворяла требованиям второго и третьего абзацев теоремы 5.1. Действительно, пусть 5.1.1 доказана. Условие, что не К h L, в этом случае как раз означает непротиворечивость Г, и мы немедленно получаем теорему. [48]
Пусть 2 и Г - такие множества предложений языка X, что 2 U Г противоречиво. [49]
Для определенной структурной схемы SCTp задают множество предложений многосортного языка. [50]
Для всякого п множество 5 геделевых номеров предложений языка L, содержащих не более п вхождений логических операторов, рекурсивно. [51]
Выражения - это группы слов или части предложений языков автоматического программирования. В таких языках выражениям обычно приписывается значение некоторой величины. Аналогично р или ( q и не г) должно быть логическим выражением, поскольку для заданных истинностных значений р, q и г может быть определено значение этого выражения. Наконец, выражение если аЬ, то EILEEN, в противном случае ERIC должно быть именующим выражением, поскольку оно имеет значение EILEEN, если аЬ, и значение ERIC, если а СЬ. Таким образом, выражения характеризуются тем, что состоят из группы слов, имеющих общий смысл, а именно величину. Это аналогично характеристике придаточных определительных предложений, или группы определения, в английском языке. [52]
Вейнгардена П Грамматика, правилами которой являются все предложения языка, порождаемые грамматикой первого уровня. [53]