逻辑学作业1 -