Ответ:
Для истинности высказывания с квантором общности проверяют все элементы множества; для ложности достаточно найти контрпример. Для истинности высказывания с квантором существования достаточно привести один пример; для ложности нужно показать, что утверждение неверно для всех элементов.
| Значение истинности | \(\forall x\in X\;A(x)\) | \(\exists x\in X\;A(x)\) |
|---|---|---|
| И | \(A(x)\) истинно для каждого \(x\in X\). | Существует \(x\in X\), для которого \(A(x)\) истинно. |
| Л | Есть \(x\in X\), для которого \(A(x)\) ложно. | Для каждого \(x\in X\) высказывание \(A(x)\) ложно. |
