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

Re: [tlaplus] TLA+ logic

When you are in doubt with a formal system, look at the formal definition of its syntax and at its system
of axioms and inference rules.
Looking at the concept of operators just reminds me that "operators" and functions are
two different things. Look at the syntax. In fact you can quantify over a variable that denotes
a function. It's over an operator that you can't quantify.