Rezultate secundare (Ipotetico-deductiv)):
Parte de vorbire: adj.
Origine: (fr. décidable)
1. (despre un sistem ipotetico-deductiv) care prezintă decidabilitate.
2. (logică) putând fi demonstrat sau infirmat într-o teorie matematică.
3. (inf.) care poate fi rezolvat de un algoritm dat după un număr finit de pași.