equality - 我应该使用什么策略从荒谬的平等中得出矛盾？

Question

假设我有H: 0 = 1范围。我怎样才能用这个来得出结论False？

Answer 1

你应该使用这个策略discriminate。