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
  • alternatywa
  • koniunkcja

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

  • – jest konieczne, że
  • – jest możliwe, że
  • – kiedyś nastąpi
  • – zawsze będzie zachodziło
  • będzie zachodziło tak długo, aż nie zajdzie , przy czym na pewno kiedyś zajdzie

Zobacz też[edytuj]