Re: [basex-talk] documentation flaw

[Christian Grün]

Hi Rob, you are right. I have replaced "or" with "and". Thanks for the
hint. – Best, Christian

On Sat, Aug 22, 2020 at 12:57 PM RobStapper  wrote:

> Hi,
>
>
>
> I have my doubts about the expressions used at  the “tertium non
> datur”-principle in the documentation [1].
>
> Or the expression should be “$a or not($a)” or the rewritten expression
> should be “false()” .
>
>
>
> [1]: https://docs.basex.org/wiki/XQuery_Optimizations#Pure_Logic
>
>
>
> Best regards,
>
>
>
> Rob Stapper
>
>
>
> Sent from Mail  for
> Windows 10
>
>
>
>
> 
>  Virus-free.
> www.avast.com
> 
> <#m_-2765550508791472733_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>
>

[basex-talk] documentation flaw

[RobStapper]

Hi,

I have my doubts about the expressions used at  the “tertium non 
datur”-principle in the documentation [1].
Or the expression should be “$a or not($a)” or the rewritten expression should 
be “false()” .

[1]: https://docs.basex.org/wiki/XQuery_Optimizations#Pure_Logic

Best regards,

Rob Stapper

Sent from Mail for Windows 10



--
This email has been checked for viruses by Avast antivirus software.
https://www.avast.com/antivirus