a-альфа: пусть Vxа (соответсвенно и Эxа) наз-ся формула а.
ОБЛАСТЬ ДЕЙСТВИЯ КВАНТОРА - ближайшая формула. Условия получения ф-л: 1)в формуле свободные и связанные переменные обозначаются разными буквами; 2)если к.-л. квантор нах-ся в области действия другого квантора, то переременные, связанные этими кванторами обозначаются разными буквами.
КОЛЛИЗИЯ перменных в ИП - нарушение пунктов 1) и 2). пример1: Vx(F(x)->ЭxG(x,y)) - это НЕ формула. пример2: VxF(x)->ЭxG(x,y) - формула.
