benyttes i to betydninger:
1. Argumentasjonsformen «hvis A så B, ikke-B; derfor ikke A», og argumenter på denne formen.
2. Slutningsregel som tillater en å slutte negasjonen av antecedenten til en kondisjonal fra kondisjonalen og benektelsen av dens konsekvens.