Стандартизация переменных

Связные переменные находятся под действием квантора и поэтому переименовывать их можно только одновременно с квантифицированной переменной, стоящей после квантора. Совершенно безразлично, как обозвать квантифицированную переменную. Если у нас есть формула xP (x), то ее можно переобозначить, например, zP (z). Значение истинности ппф при этом не изменится. Такой прием называется переименованием. Им пользуются для разделения переменных с тем, чтобы каждый квантор имел свою, свойственную только ему, переменную. Выше мы уже пользовались этим приемом при выводе соотношений (6.5). Если в формуле x (P (x) x (R (x,z))), провести переименование, то можно получить, например, выражение x (P (x) y (R (y,z))), (z просто свободная переменная). Такой прием разделения переменных носит еще название стандартизации.

Дата добавления: 2014-01-20