Modálna logika: Rozdiel medzi revíziami

z Wikipédie, slobodnej encyklopédie
IW-BOT (diskusia | príspevky)
d robot: štylistické, typografické a kódové korekcie
d Logika modálna premiestnená na Modálna logika
(Žiaden rozdiel)

Verzia z 22:39, 31. október 2006

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.

Šablóna:Filit na úpravu