Modálna logika: Rozdiel medzi revíziami
Smazaný obsah Přidaný obsah
→Externé odkazy: rekat |
|||
Riadok 9:
==Jazyk==
Abeceda jazyka väčšiny modálnych logík obsahuje:
*[[konečná množina|konečnú]] alebo [[spočítateľná množina|spočítateľnú]] množinu [[atomárny symbol|atomárnych symbolov]].
*niektoré štandardné spojky výrokovej logiky, ako <math>\{\rightarrow,\leftrightarrow,\neg,\vee,\wedge\}</math>
*a symbol <math>\Box</math>, ktorý vo výrokoch zastupuje modalitu nutnosti. Teda [[formula]] <math>\Box\,\varphi</math> sa číta "Nutne <math>\varphi</math>" alebo "Je nutné, že <math>\varphi</math>".
|