En lógica , una constante lógica de un lenguaje. es un símbolo que tiene el mismo valor semántico bajo cada interpretación de. Dos tipos importantes de constantes lógicas son las conectivas lógicas y los cuantificadores . El predicado de igualdad (generalmente escrito '=') también se trata como una constante lógica en muchos sistemas de lógica .
Una de las preguntas fundamentales en la filosofía de la lógica es "¿Qué es una constante lógica?"; es decir, ¿qué característica especial de ciertas constantes las hace de naturaleza lógica ? [1]
Algunos símbolos que se tratan comúnmente como constantes lógicas son:
Símbolo | Significado en ingles |
---|---|
T | "cierto" |
F | " falso " |
¬ | " no " |
∧ | " y " |
∨ | " o " |
→ | " implica ", "si ... entonces" |
∀ | " para todos " |
∃ | " existe ", "para algunos" |
= | " es igual " |
"necesariamente" | |
"posiblemente" |
Muchas de estas constantes lógicas a veces se indican mediante símbolos alternativos ( por ejemplo , el uso del símbolo "&" en lugar de "∧" para denotar el y lógico ). La definición de constantes lógicas es una parte importante del trabajo de Gottlob Frege y Bertrand Russell .
Ver también
Referencias
- ^ Carnap, Rudolf (1958). Introducción a la lógica simbólica y sus aplicaciones . Nueva York: Dover.