¿Esta deducción está correctamente escrita como una aplicación de la regla =elim?
$t_1=t_3 \qquad Assumption$
$E\left[t_1/y_1,t_2/y_2\right]=E\left[t_1/y_1,t_2/y_2\right] \qquad = Intro$
$E\left[t_1/y_1,t_2/y_2\right]=E\left[t_3/y_1,t_2/y_2\right] \qquad = Elim \: 1,2$
Siendo E una expresión y $E[t_1/y_1,t_2/y_2]$ es la expresión obtenida de E sustituyendo cada ocurrencia libre de $y_1$ y cada ocurrencia libre de $y_2$ , en orden por $t_1$ y $t_2$ .
Bien, entonces $E$ es un término complejo, por ejemplo $E=f(y_1,y_2)$ y así en la línea 2 sólo tienes:
$f(t_1,t_2)=f(t_1,t_2)$
Y en la línea 3, utilizando $= Elim$ En la 1 y la 2, tienes:
$f(t_1,t_2)=f(t_3,t_2)$
Eso es correcto, sí.
Además, tenga en cuenta que no tiene que sustituir todo ocurrencias de $t_1$ sur $E$ con $t_3$ . Si se sustituyen sólo algunos de ellos, sigue siendo una aplicación correcta de $= Elim$ .
I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
