$$\large{\begin{gather*}\neg (p \vee q) \leftrightarrow (\neg p \wedge \neg q) \\ \\ \lnot \forall x \,P(x) \leftrightarrow \exists x \, \lnot P(x)\end{gather*}}$$

Обозначение сложного суждения

Символьные обозначения в математике

Для обозначения сложных суждений в математике используются специальные логические формулы
Нелогические символы формул — это символы суждений, предикатов, функций и констант
Логические постоянные формул — это союзы, кванторы, скобки и константы истинности

. . . суждение сложное суждение