(diapositiva 22 notas de semántica)
No termino de comprender este teorema. Cual sería el propósito del mismo?
Esas sustituciones que aparecen ahí no se podrían realizar - si no estoy entendiendo mal-. Cual sería el sentido de que aparezca en el enunciado del teorema algo que no se puede hacer?