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