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 r.stapper@lijbrandt.nl 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()” .
Best regards,
Rob Stapper
Sent from Mail https://go.microsoft.com/fwlink/?LinkId=550986 for Windows 10
https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=emailclient&utm_term=icon Virus-free. www.avast.com https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=emailclient&utm_term=link <#m_-2765550508791472733_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>