Modálna logika: Rozdiel medzi revíziami

Smazaný obsah Přidaný obsah

V textu

Verzia z 12:02, 3. september 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ď.

@@ Riadok 1: / Riadok 1: @@
 '''Logika modálna'''
-[[logika|logika]] modálna je časť [[logika matematická|matematickej logiky]], ktorá skúma výroky majúce také pravdivostné
+[[logika]] modálna je časť [[logika matematická|matematickej logiky]], ktorá skúma výroky majúce také pravdivostné
 hodnoty, ako ''možnosť'', ''nemožnosť', ''nevyhnutnosť'' a pod.
@@ Riadok 11: / Riadok 10: @@
 Ă
-^ - spojka ''a'' (konjunkcia),  ł
+^ - spojka ''a'' (konjunkcia), ł
-v - spojka ''alebo'' (disjunkcia),  ł
+v - spojka ''alebo'' (disjunkcia), ł
--&gt; - spojka ''ak... tak'' (implikácia), ł
+-&gt; - spojka ''ak… tak'' (implikácia), ł
-ż - negácia (''Nie je pravda, že...''),  ł (ż = Alt-191)
+ż - negácia (''Nie je pravda, že…''), ł (ż = Alt-191)
-đ - ekvivalencia (''Vtedy a len vtedy, keď...'') ł (đ = Alt-240)
+đ - ekvivalencia (''Vtedy a len vtedy, keď…'') ł (đ = Alt-240)
 ł
-a k nim sa pripájajú modálne operátory   ł
+a k nim sa pripájajú modálne operátory ł
 ł
-- ''Je nevyhnutné, že...'',  ł ( = Alt-254)
+- ''Je nevyhnutné, že…'', ł ( = Alt-254)
-- ''Je možné, že...''.  ł ( = Ctrl-p-g)
+- ''Je možné, že…''. ł ( = Ctrl-p-g)
 Výroky s modálnymi operátormi čítame napr.: P - ''Je nevyhnutné, že P'',