Modaalsusi kasutav tõeskeem
Karmo Talts
Sõnastame modaalsusi kasutava tõeskeemi. P on tõene parajasti siis, kui P on paratamatu või P on võimalik ja P.
Sõnastame nüüd vääruseskeemi. P on väär parajasti siis, kui P pole paratamatu ja P on võimatu või pole nii, et P.
Kommentaare ei ole:
Postita kommentaar