Modálna logika: Rozdiel medzi revíziami

d
robot: štylistické, typografické a kódové korekcie
(Automated import of articles)
 
d (robot: štylistické, typografické a kódové korekcie)
 
'''Logika modálna'''
 
[[logika|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.
 
 
Ă
^ - spojka ''a'' (konjunkcia), ł
 
v - spojka ''alebo'' (disjunkcia), ł
 
-> - spojka ''ak...ak… tak'' (implikácia), ł
 
ż - negácia (''Nie je pravda, že...že…''), ł (ż = Alt-191)
đ - ekvivalencia (''Vtedy a len vtedy, keď...keď…'') ł (đ = Alt-240)
 
ł
 
a k nim sa pripájajú modálne operátory ł
 
ł
 
- ''Je nevyhnutné, že...že…'', ł ( = Alt-254)
- ''Je možné, že...že…''. ł ( = Ctrl-p-g)
 
Výroky s modálnymi operátormi čítame napr.: P - ''Je nevyhnutné, že P'',
83 783

úprav