- #1

- 111

- 0

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter weetabixharry
- Start date

- #1

- 111

- 0

- #2

- 6,054

- 391

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

- 391

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

- #8

- 22,089

- 3,296

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

Good idea. It looks like a typo. So you should ask the author.

- #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?

Share: