Замкнутая формула
Cтраница 2
Поскольку а - замкнутая формула, ал - функция-константа. [16]
Если у - замкнутая формула, б - сводимая эрбранова дизъюнкция для а и ( у 6) - тавтология, то существует такая дизъюнкция б, что б - прямая наследница дизъюнкции б и ( у) - тавтология. [17]
Если Y - замкнутая формула, б - наследственно сводимая эрбранова дизъюнкция для а и ( уф5) - тавтология, то импликация ( у а) также является тавтологией. [18]
Поскольку а - замкнутая формула, ал - функция-константа. [19]
Любое непротиворечивое множество замкнутых формул имеет модель. [20]
Любое совместное множество замкнутых формул непротиворечиво. [21]
 |
Представление типов связи с помощью графа. [22] |
Непорождающие-информацию связи задаются замкнутыми формулами, в которые входят атрибуты различных таблиц, представляющих типы сущностей ( например, СЛУЖАЩИЙ. [23]
 |
Представление типов связи с помощью графа. [24] |
Возможности задания связей замкнутыми формулами весьма ограничены, поэтому информационно-порождающие типы связей имеют важное значение. Действительно, если, например, каждая вершина соответствует одиночному атрибуту, возможны только тривиальные не-порождающие-информацию связи, базирующиеся на упорядоченности значений атрибутов. Если вершинам сопоставляются хотя бы бинарные таблицы, это ограничение снимается. [25]
Наряду с аксиоматизируемостью замкнутыми формулами 1 - й ступени рассматривают также аксиоматизируемость при помощи специальных замкнутых формул 2 - й ступени. Формула 2 - й ступени, образованная из криптоуниверсальных формул без свободных предметных переменных при помощи ло-гич. [26]
Формула А называется замкнутой формулой или предложением, если всякое вхождение переменной в А является связанным. [27]
Так как а - замкнутая формула, то функция ял является константой. [28]
Так как а - замкнутая формула, то функция яв является константой. [29]
Пусть 91 - какая-либо замкнутая формула узкого исчисления предикатов, относящаяся к кольцам. [30]
Страницы: 1 2 3 4