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.