Resultados de la búsqueda

En filosofía y lógica, el término proposición se usa para referirse a:[1]​ Las entidades portadoras de los valores de verdad.[1]​ Los objetos de las creencias…

Un teorema es una proposición cuya verdad se demuestra. En matemáticas, es toda proposición que, partiendo de un supuesto (hipótesis), afirma una racionabilidad…

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…

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. El término «variable» se…

En lógica, la consecuencia lógica es la relación entre las premisas y la conclusión de un argumento deductivamente válido.[1]​ La relación de consecuencia…

En lógica, una regla de inferencia, o regla de transformación es una forma lógica que consiste en una función que toma premisas, analiza su sintaxis, y…

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…

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,[1]​ y por extensión la validez…

En la lógica proposicional,una fórmula proposicional es un tipo de fórmula sintáctica la cual está bien formada y tiene un valor verdadero. Si los valores…

En lógica, una sentencia atómica es un tipo de sentencia declarativa que puede ser verdadera o falsa (también puede ser referido como una proposición,…