Dekreterbarhet är ett begrepp inom logik och datavetenskap som beskriver egenskapen hos ett formellt system, ofta ett logiskt system eller en uppsättning regler, att vara sådant att det är möjligt att bevisa eller avgöra om ett givet påstående är sant eller falskt inom systemet. Ett system är dekret.