logická symbolika

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