Predikaatide omistamine, väidete tõeväärtuste kindlaks tegemine ja lahenduvad probleemid
Karmo Talts
Käsitleme küsimust predikaadi omistatavusest muutujale probleemina. Probleem, kas x-ile on võimalik omistada predikaati P on lahenduv, kui on võimalik lõpliku hulga sammudega otsustada, kas x-l on predikaat P või x-il puudub predikaat P.
Vaatame nüüd selle tähendust väidete tõeväärtuste jaoks. Probleem, missugune tõeväärtus on väitel P, on lahenduv, kui seda, missugune tõeväärtus on väitel P, on võimalik otsustada lõpliku hulga sammudega.
No comments:
Post a Comment