2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Определение без критериев
Сообщение04.01.2017, 19:34 
Здравствуйте! Помогите, пожалуйста, добить главу книги, осталось пара тупиков. Смотрите.
Определение терма:
Изображение
все понятно.
Определение формулы:
Изображение
ясно. Определение связанного(свободного) вхождения переменной в формулу:
Изображение
отлично, почему бы и не дать такое определение: по определению формулы в нее могут входить или нет кванторы. Мне все ясно!
Определение связанного(свободного) вхождения переменной в терм:
Изображение
вот тут полный тупик. Как можно давать такое определение, если в терм, по определению не входит ни квантор существования, ни квантор единственности? Разжуйте, пожалуйста.

 
 
 
 Re: Определение без критериев
Сообщение08.01.2017, 21:00 
Несмотря на то, что это уже пообсуждалось немного в другой теме, раз тут есть цитаты, добавлю. Т. к. в терм «в текущей редакции» не может входить формула и потому формула с квантором, соответствующие части определения просто не будут никогда затрагиваться и всё. Ну и потом в расширениях языка, как, опять же, в той другой теме говорили, могут быть конструкции, связывающие переменные и могущие входить в терм. Это может быть, например, интеграл, а не только конструкции, позволяющие составить терм, используя формулу.

 
 
 [ Сообщений: 2 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group