deductive methods Synonyms

deductive reasoning formal logic