consequentia mirabilis

CONSEQUENTIA  MIRABILIS     conseguenza  mirabile. Nota anche come legge di Clavius è utilizzata nella logica classica per dimostrare la validità di un’affermazione dalla sua negazione.