Ero sivun ”Modaalilogiikka” versioiden välillä
[arvioimaton versio] | [arvioimaton versio] |
Poistettu sisältö Lisätty sisältö
lauseet |
yritys määritellä yleisesti |
||
Rivi 1:
'''Modaalilogiikka''' (aleettinen modaalilogiikka) on
== Modaalilauselogiikka ==▼
[[Logiikka|logiikan]] alue, jolla tutkitaan aleettisten modaliteettien
eli välttämättömyyden ja mahdollisuuden loogisia piirteitä. Usein
'modaalilogiikka' ymmärretään kokonaisnimityksenä kaikkien
modaliteettien loogiikoille. Muita modaliteetteja ovat mm. episteeminen,
temporaalinen ja deonttinen.
Alla esitellään esimerkinomainen aleettinen modaalilogiikka (kesken).
▲== Modaalilauselogiikka ==
välttämättömyydelle (on välttämätöntä, että p) ja mahdollisuudelle (on▼
mahdollista, että p).▼
=== Modaalilauselogiikan syntaksi ===
Modaalipropositiologiikka sisältää normaalien propositiologiikan
▲p) ja mahdollisuudelle (on mahdollista, että p).
Seuraavassa [[rekursiivinen|rekursiivisessa]] määritelmässä määritellään kaikki
|