décidable adjectif Se dit d'une formule qui est démontrable ou falsifiable dans une théorie déductive. Contraire : indécidable