"mitteparatamatul" - 1 õppematerjal

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK

Kui mõelda võimalikkuse all loogilist võimalikkust ning kasutada süsteemi S5, siis see erinevus ähmastub.  4 Lisame veel mõned põhiseostest tulenevad seosed: ¬ p ¬p ehk Ip N¬p ­ võimatu lause on paratamatult väär ja paratamatult väär lause on võimatu. ¬ p ¬p ehk ¬Np P¬p ­ mitteparatamatul lausel on võimalik olla väär ja kui on võimalik, et lause on väär, siis pole see paratamatu lause. Definitsioonist 11.1 järelduvad seosed: p p ehk p Pp ­ iga tõene lause on võimalik lause. p p ehk Np p ­ iga paratamatu lause on tõene lause. Nii kvantorite kui ka operaatorite all võidakse mõelda kas sümboleid või siis sümbolite interpretatsioone, mõnikord võib see põhjustada arusaamatusi.