Для формулы (∀xPx→∀xQx)→∀x(Px→Qx)(∀xPx→∀xQx)→∀x(Px→Qx) ( \forall x Px \rightarrow \forall x Qx) \rightarrow \forall x (Px \rightarrow Qx) контр-моделью (моделью, в которой формула ЛОЖНА) является следующий набор условий: D = {1, 2, 3}

  • X
    1
    2
    3
    Px
    И
    И
    Л
  • X
    1
    2
    3
    Px
    Л
    Л
    Л
  • X
    1
    2
    3
    Qx
    И
    И
    И
  • X
    1
    2
    3
    Qx
    И
    Л
    Л
  • X
    1
    2
    3
    Рx
    Л
    Л
    Л

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