noun ·Rare ·Advanced level

Definitions

Noun

1. 1
   A technique in which the necessary conditions for a state are identified and then a proof that these conditions cannot be satisfied is produced. attributive, uncountable

Etymology

From semi- + decision.

Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.