Logik, Beweisführung mit Fallunterscheidung