Какие из приведенных четырёх формул логики предикатов представлены в Сколемовской стандартной форме (ССФ)
- Все формулы представлены в ССФ
- Все формулы, кроме первой (она содержит импликацию)
- Все формулы, кроме первых двух (в них есть кванторы ∃)
- Ни одна из формул не представлена в ССФ