"deductive" - key terms from Wikipedia