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