Предметная область D = {1, 2, 3, 4}
предикат P определен так:
х
1
2
3
4
Px
Л
И
И
Л
Формула языка логики предикатов
∃x(Px∧∃y(Qx,y∧Qy,x))∃x(Px∧∃y(Qx,y∧Qy,x)) \exists x (Px \land \exists y (Qx, y \land Qy, x))
истинна для следующих интерпретаций предиката Q
- x\y
1
2
3
4
1
И
И
И
И
2
Л
Л
Л
Л
3
И
Л
Л
Л
4
И
Л
Л
И
- x\y
1
2
3
4
1
И
Л
Л
И
2
И
Л
Л
Л
3
И
И
Л
И
4
Л
Л
Л
Л
- x\y
1
2
3
4
1
Л
И
Л
Л
2
Л
Л
Л
Л
3
Л
Л
Л
Л
4
И
И
И
И
- x\y
1 2
3 4
1
Л Л
Л Л
2
И Л
И Л
3
И И
Л И
4
И Л
Л И
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.