Предметная область 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
    Л
    Л

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.