Для формулы (∀xPx→∀xQx)→∀x(Px→Qx)(∀xPx→∀xQx)→∀x(Px→Qx) ( \forall x Px \rightarrow \forall x Qx) \rightarrow \forall x (Px \rightarrow Qx) контр-моделью (моделью, в которой формула ЛОЖНА) является следующий набор условий: D = {1, 2, 3}
- X
1
2
3
Px
И
И
Л
- X
1
2
3
Px
Л
Л
Л
- X
1
2
3
Qx
И
И
И
- X
1
2
3
Qx
И
Л
Л
- X
1
2
3
Рx
Л
Л
Л
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.