schlussfolgerungslogik Synonym