How to type symbols and commands (opens to a new tab)
Go back to main page
The array `A` is indexed from `1` to `n`. Write a predicate saying that `A` is in increasing order.
or
The array `C` is indexed from `0` to `k-1`. Write a predicate saying that `C` is in strictly increasing order.
The array `H` is indexed from `0` and has `l` elements. Write a predicate saying that `H` is a palindrome.
The array `Delta` is indexed from `0` to `i`. Write a predicate saying that `Delta` contains number `2` at least once.
The array `u` is indexed from `2` to `n-1`. Write a predicate saying that `u` contains at least two different values.
The array `b` is indexed from `-1` to `m-1`. Write a predicate saying that the first element of `b` is not the smallest element of `b`.
The array `xi` is indexed from `3` and contains `M` elements. Write a predicate saying that every element of `xi` occurs at least twice in `xi`.
The array `i` is indexed from `2` and contains `a+1` elements. Write a predicate saying that some value in `i` occurs only once in `i`.
The array `x` is indexed from `-5` to `a`. Write a predicate saying that location `-3` of `x` contains number `2`.
The array `Gamma` is indexed from `-2` to `g`. Write a predicate saying that the first and last elements of `Gamma` are equal.
The array `A` is indexed from `1` and has `n` elements. Write a predicate saying that the element in location `2` is minimal in `A`.
The array `E` is indexed from `1` and has `n` elements. Write a predicate saying that a smallest element of `E` is in location `i`.
The array `P` is indexed from `0` and has `N+1` elements. Write a predicate saying that `P` is in increasing order up to location `k` (which must exist), and from then on in decreasing order.
The array `H` is indexed from `-1` to `l`. Write a predicate saying that `H` is otherwise in increasing order, but the entries in locations `i` and `j` (where `i < j`) are in wrong order.
The array `H` is indexed from `5` to `m+2`. Answer both of the next two questions before submitting.
Write a predicate saying that a smallest element of `H` is `2`.
Write a predicate saying that the smallest element of `H` is `2`.