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 $\mathrm{\neg }\varphi$
• alternatywa $\varphi \vee \psi$
• koniunkcja $\varphi \wedge \psi$

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

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

Zobacz też

• logika modalna, logika temporalna