Símbolo lógico é um conceito fundamental em lógica. Embora o termo "símbolo" normalmente em alguns momentos com a ideia de ser simbolizado, e em outros momentos para as marcas em um pedaço de papel ou quadro negro, que estão sendo usados ​​para expressar essa ideia, na linguagem formal  estudados em matemática e lógica, o termo "símbolo" refere-se à ideia, e as marcas são consideradas ser uma símbolo instância do símbolo. Na lógica, símbolos utilitário de construção literal para ilustrar ideias.