Step-type defeat

Defeat is of step-type if it depends on the steps that occur in arguments.

Previous slide

Next slide

Back to first slide

View graphic version