Modálna logika

Logika modálna

logika modálna je časť matematickej logiky, ktorá skúma výroky majúce také pravdivostné hodnoty, ako možnosť, nemožnosť', nevyhnutnosť a pod.

V modálnej logike sa na úrovni výrokovej logiky používajú všetky výrokové spojky výrokového kalkulu

ł klávesy:

Ă ^ - spojka a (konjunkcia), ł

v - spojka alebo (disjunkcia), ł

-> - spojka ak... tak (implikácia), ł

ż - negácia (Nie je pravda, že...), ł (ż = Alt-191) đ - ekvivalencia (Vtedy a len vtedy, keď...) ł (đ = Alt-240)

ł

a k nim sa pripájajú modálne operátory ł

ł

- Je nevyhnutné, že..., ł ( = Alt-254) - Je možné, že.... ł ( = Ctrl-p-g)

Výroky s modálnymi operátormi čítame napr.: P - Je nevyhnutné, že P, P - Je možné, že P, ż P - P nie je možné atď.

Externé odkazy

• FILIT – zdroj, z ktorého pôvodne čerpal tento článok.