Implicación

La implicación puede referirse a:

• Consecuencia lógica (también implicación lógica), la relación entre enunciados que se cumple cuando uno se "deduce lógicamente" de otro o más enunciados.
• Condicional material (también implicación material), una función de verdad binaria y conectiva lógica que normalmente se interpreta como "Si p , entonces q ".
  • Implicación material (regla de inferencia) , una regla lógica de reemplazo.
  • Cálculo proposicional implicacional , una versión del cálculo proposicional clásico que utiliza únicamente el conector condicional material.
• Condicional estricto o implicación estricta, un conector de la lógica modal que expresa necesidad.
• Modus ponens , o eliminación de la implicación, una forma simple de argumento y regla de inferencia que se resume como " p implica q ; se afirma que p es verdadero, por lo tanto q debe ser verdadero".

• Implicatura , aquello que se sugiere en un enunciado, aunque no esté expresado ni estrictamente implícito.
• Universal implicacional o universal lingüístico, un patrón que se presenta sistemáticamente en todas las lenguas naturales.
  • Jerarquía implicacional , una cadena de universales implicacionales; si un lenguaje tiene una propiedad, entonces también tiene otras propiedades en la cadena.
• Implicación (pragmática) o implicación estricta, la relación entre dos oraciones donde la verdad de una requiere la verdad de la otra.

• Tabla de implicaciones , una herramienta utilizada para facilitar la minimización de estados en una máquina de estados.
• Grafo de implicación , un grafo dirigido antisimétrico utilizado para analizar expresiones booleanas complejas.
• Implicación (ciencia de la información)

• Implicación material (desambiguación)
• Implícito (desambiguación)