Väidete mingil määral eitamine
Karmo Talts
Vaatame võimalusi eitada väidet mingil määral loogikates, kus väide saab olla osaliselt tõene. Kui me tähistame kõige kõrgema tõeväärtuse ühega ja kõige madalama nulliga, siis klassikaline eitus lahutab tõese väite tõeväärtusest ühe ja liidab väära väite tõeväärtusele ühe.
Võtame nüüd kasutusele eitused, mis eitavad väidet määral x. Kui väite tõeväärtus on kõige kõrgem tõeväärtus miinus x, siis muudab see tehe väite tõeseks. Kui väite tõeväärtus pole kõige kõrgem tõeväärtus miinus x, siis muudab see tehe väite vääraks.
No comments:
Post a Comment