A Logical Introduction to Proof
Daniel Cunningham
Emily writes poetry and James doesn't write poetry. Either Emily writes poetry and
James doesn't, or James writes poetry and Emily doesn't. Dan and Mary are both
correct. Dan and Mary are both not correct. Dan and Mary are not both correct.