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