juanreutter / L-gica2020

para postear issues de logica
2 stars 0 forks source link

Correcta definición de fórmulas y utilizar correctamente una fórmula en una oración #20

Open jgespinosa10 opened 4 years ago

jgespinosa10 commented 4 years ago

Profesor,

tengo dudas de como escribir la fórmula u oración de manera que esté correcta y formalmente escrita.

  1. Si quiero definir beta por ejemplo, ¿la puedo definir de la siguiente forma o se define de otra forma?

beta = (i=x)

Siendo por ejemplo, i la variable libre en este caso y x una constante.

  1. Si quiero utilizar beta en otra fórmula u oración reemplazando su variable libre. Lo escribo de la siguiente manera?

gamma = beta(x= i)^...

Saludos y gracias

juanreutter commented 4 years ago

Hola, beta = (i = x) es una formula que es verdad cuando la variable i se asigna al el elemento que interpreta a la constante x en la estructura (trata mejor de usar x,y,z para variables y letras a,b,c para constantes, es una convención pero ayuda).

De acuerdo a beta = (i = x), la forma seria gamma = beta ^ otra cosa

En las notas yo defino como beta(i): (i = x) y entonces tengo que usar gamma = beta(i) ^ otra cosa.

Nuevamente, es una convención pero a mi me gusta más por que clarifico que beta tiene la variable libre i.

juanreutter commented 4 years ago

Hola, beta = (i = x) es una formula que es verdad cuando la variable i se asigna al el elemento que interpreta a la constante x en la estructura (trata mejor de usar x,y,z para variables y letras a,b,c para constantes, es una convención pero ayuda).

De acuerdo a beta = (i = x), la forma seria gamma = beta ^ otra cosa

En las notas yo defino como beta(i): (i = x) y entonces tengo que usar gamma = beta(i) ^ otra cosa.

Nuevamente, es una convención pero a mi me gusta más por que clarifico que beta tiene la variable libre i.