Operator modalny

Operatory modalne to symbole używane w różnego typu logikach modalnych, nadające swoim argumentom specjalne znaczenie.

W „zwyczajnej” logice operatory to:

• przeczenie $\neg \phi$
• alternatywa $\phi \lor \psi$
• koniunkcja $\phi \land \psi$

W logikach modalnych wprowadza się nowe operatory, takie jak np.:

• $\square \phi$ – jest konieczne, że $\phi$
• $\diamondsuit \phi$ – jest możliwe, że $\phi$
• $F\phi$ – kiedyś nastąpi $\phi$
• $G\phi$ – zawsze będzie zachodziło $\phi$
• $\phi U\psi$ – $\phi$ będzie zachodziło tak długo, aż nie zajdzie $\psi ,$ przy czym $\psi$ na pewno kiedyś zajdzie

Zobacz też

• logika modalna, logika temporalna