My open access logic textbook, forall x, has been forked into numerous custom editions. This means that problem sets which I wrote years ago have been picked up and adapted.
The formal exercises are not especially distinctive, but the exercises translating from English into formal logic are about specific topics. Some of these were arbitrary inventions, like the sentences about Eli and Francesca who might or might not be bringing guacamole to a potluck. Guacamole was salient to me when I was writing the book, but I think I chose Eli and Francesca just because they started with E and F.
Continue reading “Let slip the dogs of logic”