IF-логика и подстановочная интерпретация кванторов