排除中界法则

laws of the excluded middles