简述互适模型包含的四个逻辑认定。