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

Question

假设我有 H: 0 = 1 个范围。我如何使用它来得出结论 False?

Answer 1

你应该使用策略discriminate。