Exercise E

Give a symbolization key and symbolize the following English sentences in TFL.

1. Alice and Bob are both spies.

2. If either Alice or Bob is a spy, then the code has been broken.

3. If neither Alice nor Bob is a spy, then the code remains unbroken.

4. The German embassy will be in an uproar, unless someone has broken the code.

5. Either the code has been broken or it has not, but the German embassy will be in an uproar regardless.

6. Either Alice or Bob is a spy, but not both.