Täiendav loogikatehe loogikate, mis lubavad väitel olla ei tõesed ega väärad, jaoks

Täiendav loogikatehe loogikate, mis lubavad väitel olla ei tõesed ega väärad, jaoks

Karmo Talts 

 

Vaatame tehte, mis muudab väite, mis pole ei tõene ega väär, tõeseks, ei muuda väära väite tõeväärtust ja muudab tõese väite vääraks, käitumist loogikas, kus on kolm tõeväärtust, tõene, väär ja ei tõene ega väär.  Ma tähistan selle tehte nii / ja tõeväärtuse ei tõene ega väär nii: ½.

P mP /P

T  V  V

½ ½  T

V  T  V

Vaatame nüüd selle tehte suhet predikaadiga Ei tõene ega väär. P on ei tõene ega väär parajasti siis, kui /P.