décidable

décidable

adj.
En logique, se dit d'une formule, d'un système qui sont démontrables ou réfutables (par opp. à indécidable).
Traductions

décidable

decidable