Tõeskeem, mis lähtub sellest, et tõesel väitel on tõeväärtus
Karmo Talts
Sõnastame tõeskeemi, mis lähtub sellest, et tõesel väitel on tõeväärtus. P on tõene parajasti siis, kui P ja P-l on tõeväärtus.
Sõnastame nüüd selle skeemi kontrapositsiooni. Pole nii, et P või P-l pole tõeväärtust parajasti siis, kui P pole tõene.
No comments:
Post a Comment