Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/ii/paper-2/16j/d/solution

A direct case split in the linearly ordered chain verifies types 1 and 2. Peirce's value is from part (a); for , choose , obtaining . Thus type 3 need not be -valid.

New to topics? Read the docs here!