logická symbolika
logická symbolika, log . soubor symbolů, tj. vizuálních objektů (písmen, číslic a jiných znaků) používaných v log. (mat.) s určitým přesným významem. Moderní věda využívá symbolické jaz. jako pomocné prostředky formalizace pro jejich přesnou definovatelnost a syntax, jednoznačný výklad (sémantiku) i možnost aplikace mat. metod. L. s. používá v souč. době několik soustav symbolického značení (tentýž log. pojem bývá ozn. několika symboly). L. s. obvykle rozlišuje ozn. elementárních log. objektů, funktorů (symbolů ozn. log. vztahy a operace) a pomocné symboly (závorky, tečky, indexy). V.t. výrok.
