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

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