$$\large{\displaylines{\neg (p \vee q) \leftrightarrow (\neg p \wedge \neg q) \\ \\ \lnot \forall x \,P(x) \leftrightarrow \exists x \, \lnot P(x)}}$$

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

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

Сложные суждения обозначаются с помощью логических формул
Логические формулы состоят из нелогических символов (для обозначения высказываний, предикатов, функций и констант) и логических постоянных

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