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

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