Logický znak

Logický znak alebo logický symbol je znak logického kalkulu alebo formalizovaného jazyka, ktorého žiadna časť už
nie je znakom.

___

znak doplnku A doplnok množiny (triedy, relácie) A

ď znak prieniku A ď B prienik množín (tried, relácií) A a B

U znak zjednotenia A U B zjednotenie množín (tried, relácií) A a B

( znak podmnožiny (obsiahnu- A ( B A je podmnožinou (množiny) B
tosti)

) znak nadmnožiny A ) B A je nadmnožinou (množiny) B

= znak rovnosti  A = B A sa rovná B; A je totožné s B

|| znak disjunktnosti  A || B A je disjnunktné s B; A a B nemajú spoločný prvok

>< znak pretínania A >< B A sa pretína s B; A a B majú aspoň jeden spoločný prvok

î znak prvku a î B a je prvkom množiny B

=df definičný znak  A =df B A sa definične rovná B

1 znak univerzálnej triedy

0 znak prázdnej triedy

, lambda operátor, operátor (,x) P(x) tie x, ktoré majú vlastnosť lambda, operátor abstrakcie P

\, jota operátor, operátor (\,x) P(x) to x, ktoré má vlastnosť P jota, operátor individuálneho opisu

.. ..

Pr symbol označujúci triedu S î Pr S je pravdivá veta v L

všetkých pravdivých viet ~

v L

~

L jazyk-objekt

~

ML metajazyk relativizovaný

~~ vzhľadom k L

~

; delta designátor

.

ď znak pre zreťazenie

Logika