Логика - доступно для всех

  • Увеличить размер шрифта
  • Размер шрифта по умолчанию
  • Уменьшить размер шрифта

Свободные и связные переменные.

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

Свободные и связные переменные.

оба вхождения x связанные, а единственное вхождение y свободно.

В формуле:

Свободные и связные переменные.

каждое вхождение каждой из переменных связанное. Переменная свободна в формуле, если по меньшей мере одно ее вхождение свободно; переменная связана в формуле, если по меньшей мере одно ее вхождение связано.

Свободные и связные переменные.

 
Интернет магазин водного снаряжения russplav.com. Заказать байдарки по выгодным ценам в Москве.

Случайная новость