Искусственный интеллект

Вопросы и упражнения логически эквивалентной приведенной выше формуле, задающей ограничение целостности. Если обозначить ф(.у, s') = V (студент, размер стипендии, размер'стипендии') стипендия (студент, размерстипендии, s) л стипендия (студент, размер стипендии'', s') r> размерстипендии < размерстипендии', то схема использования двойной индукционной аксиомы для доказательства целостности будет состоять из следующих шагов: доказать истинность формулы q^-SJ,, So). предположить истинность формулы (V a, s) q> (s, s). На основании этого предположения показать, что истинна формула (V а, s)(tp(s, Переход (a, s)). предположить истинность формулы (V a, s, s')(s < s' л tp(s, s')). На основании этого предположения показать, что истинна формула [(V a, s, s') (s < s' л ф (s, переход (a, s'))].