17 relaciones: Argumento, Cálculo lógico, Decidibilidad, Fórmula atómica, Fórmula bien formada, Interpretación (lógica), Lógica proposicional, Metalógica, Operación nularia, Oxford University Press, Principio de identidad, Procedimiento efectivo, Proposición, Reglas de reemplazo, Tabla de verdad, Valor de verdad, Verdad lógica.
Argumento
Un argumento (del latín argumentum) es la expresión oral o escrita de un razonamiento o idea mediante el cual se intenta probar, refutar o incluso justificar una proposición o tesis.
¡Nuevo!!: Tautología y Argumento · Ver más »
Cálculo lógico
El cálculo lógico, o derivación lógica, es un algoritmo o sistema lógico que permite inferir o deducir un enunciado verdadero a partir de otro u otros que se tienen como válidamente verdaderos.
¡Nuevo!!: Tautología y Cálculo lógico · Ver más »
Decidibilidad
En metalógica, la decidibilidad es una propiedad de los sistemas formales cuando, para cualquier fórmula en el lenguaje del sistema, existe un método efectivo para determinar si esa fórmula pertenece o no al conjunto de las verdades del sistema.
¡Nuevo!!: Tautología y Decidibilidad · Ver más »
Fórmula atómica
En lógica formal, una fórmula atómica es una fórmula bien formada que no tiene una estructura formal más profunda.
¡Nuevo!!: Tautología y Fórmula atómica · 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!!: Tautología y Fórmula bien formada · Ver más »
Interpretación (lógica)
En lógica, una interpretación semántica es asignar significados a las variables que constituyen las fórmulas bien formadas de un lenguaje formal.
¡Nuevo!!: Tautología e Interpretación (lógica) · 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!!: Tautología y Lógica proposicional · Ver más »
Metalógica
La metalógica es la rama de la lógica que estudia las propiedades y los componentes de los sistemas formales.
¡Nuevo!!: Tautología y Metalógica · Ver más »
Operación nularia
Se define como operación nularia aquella operación matemática en la que el operador no necesita argumento para que se pueda calcular un valor.
¡Nuevo!!: Tautología y Operación nularia · Ver más »
Oxford University Press
Oxford University Press (OUP) es la casa editorial de mayor reconocimiento en el Reino Unido y una de las más prestigiosas a nivel mundial.
¡Nuevo!!: Tautología y Oxford University Press · Ver más »
Principio de identidad
El principio de identidad es un principio clásico de la lógica y la filosofía, según el cual toda entidad es idéntica a sí misma.
¡Nuevo!!: Tautología y Principio de identidad · Ver más »
Procedimiento efectivo
Un procedimiento efectivo o método efectivo es una secuencia de pasos repetible y determinista; es decir, una en que siempre se irán obteniendo los mismos conjuntos de valores de salida para los mismos conjuntos de valores de entrada.
¡Nuevo!!: Tautología y Procedimiento efectivo · Ver más »
Proposición
En filosofía y lógica, el término proposición se usa para referirse a.
¡Nuevo!!: Tautología y Proposición · Ver más »
Reglas de reemplazo
En lógica, las reglas de reemplazo o reglas de sustitución son reglas de transformación que pueden ser aplicadas únicamente a un segmento particular de una expresión.....
¡Nuevo!!: Tautología y Reglas de reemplazo · Ver más »
Tabla de verdad
Una tabla de verdad, o tabla de valores de verdades, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de verdad que se pueda asignar.
¡Nuevo!!: Tautología y Tabla de verdad · Ver más »
Valor de verdad
En lógica, un valor de verdad es un valor que indica en qué medida una declaración es verdad.
¡Nuevo!!: Tautología y Valor de verdad · Ver más »
Verdad lógica
Una verdad lógica o verdad matemática es una fórmula bien formada de un lenguaje formal que es verdadera bajo todas las interpretaciones de los componentes (distintos de las constantes lógicas) de ese lenguaje.
¡Nuevo!!: Tautología y Verdad lógica · Ver más »
Redirecciona aquí:
Tautologia, Tautologia (logica), Tautologia (lógica), Tautologica, Tautología (logica), Tautología (lógica), Tautológica.