非经典逻辑的定义