Operator modalny

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

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 \or \psi
  • koniunkcja \phi \and \psi

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

  • \square \phi – jest konieczne, że \phi
  • \diamonds \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ż[edytuj | edytuj kod]