¡Más rápido que el navegador!
13 relaciones: Antecedente (lógica), Condicional material, Conjetura, Consecuencia lógica, Consecuente, Hipótesis de Riemann, Lógica matemática, Lógica proposicional, Matemáticas, Modus ponendo ponens, NP-completo, Prueba formal, Teorema de la deducción.
Antecedente (lógica)
Un antecedente es la primera parte de una proposición hipotética, siempre que la cláusula "si" preceda a la cláusula "entonces".
¡Nuevo!!: Prueba condicional y Antecedente (lógica) · Ver más »
Condicional material
El condicional material, conocido como condicional, condicional funcional de verdad, o imprecisamente confundido con la implicación material, es un conectiva lógica que conecta dos proposiciones, representado usualmente como A \to B. En lógica proposicional, el condicional material es una función de verdad binaria, que se vuelve falso cuando B es falsa siendo A verdadera, y se vuelve verdadero en cualquier otro caso.
¡Nuevo!!: Prueba condicional y Condicional material · Ver más »
Conjetura
Por conjetura se entiende el juicio que se forma (moral, ético o matemático) de las cosas o sucesos por indicios u observaciones.
¡Nuevo!!: Prueba condicional y Conjetura · Ver más »
Consecuencia lógica
En lógica, la consecuencia lógica es la relación entre las premisas y la conclusión de un argumento deductivamente válido.
¡Nuevo!!: Prueba condicional y Consecuencia lógica · Ver más »
Consecuente
En lógica matemática, un consecuente es un tipo muy general de afirmación condicional.
¡Nuevo!!: Prueba condicional y Consecuente · Ver más »
Hipótesis de Riemann
En matemáticas puras, la hipótesis de Riemann, formulada por primera vez por Bernhard Riemann en 1859, es una conjetura sobre la distribución de los ceros de la función zeta de Riemann ζ(s).
¡Nuevo!!: Prueba condicional e Hipótesis de Riemann · 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!!: Prueba condicional 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!!: Prueba condicional y Lógica proposicional · Ver más »
Matemáticas
Las matemáticas, o también la matemática, La palabra «matemáticas» no está en el Diccionario de la Real Academia Española.
¡Nuevo!!: Prueba condicional y Matemáticas · Ver más »
Modus ponendo ponens
El modus ponendo ponens (latín: "el modo que, al afirmar, afirma"1, también llamado modus ponens, eliminación de la implicación, regla de separación, afirmación del antecedente, generalmente abreviado MP) es una forma de argumento válido (razonamiento deductivo) y una de las reglas de inferencia en lógica proposicional.
¡Nuevo!!: Prueba condicional y Modus ponendo ponens · Ver más »
NP-completo
En teoría de la complejidad computacional, la clase de complejidad NP-completo es el subconjunto de los problemas de decisión en NP tal que todo problema en NP se puede reducir en cada uno de los problemas de NP-completo.
¡Nuevo!!: Prueba condicional y NP-completo · Ver más »
Prueba formal
En lógica, una derivación formal (o prueba formal) es una secuencia finita de sentencias donde cada sentencia puede ser un axioma o puede ser obtenida como consecuencia directa de las sentencias anteriores en la secuencia utilizándose una regla de inferencia.
¡Nuevo!!: Prueba condicional y Prueba formal · Ver más »
Teorema de la deducción
El teorema de la deducción es un metateorema de la lógica proposicional, la lógica de primer orden y otros sistemas lógicos, que es bastante utilizado para demostrar otros metateoremas.
¡Nuevo!!: Prueba condicional y Teorema de la deducción · Ver más »
