Формула логики предикатов называется общезначимой (или тождественно истинной, или просто истинной), если она
- истинна для всякой области Ω и для всяких предикатов
- истинна для данной области Ω и для всех предикатов, на ней определенных
- истинна для некоторой области Ω и некоторых предикатов, на ней определенных
- ни для какой области ни при каких заменах предикатов не является истинной
Для просмотра статистики ответов нужно
залогиниться.