Exercise F

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

1. If there is food to be found in the pridelands, then Rafiki will talk about squashed bananas.

2. Rafiki will talk about squashed bananas unless Simba is alive.

3. Rafiki will either talk about squashed bananas or he won’t, but there is food to be found in the pridelands regardless.

4. Scar will remain as king if and only if there is food to be found in the pridelands.

5. If Simba is alive, then Scar will not remain as king.