deriving a logical inference Synonym