Problema 3.2 (Propagación de incertidumbres hacia atrás)
Dada una
asignación
![$v:P\rightarrow [0,1]$](img320.png)
y
![$m$](img90.png)
formas proposicionales con sus
respectivos valores asumidos bajo la asignación
![$v$](img109.png)
,
![$V_1=v\left(\phi_1\left(p_1,\ldots,p_n\right)\right), \ldots,
V_m=v\left(\phi_m\left(p_1,\ldots,p_n\right)\right)$](img351.png)
,
determinar los valores
![$v(p_1),\ldots,v(p_n)$](img352.png)
que han de haber asumido las
variables proposicionales bajo la asignación
![$v$](img109.png)
.