Die Consequentia mirabilis (bewundernswerte Folgerung), auch als Clavius-Gesetz bekannt, wird in der klassischen Logik verwendet, um die Gültigkeit einer Behauptung aus der Ungültigkeit ihrer Negation zu beweisen. Die Argumentation ist verwandt mit der Reductio ad absurdum; allerdings muss man bei der Consequentia mirabilis nur zeigen, dass die ...