zbiór symboli stosowanych we wzorach logiki formalnej, zastępujących potoczne wyrażenia; n.l. używana jest w rachunku zdań, rachunku zbiorów, rachunku kwantyfikatorów itp.
- notacja BNF, (równania normalne Backusa,...
- metajezyk, ( metalanguage )
- siec obiektów, (obiekt rozszczepiony,...