Is Not Necessarily Equal To
At lunch at Nuffield I was just asking MM about some math notation I'd like: a symbol for "is not necessarily equal to". For example, and economics paper might show the following:
Proposition: Stocks with equal risks might or might not have the same returns. In the model's notation, x IS NOT NECESSARILY EQUAL TO y.
(or L) for Necessarily and 
(or M) for Possibly."Labels: math, notation, statistics, writing
To view the post on a separate page, click:
at
10/04/2007 09:06:00 AM (the permalink).
4 Comments:
Couldn't you just stack <>=? This is available in Sci Workplace.
You could use in conjunction standard modal logic operators (square for 'it is necessarily the case that', diamond for 'it is possibly the case that')?
KIM
ztipypBUT (wrt 7/10) modal operators traditionally take propositions as their arguments; they are not relation-modifiers. This surely fits more closely with the original query? The original concern is with the status of an ‘a=b’ claim, not the thought that ‘a’ and ‘b’ are in some new, undefined, relation??
Further a new ‘a ? b’ relation remains undefined until we specify its entailments. [Propositional modal logic does provide a structure of entailments - - and plenty of (possibly relevant) fretting about the consistency of meaning of ‘necessary’ ]
?
Post a Comment
Links to this post:
Create a Link
<< Home