decidible

adj

Lògica

Dit del càlcul, o del mètode lògic corresponent, en què hom pot decidir si una fórmula és o no un teorema.