in der implikation Synonym