Un operador de implicación difusa o función de implicación expresa la relación que existe entre el antecedente y el consecuente de una regla. Una regla del tipo “si x es A entonces y es B” puede interpretarse como la relación difusa dada por: |
![]() |
donde |
Se han propuesto numerosas funciones de implicación difusas. La mayoría de ellas surgen como extensión de las implicaciones utilizadas en la lógica proposicional o en la lógica multivaluada (LMV) y de la elección de diferentes opciones para realizar las operaciones de intersección, unión y complemento de conjuntos: |
Funciones de implicación globales | ||
En la lógica proposicional tradicional una proposición sólo puede tomar los valores verdadero “V” o falso “F”. Una expresión del tipo “si p entonces q” se representa mediante la implicación (p
| ||
![]() |
![]() |
|
Usando el isomorfismo existente entre la lógica proposicional y la teoría de conjuntos, los conectivos
| ||
![]() |
![]() |