排除法

提高认知门槛其实是排除法的一种形式

排中律