Modallogikk

Fra Wikipedia, den frie encyklopedi
Gå til: navigasjon, søk

En modal logikk er en logikk for å behandle modaliteter: konsepter som mulighet, umulighet og nødvendighet. Logikker for å behandle en rekke andre ideer, som etter hvert, tidligere, kan, kunne, skulle, burde og , blir også kalt modale logikker, siden de kan behandles på lignende måter.

Formelle modallogikker representerer modalitetene ved at man setter logiske operatorer på setningene. De grunnleggende modale operatorene er vanligvis \Box (eller L) for modaliteten nødvendig og \Diamond (eller M) for mulig. De er interdefinert slik:

\Diamond p = \neg \Box \neg p

Dermed er det mulig at NN ble myrdet hvis og bare hvis det ikke er nødvendig at NN ikke ble myrdet. Tilsvarende er det nødvendig at NN ble myrdet hvis og bare hvis det ikke er mulig at NN ikke ble myrdet.

Sagt på en annen måte: Noe er mulig hvis og bare hvis det motsatte ikke er nødvendig, og vice versa.

Videre lesning[rediger | rediger kilde]


StubbDenne artikkelen er foreløpig kort eller mangelfull. Du kan hjelpe Wikipedia ved å utvide eller endre den.