Tehe, mis eitab väiteid väidete tõeväärtuste kohta
Karmo Talts
Üldistame eituse. Kui meil on rohkem, kui kaks tõeväärtust, siis me saame kasutusele võtta tehte, mis eitab, et väide xP, kus x on tõeväärtus, on tõene. Ma tähistan selle tehte nii /.
Vaatame nüüd, kuidas selline eitus muudab väidete tõeväärtust. Kui P-l on tõeväärtus x, siis on /xP väär. Kui P-l pole tõeväärtus x, siis on /xP tõene.
No comments:
Post a Comment