Problema 2.1 (de deducción)
Para un conjunto definible
![$F(A_1, \ldots, A_n)$](img65.png)
y un objeto dado
![$x$](img7.png)
, si se sabe que cada grado de pertenencia
![$g_{A_i}(x)$](img69.png)
cae en un intervalo
![$[a_i,b_i]$](img70.png)
, entonces se ha de estimar en qué intervalo
![$I$](img71.png)
ha de caer el grado de pertenencia
![$g_{F(A_1, \ldots, A_n)}(x)$](img68.png)
.
Problema 2.2 (de inferencia)
Para un conjunto definible
![$F(A_1, \ldots, A_n)$](img65.png)
y un objeto dado
![$x$](img7.png)
, si se sabe que el grado de pertenencia
![$g_{F(A_1, \ldots, A_n)}(x)$](img68.png)
cae en un intervalo
![$I$](img71.png)
, y que para algunos conjuntos primitivos
![$A_k,A_{k+1},\ldots,A_n$](img72.png)
sus correspondientes grados de pertenencia
![$g_{A_i}(x)$](img69.png)
caen en intervalos
![$[a_i,b_i]$](img70.png)
,
![$i=k,\ldots,n$](img73.png)
, entonces se ha de estimar para los otros índices
![$i=1,\ldots,k-1$](img74.png)
en qué intervalos
![$[a_i,b_i]$](img70.png)
debieron caer los correspondientes grados de pertenencia
![$g_{A_i}(x)$](img69.png)
.