[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[lojban] Distinguishing between free and bound variables



Alt title: distinguishing between variables and metavariables.

If I say, in English "Surely you don't mean x.", it is clear (from context) that "x" is a metavariable, standing in for a potential _expression_, and not a variable bound to an actual _expression_.

Any suggestions on how to model that distinction in lojban?

--
mu'o mi'e .arpis.

--
You received this message because you are subscribed to the Google Groups "lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.