Modallogik
 |
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 modallogik repræsenterer modaliteter ved at bruge modale operatorer. For eksempel indeholder sætningerne "Mordet på Jones var en mulighed"; "Jones blev 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 grundlæggende, modale operatorer er sædvanligvis for Nødvendigvis og for Muligvis. De er gensidigt definerbare således:
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 inden for dele af filosofien, matematikken og datalogien.
 | Spire Denne filosofiartikel er en spire som bør udbygges. Du er velkommen til at hjælpe Wikipedia ved at udvide den. |
 | Spire Denne artikel om matematik er en spire som bør udbygges. Du er velkommen til at hjælpe Wikipedia ved at udvide den. |
Content Disclaimer
Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.
- The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
- There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
- It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
- Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
- Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.
