在解决深层错误观念方面 贝克和雷米采用的逻辑分析技术主要包括()。