décidable

adjectif

Définitions de décidable


  • Se dit d'une formule qui est démontrable ou falsifiable dans une théorie déductive.