Väite P tõeväärtus ja bikonditsionaal "P parajasti siis, kui pole nii, et P"

Väite P tõeväärtus ja bikonditsionaal "P parajasti siis, kui pole nii, et P"

Karmo Talts

Vaatame, kas P saab olla ekivivalentne iseenda eitusega. Kui P on väär, siis on tühi tõde, et kui P, siis mitte P. Samas siis on väär, et kui pole nii, et P, siis P. Kui P on tõene, siis on tühi tõde, et kui pole nii, et P, siis P. Samas siis on väär, et kui P, siis pole nii, et P. Seega nii siis, kui P on tõene, kui ka siis, kui P on väär, P ei ole ekvivalentne iseenda eitusega.
Vaatame nüüd selle tähendust tõeväärtusskeemide jaoks. Tõeväärtusskeemidesse võib sisse kirjutada, et P on tõene parajasti siis, kui P ja P pole ekvivalentne iseenda eitusega ja P on väär parajasti siis, kui pole nii, et P ja P pole ekvivalentne iseenda eitusega.