deductive inference

From Wiktionary, the free dictionary