Versionen fra 9. feb. 2012, 12:11 redigér EmausBot (diskussion \| bidrag) Botter 181.033 edits m r2.7.2+) (Robot ændrer ar:منطق موجهات ← Gå til forrige forskel		Versionen fra 11. mar. 2012, 10:45 redigér fjern redigering Zilvador (diskussion \| bidrag) Autopatruljerede 261 edits m Tilføjelser og grammatiske smårettelser. Gå til næste forskel →
Linje 1: En '''modallogik''' er enhver [[logik]], der håndterer modaliteter: begreber så som [[mulighed]], [[umulighed]] og [[nødvendighed]]. Logikker til håndtering af en række andre ideer, så som "senere", "tidligere", "kan", "kunne", "må" kaldes herefter også modallogik, da det viser sig, at de kan behandles på lignende måder. En formel ~~modal logik~~modallogik repræsenterer modaliteter ved at bruge modale [[logisk konnektiv\|operatorer]]. For eksempel ~~inderholder~~indeholder sætningerne "Mordet på Jones var en mulighed"; "Jones blev ~~muligvigvis~~muligvis myrdet"; og "Det er muligt, at Jones blev myrdet" alle begrebet om ''mulighed''. I modallogik er dette repræsenteret som en en operator ''muligvis'', De ~~basale~~grundlæggende, modale operatorer er sædvanligvis <math>\Box</math> for ''Nødvendigvis'' og <math>\Diamond</math>, for ''Muligvis''. De er gensidigt definerbare således: :<math>\Diamond p = \lnot\, \Box\, \lnot\, p.</math> Linje 9: Således er det ''muligt'', at Jones blev myrdet hvis og kun hvis det ikke er ''nødvendigt'', at Jones ''ikke'' blev myrdet. Modallogik spiller blandt andet en rolle ~~indenfor~~inden for dele af [[filosofi]]en, [[matematik]]ken og [[datalogi]]en. [[Kategori:Logik]]

Modallogik: Forskelle mellem versioner