sortie : Idioms & Phrases

• (Logic), a process of reasoning which involves the denial of the first of a series of dependent propositions as a consequence of the denial of the last; a species of reductio ad absurdum.

Webster 1913