Every decidable theory or logical system is semidecidable, but in general the converse is not true; a theory is decidable if and only if both it and its complement are semi-decidable.
Свака одлучива теорија или логички систем је полуодлучива, али у општем случају обратно не важи; теорија је одлучива ако и само ако су и она и њен комплемент полуодлучиви.