Talk:De Morgan's Laws (Predicate Logic)

Notation

Would it make sense to put negated expressions in parenthesis, i.e. $\neg \paren {\exists x: \neg \map P x}$ instead of $\neg \exists x: \neg \map P x$? Since I am not trained in set theory, it took me some time to realize that $\neg \exists x$ does not make sense on its own. Or maybe we could leave a note at the bottom of De Morgan's Laws (Predicate Logic) to avoid imposing such a style everywhere else by hand?--Julius (talk) 15:53, 3 February 2021 (UTC)

Good call. Because $\neg \exists x: \neg \map P x$ in practice can only mean $\neg \paren {\exists x: \neg \map P x}$, I did not stop to think it might be confusing. But as you say, if you have not studied this stuff in detail, it's got a lot of potential to be horribly confusing. I'll take a deeper look at this. --prime mover (talk) 16:21, 3 February 2021 (UTC)

How's that? --prime mover (talk) 16:35, 3 February 2021 (UTC)

That is exactly what I wanted. Thanks.--Julius (talk) 19:14, 3 February 2021 (UTC)