55 relaciones: Antecedente (lógica), Álgebra de Boole, Bertrand Russell, Bicondicional, Causalidad (filosofía), Complemento de un conjunto, Condicional estricto, Condicional indicativo, Conectiva lógica, Conmutatividad, Consecuencia lógica, Consecuente, Contrafactual, Diferencia de conjuntos, Distributividad, Empirismo lógico, Equivalencia lógica, Español coloquial, Función de verdad, Gottlob Frege, Harvard University Press, Idempotencia, Implicación, Implicación material, Instituto Politécnico de Grenoble, Lógica clásica, Lógica de primer orden, Lógica intuicionista, Lógica matemática, Lógica no monotónica, Lógica proposicional, Lógica relevante, Leyes de De Morgan, Ludwig Wittgenstein, Modo indicativo (gramática), Modo subjuntivo, Modus ponendo ponens, Notación polaca, Paradojas de la implicación material, Proposición, Relación transitiva, Sentencia (lógica), Sentencia condicional, Sistema formal, Stanford Encyclopedia of Philosophy, Subconjunto, Tabla de verdad, Tautología, Teoría de conjuntos, Teorema de la deducción, ..., Torniquete (símbolo), Tractatus logico-philosophicus, Unión de conjuntos, Valor de verdad, Verdad vacua. Expandir índice (5 más) »
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!!: Condicional material y Antecedente (lógica) · Ver más »
Álgebra de Boole
En matemáticas, electrónica digital e informática, el álgebra de Boole, también llamada álgebra booleana, es una estructura algebraica que esquematiza operaciones lógicas.
¡Nuevo!!: Condicional material y Álgebra de Boole · Ver más »
Bertrand Russell
Bertrand Arthur William Russell (Trellech, Monmouthshire; 18 de mayo de 1872-Penrhyndeudraeth, Gwynedd, 2 de febrero de 1970) fue un filósofo, matemático, lógico y escritor británico, ganador del Premio Nobel de Literatura.
¡Nuevo!!: Condicional material y Bertrand Russell · 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!!: Condicional material y Bicondicional · Ver más »
Causalidad (filosofía)
La causalidad es la "relación necesaria existente entre causa y efecto.
¡Nuevo!!: Condicional material y Causalidad (filosofía) · Ver más »
Complemento de un conjunto
El complemento de un conjunto o conjunto complementario es otro conjunto que contiene todos los elementos que no están en el conjunto original.
¡Nuevo!!: Condicional material y Complemento de un conjunto · Ver más »
Condicional estricto
En lógica, el condicional estricto es un condicional material sobre el que opera un operador de necesidad.
¡Nuevo!!: Condicional material y Condicional estricto · Ver más »
Condicional indicativo
En lenguas naturales, un condicional indicativo es la operación lógica dada por enunciados de la forma "Si A entonces B".
¡Nuevo!!: Condicional material y Condicional indicativo · 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!!: Condicional material y Conectiva 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!!: Condicional material y Conmutatividad · 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!!: Condicional material 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!!: Condicional material y Consecuente · Ver más »
Contrafactual
En lógica, más particularmente en lógica modal y en otras disciplinas (historia, lingüística, física, economía, cosmología, etc.), se denomina contrafactual o contrafáctico a todo acontecimiento o a toda situación que no ha sucedido en el universo actualmente observable por la investigación humana, pero que podría haber ocurrido (la situación o acontecimiento fácticos o fenoménicamente existentes son llamados por este motivo, algo ambiguamente, «actuales»).
¡Nuevo!!: Condicional material y Contrafactual · Ver más »
Diferencia de conjuntos
En teoría de conjuntos, la diferencia de dos conjuntos es una operación que da como resultado otro conjunto con los elementos del primer conjunto sin los elementos del segundo conjunto.
¡Nuevo!!: Condicional material y Diferencia de conjuntos · Ver más »
Distributividad
En matemáticas, la distributividad es la propiedad de las operaciones binarias que generaliza la propiedad distributiva del álgebra elemental.
¡Nuevo!!: Condicional material y Distributividad · Ver más »
Empirismo lógico
El empirismo lógico, también llamado neopositivismo o positivismo lógico, es una corriente en la filosofía de la ciencia que limita la validez del método científico a lo empírico y verificable.
¡Nuevo!!: Condicional material y Empirismo lógico · 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!!: Condicional material y Equivalencia lógica · Ver más »
Español coloquial
En el uso de la lengua española, se conoce como español coloquial al registro informal que se utiliza en la vida cotidiana.
¡Nuevo!!: Condicional material y Español coloquial · Ver más »
Función de verdad
En lógica matemática, una función de verdad es una función que toma un conjunto de valores de verdad y devuelve un valor de verdad.
¡Nuevo!!: Condicional material y Función de verdad · Ver más »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (Wismar, 8 de noviembre de 1848 - Bad Kleinen, 26 de julio de 1925) fue un matemático, lógico y filósofo alemán.
¡Nuevo!!: Condicional material y Gottlob Frege · Ver más »
Harvard University Press
Harvard University Press (HUP) es una editorial fundada el 13 de enero de 1913, como una división de la Universidad de Harvard, y especializada en publicaciones académicas.
¡Nuevo!!: Condicional material y Harvard University Press · Ver más »
Idempotencia
En matemática y lógica, la idempotencia es la propiedad para realizar una acción determinada varias veces y aun así conseguir el mismo resultado que se obtendría si se realizase una sola vez.
¡Nuevo!!: Condicional material e Idempotencia · 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!!: Condicional material e Implicación · Ver más »
Implicación material
En lógica proposicional, la implicación material o definición del condicional es una regla de reemplazo válida que permite que una declaración condicional sea sustituida por una disyunción si y solo si el antecedente es negado.
¡Nuevo!!: Condicional material e Implicación material · Ver más »
Instituto Politécnico de Grenoble
El Instituto Politécnico de Grenoble o INP de Grenoble (en francés: Institut polytechnique de Grenoble) es un sistema universitario tecnológico francés formado por ocho escuelas de ingeniería y gestión.
¡Nuevo!!: Condicional material e Instituto Politécnico de Grenoble · Ver más »
Lógica clásica
Una lógica clásica o lógica estándar es un sistema formal que respeta los siguientes principios.
¡Nuevo!!: Condicional material y Lógica clásica · 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!!: Condicional material y Lógica de primer orden · Ver más »
Lógica intuicionista
La lógica intuicionista, o lógica constructivista, es el sistema lógico originalmente desarrollado por Arend Heyting para proveer una base formal para el proyecto intuicionista de Brouwer.
¡Nuevo!!: Condicional material y Lógica intuicionista · 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!!: Condicional material y Lógica matemática · Ver más »
Lógica no monotónica
Una lógica no monotónica, o lógica no monótona, es un sistema lógico cuya relación de consecuencia lógica es no monotónica.
¡Nuevo!!: Condicional material y Lógica no monotónica · 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!!: Condicional material y Lógica proposicional · Ver más »
Lógica relevante
La lógica relevante, también llamada lógica de relevancia, es toda lógica perteneciente a una de las familias de lógicas sub-estructurales no clásicas que impone ciertas restricciones en la implicación.
¡Nuevo!!: Condicional material y Lógica relevante · Ver más »
Leyes de De Morgan
En lógica proposicional y álgebra de Boole, las leyes de De Morgan son un par de reglas de transformación que son ambas reglas de inferencia válidas.
¡Nuevo!!: Condicional material y Leyes de De Morgan · Ver más »
Ludwig Wittgenstein
Ludwig Josef Johann Wittgenstein (Viena, 26 de abril de 1889-Cambridge, 29 de abril de 1951), conocido como Ludwig Wittgenstein, fue un filósofo, matemático, lingüista y lógico austríaco, posteriormente nacionalizado británico.
¡Nuevo!!: Condicional material y Ludwig Wittgenstein · Ver más »
Modo indicativo (gramática)
El modo indicativo es un modo gramatical que tienen diversas lenguas que distinguen las modalidades "realis" frente a "irrealis", entre ellas muchas lenguas indoeuropeas.
¡Nuevo!!: Condicional material y Modo indicativo (gramática) · Ver más »
Modo subjuntivo
El modo subjuntivo es un modo gramatical presente en muchas lenguas con diferentes valores, entre los cuales suelen estar las afirmaciones hipotéticas, inciertas, o los deseos; todos ellos caracterizados por el rasgo irrealis, que se opone al rasgo realis del indicativo.
¡Nuevo!!: Condicional material y Modo subjuntivo · 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!!: Condicional material y Modus ponendo ponens · Ver más »
Notación polaca
La notación polaca, también conocida como notación de prefijo o notación prefija, es una forma de notación para la lógica, la aritmética, el álgebra y la computación.
¡Nuevo!!: Condicional material y Notación polaca · Ver más »
Paradojas de la implicación material
Las paradojas de la implicación material son un conjunto de fórmulas de la lógica proposicional, reconocidas como verdades lógicas, pero que golpean al sentido común como cuestionables, o incluso absurdas.
¡Nuevo!!: Condicional material y Paradojas de la implicación material · Ver más »
Proposición
En filosofía y lógica, el término proposición se usa para referirse a.
¡Nuevo!!: Condicional material y Proposición · Ver más »
Relación transitiva
Una relación binaria R sobre un conjunto A es transitiva cuando se cumple: siempre que un elemento se relaciona con otro y este último con un tercero, entonces el primero se relaciona con el tercero.
¡Nuevo!!: Condicional material y Relación transitiva · 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!!: Condicional material y Sentencia (lógica) · Ver más »
Sentencia condicional
Los tipos más conocidos de sentencias condicionales son el SI..ENTONCES (if..then), el SI..ENTONCES..SI NO (if..then..else) y el SEGÚN (case o switch), aunque también podríamos mencionar al manejo de excepciones como una alternativa más moderna para evitar el "anidamiento" de carne condicionales.
¡Nuevo!!: Condicional material y Sentencia condicional · 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!!: Condicional material y Sistema formal · Ver más »
Stanford Encyclopedia of Philosophy
La Enciclopedia de filosofía de Stanford (SEP) es una enciclopedia de libre acceso en línea mantenida por la Universidad de Stanford.
¡Nuevo!!: Condicional material y Stanford Encyclopedia of Philosophy · Ver más »
Subconjunto
es subconjunto de otro conjunto si todos los elementos de pertenecen también a. Decimos entonces que «está contenido» dentro de.
¡Nuevo!!: Condicional material y Subconjunto · 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!!: Condicional material 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!!: Condicional material y Tautología · Ver más »
Teoría de conjuntos
La teoría de conjuntos es una rama de laNlab lógica matemática que estudia las propiedades y relaciones de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en sí mismas.
¡Nuevo!!: Condicional material y Teoría de conjuntos · 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!!: Condicional material y Teorema de la deducción · Ver más »
Torniquete (símbolo)
En lógica matemática y ciencias de la computación, el símbolo \vdash se llama torniquete, por su semejanza con un torniquete o molinillo observado desde arriba.
¡Nuevo!!: Condicional material y Torniquete (símbolo) · Ver más »
Tractatus logico-philosophicus
El Tractatus Logico-Philosophicus es el título de una obra de Ludwig Josef Johann Wittgenstein.
¡Nuevo!!: Condicional material y Tractatus logico-philosophicus · Ver más »
Unión de conjuntos
En la teoría de conjuntos, la unión de dos (o más) conjuntos es una operación que resulta en otro conjunto, cuyos elementos son los mismos de los conjuntos iniciales.
¡Nuevo!!: Condicional material y Unión de conjuntos · 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!!: Condicional material y Valor de verdad · Ver más »
Verdad vacua
En matemática y lógica, una verdad vacua o verdad vacía es una declaración que afirma que todos los miembros del conjunto vacío poseen cierta propiedad.
¡Nuevo!!: Condicional material y Verdad vacua · Ver más »
Redirecciona aquí:
Condicion (logica), Condicion (lógica), Condición (lógica), Implicacion material.