Welcome to the MathCheck course on writing claims using predicate logic! Before we start, please ensure that you have the following document continuously available: How to type symbols and commands. It will be frequently needed. If you click it now, it will open to a new browser window or tab.

Formulae in predicate logic talk about some domain of discourse. Our domain is integer arrays in the sense that they are used in programming languages. For the first set of questions, the array is called `A` and it is indexed from 1 to `n`. That is, its elements are `A[1]`, `A[2]`, …, `A[n]`.

Please write predicates that express the given claims. To help getting started, the first answer has already been given.

This file was generated 2017-08-16 12:27:54 UTC.