Present a predicate calculus formalization for the Mutilated Checkerboard Problem (Exercise 3–8), and describe how it might be used to prove the checkerboard cannot be covered by the tiles as required.

Exercise 3–8

Show that it is impossible to completely cover the "mutilated-checkerboard" with 1 x 2 tiles so that the tiles neither overlap nor stick out over the edge of the board.