Modálna logika: Rozdiel medzi revíziami

==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]].
*výrokové premenné <math>\{\varphi,\psi,\ldots\}</math>,
*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>".
 
334

úprav