This task supports students' understanding of the relationship between the truth set of an implication and its negation.
