Modálna logika: Rozdiel medzi revíziami
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.