Autor Tema: Comentarios a Lógica de primer orden

0 Usuarios y 1 Visitante están viendo este tema.

05 Abril, 2019, 09:58 pm
Respuesta #50

Carlos Ivorra

  • Administrador
  • Mensajes: 9,184
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
    • Página web personal
Hola Carlos, cuando dices que la variable \( y \) en \( t \) no es libre, ¿estas queriendo decir que la variable \( y \) en \( t \) hace referencia a la misma variable \( y \) en la fórmula \( \alpha \)?

No. Esto queriendo decir que la variable \( y \) no es libre en \( t \), lo cual no tiene nada que ver con \( \alpha \).

Por ejemplo, si \( t\equiv x\cup y \), entonces las variables \( x \) e \( y \) están libres en \( t \), y cualquier otra variable no lo está.