Operator modalny
Z Wikipedii
Operatory modalne to symbole używane w różnego typu logikach modalnych, nadające swoim argumentom specjalne znaczenie.
W "zwyczajnej" logice operatory to:
- przeczenie
- alternatywa
- koniunkcja
W logikach modalnych wprowadza się nowe operatory, takie jak np.:
– jest konieczne, że φ
– jest możliwe, że φ- Fφ – kiedyś nastąpi φ
- Gφ – zawsze będzie zachodziło φ
- φUψ – φ będzie zachodziło tak długo, aż nie zajdzie ψ, przy czym ψ na pewno kiedyś zajdzie
Zobacz też: logika modalna, logika temporalna, przegląd zagadnień z zakresu matematyki.
