- #1
weetabixharry
- 111
- 0
I would like to know what this symbol means:[tex]\nVdash[/tex]Specifically, in the main result of [link] (Theorem 1, at the top of p.4), it has:[tex]\nVdash(n=k=0)[/tex]
Yes, I saw the [itex]\Vdash[/itex] symbol listed as "entails" in Wikipedia's list of mathematical symbols. However, in that article, the explanation is "A [itex]\Vdash[/itex] B means the sentence A entails the sentence B, that is in every model in which A is true, B is also true."voko said:It is negation of [tex]\Vdash[/tex] and the latter means "entails".
This still does not seem to make sense in the given context. The relevant phrase in full is:[tex]\mathrm{where \ } R_{n,0,k}(x) \ := \ \nVdash(n=k=0), \ \ R_{n,j,0} \ := \ \nVdash(n=j) \mathrm{ \ \ and \ \ } R_{n,j,k} \ := \ 0 \ \mathrm{else}[/tex]Bacle2 said:How about : the cases described are excluded, i.e., the definition excludes the
cases n=k=0 ?
voko said:Why don't you get in touch with the author of the article?
Yeah, I've E-mailed the author... fingers crossed that I get a reply, I suppose.voko said:Why don't you get in touch with the author of the article?
The symbol "x" typically represents an unknown quantity or a variable in mathematics.
The symbol "Δ" is commonly used to represent the change in a quantity or a difference between two values in mathematics and physics.
The symbol "☀" represents the sun in astronomy and can also be used to indicate warmth, happiness, or positivity in other contexts.
The symbol "∞" stands for infinity, which represents something that has no end or is limitless in mathematics and philosophy.
The symbol "©" is the copyright symbol and is used to indicate ownership or protection of original works.