课程测验:正式逻辑