工具7 笛卡儿逻辑法