- #1

- 111

- 0

## Main Question or Discussion Point

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]

- Thread starter weetabixharry
- Start date

- #1

- 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]

- #2

- 6,054

- 390

It is negation of [tex]\Vdash[/tex] and the latter means "entails".

- #3

- 111

- 0

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."It is negation of [tex]\Vdash[/tex] and the latter means "entails".

I can't see how that applies to my example (which is not in the form[itex]A \nVdash B[/itex]).

- #4

Bacle2

Science Advisor

- 1,089

- 10

How about : the cases described are excluded, i.e., the definition excludes the

cases n=k=0 ?

cases n=k=0 ?

- #5

- 111

- 0

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]How about : the cases described are excluded, i.e., the definition excludes the

cases n=k=0 ?

- #6

- 111

- 0

[tex]R_{n,0,k}=\left\{

\begin{array}{c}

1, \\

0,

\end{array}

\begin{array}{l}

\text{if }n=k=0 \\

\text{otherwise}

\end{array}

\right. [/tex]

[tex]R_{n,j,0}=\left\{

\begin{array}{c}

1, \\

0,

\end{array}

\begin{array}{l}

\text{if }n=j \\

\text{otherwise}

\end{array}

\right.[/tex]

Even if this is correct, there are other bits of notation that I don't understand... but I suppose I should start a new thread, as this one seems pretty dead.

- #7

- 6,054

- 390

Why don't you get in touch with the author of the article?

- #8

- 22,097

- 3,280

Good idea. It looks like a typo. So you should ask the author.Why don't you get in touch with the author of the article?

- #9

- 111

- 0

Yeah, I've E-mailed the author... fingers crossed that I get a reply, I suppose.Why don't you get in touch with the author of the article?

- Last Post

- Replies
- 20

- Views
- 11K

- Last Post

- Replies
- 4

- Views
- 28K

- Last Post

- Replies
- 8

- Views
- 38K

- Last Post

- Replies
- 3

- Views
- 67K

- Replies
- 8

- Views
- 1K

- Replies
- 6

- Views
- 5K

- Replies
- 1

- Views
- 51K

- Last Post

- Replies
- 17

- Views
- 4K

- Last Post

- Replies
- 3

- Views
- 1K

- Last Post

- Replies
- 4

- Views
- 1K