4 relaciones: Condicional material, Implicación, Implicación material, Lógica proposicional.
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!!: Implicación material (desambiguación) y Condicional material · 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!!: Implicación material (desambiguación) 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!!: Implicación material (desambiguación) e Implicación material · 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!!: Implicación material (desambiguación) y Lógica proposicional · Ver más »