Implicación

Implicación puede referirse a:

Lógica

• Consecuencia lógica (también implicación o implicación lógica), la relación entre afirmaciones que es verdadera cuando uno lógicamente "sigue de" uno o más otros
• Material condicional (también consecuencia material, o implicación), una función lógica conjuntiva y binaria de la verdad típicamente interpretada como "Si p, entonces q"
  • implicación material (regla de inferencia), una regla lógica de sustitución
  • Cálculo proposicional implicacional, una versión de cálculo proposicional clásico que utiliza sólo el conector condicional material
• Implicación estricta condicional o estricta, un conector de lógica modal que expresa necesidad
• modus ponens, o eliminación de implicación, una forma de argumento simple y la regla de inferencia resumido como "p implicación q; p se afirma que es verdad, por lo tanto q debe ser verdad"

Lingüística

• Implicatura, lo que se sugiere en una pronunciación, aunque no sea expresada ni estrictamente implícita
• universal o lingüístico implicativo, patrón que ocurre sistemáticamente en los idiomas naturales
  • Jerarquía implica, una cadena de universales implicacionales; si un idioma tiene una propiedad entonces también tiene otras propiedades en la cadena
• Entailment (pragmatics) or strict implication, the relationship between two sentences where the truth of one requires the truth of the other

Otros usos

• Tabla de implicación, una herramienta utilizada para facilitar la minimización de estados en una máquina estatal
• Gráfico de implicación, un gráfico dirigido simétrico de un puño utilizado para analizar expresiones booleanas complejas
• Implicación (ciencia de la información)