(Checking your translations) Open Bolzano's World . Notice that all the English sentences from Exercise 7.12 are true in this world. Thus, if your translations are accurate, they will also be true in this world. Check to see that they are. If you made any mistakes, go back and fix them. Remember that even if one of your sentences comes out true in Bolzano's World, it does not mean that it is a proper translation of the corresponding English sentence. If the translation is correct, it will have the same truth value as the English sentence in every world. So let's check your translations in some other worlds. Open Wittgenstein's World . Here we see that the English sentences 3, 5, 9, 11, 12, 13, 14. and 20 are false, while the rest are true. Check to see that the same holds of your translations. If not, correct your translations (and make sure they are still true in Bolzano's World ). Next open Leibniz's World. Here half the English sentences are true (1, 2, 4, 6, 7, 10, 11, 14, 18, and 20) and half false (3, 5, 8, 9, 12, 13, 15, 16, 17, and 19). Check to see that the same holds of your translations. If not, correct your translations. Finally, open Venn's World . In this world, all of the English sentences are false. Check to see that the same holds of your translations and correct them if necessary. There is no need to submitany files for this exercise, but don't forget to submit Sentences 7.12