В модели М:
D = {1, 2, 3, 4}
Одноместные предикаты "Px" и "Qx"
Х
1
2
3
4
Px
Л
И
И
Л
Qx
И
И
И
Л
и двухместный предикат Rx, y
Х\Y
1
2
3
4
1
И
И
И
Л
2
И
И
И
Л
3
И
И
Л
Л
4
Л
И
Л
Л
являются ИСТИННЫМИ следующие формулы...