Предметная область D = {1, 2, 3, 4}Формула языка логики предикатов∃x(Px∧Qx)→∀x(Px∨Qx)∃x(Px∧Qx)→∀x(Px∨Qx) \exists x (Px \land Qx)\rightarrow \forall x (Px \lor 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
    Л
    И

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