MCC Identification

• Some MCCs are straightforward to identify; e.g., case statement

• Some MCCs require inspection of the primitive proof; e.g., contradiction

• Some MCCs can only be identified with additional reasoning; e.g., trivial case, analogy

Previous slide

Next slide

Back to first slide

View graphic version