Para ser una restricción significativa, creo que también tendrías que eliminar cualquier regla de sustitución. De lo contrario, se podrían crear variables libres según sea necesario.
También tendría que responder la pregunta sobre cómo se introducen las variables libres, para permitir cualquier especificación universal. Por ejemplo, si todavía permite la especificación existencial, entonces se puede aprovechar para crear variables libres. O, si las reglas de inferencia permiten la introducción de premisas, eso también hace que la restricción propuesta no tenga sentido, ya que cualquier nueva variable libre podría introducirse como premisa.
Entonces, aunque no puedo decir definitivamente que nadie haya propuesto nunca una idea así, parece demasiado restrictiva (la regla nunca se puede aplicar) o no es restrictiva en absoluto (la restricción siempre se puede solucionar), dependiendo del contexto.
- ¿Qué es estocástico en matemáticas?
- ¿Podemos cambiar el orden del operador supremum? Deje que [math] a = \ sup_x \ sup_y f (x, y) [/ math] y [math] b = \ sup_y \ sup_x f (x, y) [/ math]. ¿Es siempre el caso que [matemáticas] a = b [/ matemáticas]? Si no es así, ¿en qué condiciones es el caso que [matemáticas] a = b [/ matemáticas]?
- Suponga que está ubicado en el centro exacto de un cubo y se mueve hacia una de las paredes y ahora está a medio camino entre él y el centro del cubo. ¿Qué fracción de su campo de visión ahora ocupa el muro más cercano?
- ¿Cómo se puede resolver el rompecabezas de los cien dragones de ojos verdes?
- ¿Qué es (a + b) ^ (1/2)?