Какова последовательность кванторов в выражении «всяк сверчок знает свой шесток», если переменной x обозначен сверчок, переменной y – шесток, а предикат P(x,y) означает что сверчок x знает (ему подходит этот) шесток y?

  • ∀x∀yP(x,y)
  • ∀x∃yP(x,y)
  • ∃x∀yP(x,y)
  • ∃x∃yP(x,y)

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