LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest
d) vasturääkivuses
e) muussuhtes
Vastus: c)
2. Mis on S. A. Kripkekasutuselevõetudideesisuks?
a) Aleetilisemodaalseloogikalausedväljendavadparatamatust, võimalikkust,
sattumuslikkustjamittevõimalikkust.
b) Aleetilisesmodaalsesloogikaskasutataksevõimalikkusemodaalsetoperaatoritjaparatam
atusemodaalsetoperaatorit.
c) Lause☐p on tõene, kui lause p on tõene kõikides võimalikes maailmades. Lause
pon tõene, kuilausep on tõenevähemaltühesvõimalikusmaailmas.
d) Loogiliselt võimatu ei saa olla füüsiliselt võimalik, aga loogiliselt võimalik ei pea
olema füüsiliselt võimalik.
e) Lause☐p on tõene maailmas w parajasti siis, kui lause p on tõene igas maailmas w’,
mis on ligipääsetav maailmas w. Lause p on tõeneigasmaailmasparajastisiis,
kuilausep on tõenevähemaltühesmaailmasw’, mis on ligipääsetavmaailmastw.
Vastus: e)
3
annaabi.ee 
