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