deductive techniques Synonyms

deductive reasoning formal logic