$$\large{\displaylines{\neg (p \vee q) \leftrightarrow (\neg p \wedge \neg q) \\ \\ \lnot \forall x \,P(x) \leftrightarrow \exists x \, \lnot P(x)}}$$
Обозначение сложного суждения
Символьные обозначения в математике
- Сложные суждения обозначаются с помощью логических формул
- Логические формулы состоят из нелогических символов (для обозначения высказываний, предикатов, функций и констант) и логических постоянных