¡Más rápido que el navegador!
31 relaciones: Antecedente (lógica), Aristóteles, Bicondicional, Cálculo lógico, Conjunción lógica, Conmutatividad, Conversión lógica, Cuadrado perfecto, Cuadrilátero, Demostración en matemática, Equivalencia lógica, Implicación, Inversión lógica, Lógica, Lógica de primer orden, Lógica proposicional, Modus tollendo tollens, Número primo, Negación lógica, Premisa, Principio del tercero excluido, Proposición, Prueba por contradicción, Raíz cuadrada de dos, Reductio ad absurdum, Regla, Regla de inferencia, Sentencia (lógica), Tabla de verdad, Tautología, Valor de verdad.
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!!: Contraposición lógica y Antecedente (lógica) · Ver más »
Aristóteles
Aristóteles (en griego antiguo: Ἀριστοτέλης; en griego moderno: Αριστοτέλης; en latín: Aristoteles; Estagira, 384 a. C.-Calcis, 322 a. C.) fue un filósofo, polímata y científico griego nacido en la ciudad de Estagira, al norte de la Antigua Grecia.
¡Nuevo!!: Contraposición lógica y Aristóteles · Ver más »
Bicondicional
En algunos contextos en matemáticas y lógica, un bicondicional (equivalencia o doble implicación, en ocasiones abreviado en español como si y solo si) es un operador lógico binario, es decir, una función \leftrightarrow: B \times B \rightarrow B, siendo B cualquier conjunto con |B|.
¡Nuevo!!: Contraposición lógica y Bicondicional · 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!!: Contraposición lógica y Cálculo lógico · Ver más »
Conjunción lógica
En razonamiento formal, una conjunción lógica (\land) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en cierto solo si ambas proposiciones son ciertas, y en falso de cualquier otra forma.
¡Nuevo!!: Contraposición lógica y Conjunción lógica · Ver más »
Conmutatividad
En matemáticas, la propiedad conmutativa o conmutatividad es una propiedad fundamental que tienen algunas operaciones según la cual el resultado de operar dos elementos no depende del orden en el que se toman.
¡Nuevo!!: Contraposición lógica y Conmutatividad · Ver más »
Conversión lógica
Se dice convertir una proposición, en referencia a lo que tradicionalmente han sido los juicios aristotélicos, a la sustitución de los términos entre sí.
¡Nuevo!!: Contraposición lógica y Conversión lógica · Ver más »
Cuadrado perfecto
Un trinomio cuadrado perfecto en matemáticas, o un número cuadrado, es un número entero que es el cuadrado de algún otro; dicho de otro modo, es un número cuya raíz cuadrada es un número natural.
¡Nuevo!!: Contraposición lógica y Cuadrado perfecto · Ver más »
Cuadrilátero
En geometría del plano euclídeo, un cuadrilátero es un polígono con cuatro aristas y cuatro vértices (o de forma coloquial, con cuatro lados y cuatro esquinas).
¡Nuevo!!: Contraposición lógica y Cuadrilátero · Ver más »
Demostración en matemática
En matemáticas, una demostración o bien una prueba es un argumento deductivo para asegurar la verdad de una proposición matemática.
¡Nuevo!!: Contraposición lógica y Demostración en matemática · Ver más »
Equivalencia lógica
En lógica, las declaraciones p y q son lógicamente equivalentes si tienen el mismo contenido lógico.
¡Nuevo!!: Contraposición lógica y Equivalencia lógica · Ver más »
Implicación
Implicación (del latín implicare), en su uso común, es una afirmación que conlleva otra, sin que la segunda deba ser comunicada explícitamente.
¡Nuevo!!: Contraposición lógica e Implicación · Ver más »
Inversión lógica
La inversión lógica es una de las operaciones que la lógica clásica tradicional admitía como operación lógica válida.
¡Nuevo!!: Contraposición lógica e Inversión lógica · Ver más »
Lógica
La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.
¡Nuevo!!: Contraposición lógica y Lógica · 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!!: Contraposición lógica y Lógica de primer orden · 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!!: Contraposición lógica y Lógica proposicional · Ver más »
Modus tollendo tollens
El modus tollendo tollens (latín: "el modo que, al negar, niega", conocido como modus tollens, negación del consecuente o ley de contraposición) es una forma de argumento válida y una regla de inferencia en lógica proposicional.
¡Nuevo!!: Contraposición lógica y Modus tollendo tollens · Ver más »
Número primo
En matemáticas, un número primo es un número natural mayor que 1 que tiene únicamente dos divisores positivos distintos: él mismo y el 1.
¡Nuevo!!: Contraposición lógica y Número primo · Ver más »
Negación lógica
En lógica y matemática, la negación, también llamada complemento lógico, es una operación sobre proposiciones, valores de verdad, o en general, valores semánticos.
¡Nuevo!!: Contraposición lógica y Negación lógica · Ver más »
Premisa
Una premisa es cada una de las proposiciones anteriores a la conclusión del argumento.
¡Nuevo!!: Contraposición lógica y Premisa · Ver más »
Principio del tercero excluido
El principio del tercero excluido, propuesto y formalizado por Aristóteles, también llamado principio del cuarto excluido o excluso o en latín principium tertii exclusi o bien tertium non datur (“una tercera cosa no se da”), es un principio de lógica clásica según el cual si existe una proposición que afirma algo, y otra que lo contradice, una de las dos debe ser verdadera, y una tercera opción no es posible.
¡Nuevo!!: Contraposición lógica y Principio del tercero excluido · Ver más »
Proposición
En filosofía y lógica, el término proposición se usa para referirse a.
¡Nuevo!!: Contraposición lógica y Proposición · Ver más »
Prueba por contradicción
Se entiende que la prueba por contradicción es una forma de demostración utilizada en lógica proposicional del tipo indirecta y esta sigue los siguientes pasos cuando es aplicada para demostrar alguna afirmación.
¡Nuevo!!: Contraposición lógica y Prueba por contradicción · Ver más »
Raíz cuadrada de dos
La raíz cuadrada de 2 se define como el único número real positivo tal que, multiplicado por sí mismo, es igual a 2.
¡Nuevo!!: Contraposición lógica y Raíz cuadrada de dos · Ver más »
Reductio ad absurdum
Reductio ad absurdum, expresión latina que significa literalmente 'reducción al absurdo', es uno de los métodos lógicos de demostración más usado en matemáticas para demostrar la validez (o invalidez) de proposiciones categóricas.
¡Nuevo!!: Contraposición lógica y Reductio ad absurdum · Ver más »
Regla
El término regla (y su plural, reglas), derivado del latín regula, puede hacer referencia, ya sea para medir o calcular algún objeto asimétrico en esta enciclopedia.
¡Nuevo!!: Contraposición lógica y Regla · Ver más »
Regla de inferencia
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 devuelve una conclusión (o conclusiones).
¡Nuevo!!: Contraposición lógica y Regla de inferencia · Ver más »
Sentencia (lógica)
En lógica matemática, una sentencia de una lógica de predicados es una fórmula bien formada con valor booleano y sin variables libres.
¡Nuevo!!: Contraposición lógica y Sentencia (lógica) · 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!!: Contraposición lógica y Tabla de verdad · Ver más »
Tautología
En lógica proposicional, una tautología es una fórmula bien formada que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas.
¡Nuevo!!: Contraposición lógica y Tautología · 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!!: Contraposición lógica y Valor de verdad · Ver más »
Redirecciona aquí:
Contraposicion, Contraposicion logica, Contraposicion lógica, Contraposición, Contrapositiva, Contrarreciproco, Contrarrecíproco, Demostracion por contraposicion, Demostracion por contraposición, Demostración por contraposición.
