Définition(s) :
- Se dit d'une formule qui est démontrable ou falsifiable dans une théorie déductive.
- (Mathématiques) Dont on peut décider l’existence, les propriétés.
- Logique. Pouvant être démontré ou réfuté dans une théorie mathématique.
- pas de définition
- (Mathématiques) Dont on peut décider l’existence, les propriétés.
- (Informatique) Que l'on peut résoudre par un algorithme donné avec un nombre fini d'étapes.
Points au Scrabble
Rapporte 15 points (sans les contraintes du jeu.)
