¡Más rápido que el navegador!
14 relaciones: Aridad, Cifra (matemática), Conectiva lógica, Constante lógica, Fórmula bien formada, Lógica de primer orden, Lógica matemática, Lógica proposicional, Lenguaje formal, Predicado (lógica), Sistema formal, Sucesor, Variable (matemática), Variable proposicional.
Aridad
En el análisis matemático, la aridad de un operador matemático o de una función es el número mínimo de argumentos necesarios para que dicho operador funcione, o se pueda calcular.
¡Nuevo!!: Fórmula atómica y Aridad · Ver más »
Cifra (matemática)
Una cifra es un símbolo o carácter gráfico que sirve para representar un número.
¡Nuevo!!: Fórmula atómica y Cifra (matemática) · Ver más »
Conectiva lógica
En lógica, una conectiva lógica, o también conectiva (también llamado operador lógico o conectores lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes.
¡Nuevo!!: Fórmula atómica y Conectiva lógica · Ver más »
Constante lógica
En lógica, una constante lógica es una expresión que cuya presencia y posición determina la forma lógica de una proposición,Véase la introducción de y por extensión la validez o invalidez de los argumentos.
¡Nuevo!!: Fórmula atómica y Constante lógica · Ver más »
Fórmula bien formada
En lógica matemática, una fórmula bien formada, también llamada expresión bien formada, y a menudo abreviada fbf o EBF, es una cadena de caracteres o palabra generada según una gramática formal a partir de un alfabeto dado.
¡Nuevo!!: Fórmula atómica y Fórmula bien formada · Ver más »
Lógica de primer orden
Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.
¡Nuevo!!: Fórmula atómica y Lógica de primer orden · Ver más »
Lógica matemática
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística, es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la ciencia.
¡Nuevo!!: Fórmula atómica y Lógica matemática · Ver más »
Lógica proposicional
La lógica proposicional, también llamada lógica de enunciados, lógica de orden cero o cálculo proposicional, es un sistema formal cuyos elementos más simples representan proposiciones o enunciados, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.
¡Nuevo!!: Fórmula atómica y Lógica proposicional · Ver más »
Lenguaje formal
En matemáticas, lógica y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos son primitivos y las reglas para unir esos símbolos están formalmente especificadas.
¡Nuevo!!: Fórmula atómica y Lenguaje formal · Ver más »
Predicado (lógica)
En lógica, existen muchas concepciones diferentes de la noción de predicado según el contexto y la tradición.
¡Nuevo!!: Fórmula atómica y Predicado (lógica) · Ver más »
Sistema formal
Un sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal, que se utiliza para deducir o demostrar teoremas y dar una definición rigurosa del concepto de demostración.
¡Nuevo!!: Fórmula atómica y Sistema formal · Ver más »
Sucesor
En matemática, dado un número n perteneciente a algún sistema de numeración, conjunto numérico, serie matemática, o sucesión, se llama el sucesor de n al número que sucede a n según la ordenación en la cual están ordenados los números en ese sistema.
¡Nuevo!!: Fórmula atómica y Sucesor · Ver más »
Variable (matemática)
En matemáticas y en lógica, una variable es un símbolo constituyente de un predicado, fórmula, algoritmo o de una proposición.
¡Nuevo!!: Fórmula atómica y Variable (matemática) · Ver más »
Variable proposicional
En lógica matemática, una variable proposicional (también llamada variable sentencial o letra sentencial) es una variable discreta que puede ser verdadera o falsa.
¡Nuevo!!: Fórmula atómica y Variable proposicional · Ver más »
