Constantes lógicas
Constante é uma área reservada para armazenamento de uma informação que não se alterará em todo o ciclo de vida do algoritmo, ou seja, tem sempre o mesmo valor dentro de um sistema. Um exemplo disso são as constantes da biblioteca matemática de qualquer linguagem de programação; outro exemplo se refere ao valor de PI que é o mesmo(3,14) e, a menos que alguém prove o contrário, ele não necessita ser alterado. Em lógica, no Cálculo Quantificacional Clássico as constantes podem ser divididas em dois grupos: as constantes lógicas e as constantes não-lógicas. As constantes não lógicas, por sua vez, podem ser classificadas em constantes individuais e constantes de predicado. Em lógica, mais precisamente em lógica clássica proposicional de primeira ordem uma constante representa uma função "0-ária" (zero-ária).
Imagem: FOTÓGRAFO - DISEÑADOR GRÁFICO · BY-NC-ND · Openverse
Na lógica clássica, as constantes lógicas são representadas por símbolos que têm um determinado significado. Eis alguns símbolos lógicos: Por exemplo, o símbolo " ¬ {\displaystyle \lnot } " representa a negação de algo; O símbolo " → {\displaystyle \rightarrow } " representa a implicação de algo. São com esses símbolos e algumas variáveis que as fórmulas lógicas são compostas.
Constantes não-lógicas
Essas constantes podem ser classificadas em constantes individuais e constantes de predicado. As constantes individuais, são os indivíduos, como se diz o nome. Essas constantes são aquelas que dão nomes as coisas. Por exemplo: João Marcos, Benjamín, o aluno mais aplicado de João Marcos, A pessoa que está sentado a direita de Paulo. Essas constantes são representadas por letras do alfabeto romano minúsculas como: As constantes de predicados são atributos que podem ser predicados às constantes individuais, ou seja são as relações que é uma das partes que compõem a linguagem da lógica clássica proposicional de primeira ordem. Essas relações são valoráveis em verdadeiro e falso. Por exemplo: João Marcos é um ótimo professor. o predicado que diz: "é um ótimo professor" é no caso a constante de predicado que vem acompanhada de uma constante individual "João Marcos". Para representar as constantes de predicado, basta colocar as constantes individuais à direita das constantes de predicado. Utiliza-se ainda letras do alfabeto romano maiúsculas para representá-las como:
Exemplos do uso de constantes em LCPO
Agora utilizando os diversos tipos de símbolos descutidos acima, eis alguns exemplos:
Constantes em linguagem de programação
Em linguagem de programação, uma constante é um valor que no decorrer do algoritmo ou processamento sempre terá o mesmo valor. Perceba que a ideia de constante é a mesma seja onde for o local que a constante será utilizada. Exemplo de declaração de variável em C++.
Constantes físicas e matemáticas
Tanto na física como na matemática existem aquelas constantes que foram criadas por matemáticos ou físicos. Um exemplo muito famoso é a constante "c" que representa a velocidade da luz e tem o valor de 299 792 458 metros por segundo. a constante "c" é verificada na seguinte equação: E = M C 2 {\displaystyle {\mathcal {E}}={\mathcal {M}}{\mathcal {C}}^{2}} Outros exemplos:
