Матлог

[Malckhazar]

Цитаты из лекций:

"Предметная переменная есть терм сигнатуры сигма для любой сигнатуры"

"Предметная константа из сигнатуры сигма есть терм сигнатуры сигма"

"Вхождение предметной переменной в п.п.ф. алгебры предикатов данной сигнатуры называется связанным, если оно является либо переменной квантора, либо входит в область действия квантора по данной переменной, в противном случае вхождение переменной в формулу называется свободным."



Слово "сигнатура" вызывает ступор, а сочетание "сигнатура сигма" сразу выбивает в глубокий транс.

@настроение: обсигнатуренное шо песдетс

@темы: Сигнатура сигма

Comments

[Ветер Войны, Ветер Гор...]

прочел вместо

Предметная константа

Предсмертная константа

я что, с ума сошел..

[Malckhazar]

ыыыы... кстати, похоже

Кстати, добре пжаловать в мои казематы )

[Ветер Войны, Ветер Гор...]

благдарствуй....))