Proposal: 26 is too limiting
Fails 2-3 with one unresolved DEF. — Quirck
Adminned at 17 Jun 2013 10:21:56 UTC
In the rule ‘Formulae’ after
A Variable is a single lowercase letter
add
or sequence of lowercase letters surrounded by a pair of parenthesis ( “(” and “)”)”
also append the following to the the first paragraph of ‘Formulae’
Connectives may not contain parenthesis or brackets.
Unless we’re expecting a variable to only exist within the scope of a formula, its too limiting. If we want to start defining global values we need a way to have more legal variables.
, though I think the parentheses seem unnecessary,
I don’t really like parenthesis for variable names either. Maybe italicized/underlined (if we could do that), but I think parenthesis and brackets are useful and necessary for other things that might make this rule confusing.
Sphinx:
Maybe we can make all single-letter variables only local and global variables like you said? Or, global variables are created by simply using caps? (“THIS” would be a global variable). Just tossing in some ideas, because I think it might make more complicated proofs quite hard to read if you have [] brackets and () brackets meaning different things. I don’t know, but I would like a different sign than brackets, maybe * or # or something…