Mantıksal olarak, dönem terimiyle karar problemi, bir dizi formülde üyeliği belirlemek için etkili bir yöntemin varlığı sorusu ya da daha doğrusu, bir boolean gerçek ya da yanlış değere dönebilen ve döndüren bir algoritmadır. (süresiz döngü yapmak, çökmek, geri dönmek ya da yanlış cevap vermek yerine). Mantıksal olarak geçerli formüller (veya teoremler) üyeliği etkin bir şekilde belirlenebiliyorsa, teklif mantığı gibi mantıksal sistemler kararlıdır. Rasgele formüllerin teoride yer alıp almadığının belirlenmesinde etkili bir yöntem varsa, sabit bir mantıksal sistemde bir teori (mantıksal sonuç altında kapatılan cümleler kümesi) karar verilebilir. Pek çok önemli sorun tartışmasızdır, yani, üyeliği belirlemek için etkili bir yöntemin (tüm durumlarda son derece uzun bir süre olsa da, doğru bir cevabı döndürmek) mümkün olmadığının kanıtlanmıştır.
[Mantıksal sonuç] |
