Jazyk (logika): Porovnání verzí

Přidán 1 bajt ,  před 1 rokem
m
Robot: náhrada zastaralé matematické syntaxe podle mw:Extension:Math/Roadmap
m (Bot: Odstranění 2 odkazů interwiki, které jsou nyní dostupné na Wikidatech (d:q3509316))
m (Robot: náhrada zastaralé matematické syntaxe podle mw:Extension:Math/Roadmap)
 
Logické symboly jazyka jsou:
* [[spočetná množina|spočetně]] mnoho symbolů pro proměnné: <math>v_0,v_1, \ldots</math> (V matematické praxi se obvykle proměnné značí písmeny <math>x,y,z, \ldots</math>, vždy to však lze chápat tak, že tato písmena jsou ve skutečnosti nějaká <math>\,v_i</math>.)
* symboly pro [[logické spojky]]: <math>\neg</math>, <math>\Rightarrow</math> (případně ještě <math>\vee</math>, <math>\andland</math>, <math>\Leftrightarrow</math>, tyto symboly však lze zavést také definicí)
* symboly pro [[kvantifikátor]]y: <math>\forall</math> (případně <math>\exists</math>, který lze zavést definicí)
* symbol pro [[rovnost]]: <math>\,=</math> (pokud jde o jazyk [[logika s rovností|logiky s rovností]])