Example solution based on the novel ''Jane Eyre''

Task 5: Variables

1. Provide a variable assignment function g which maps the variables x₁, ..., x₁₀ to members of your universe.

2. Provide one formula that contains two occurrences of variables.

3. Compute the truth value of this formula with respect to your assingment function g.

Variable assignment function

• g(x₁) = JaneEyre
• g(x₂) = JaneEyre
• g(x₃) = MrRochester
• g(x₄) = MrRochester
• g(x₅) = BerthaMason
• g(x₆) = St.John
• g(x₇) = BerthaMason
• g(x₈) = MrRochester
• g(x₉) = JaneEyre
• g(x₁₀) = JaneEyre

---

Back to the assignment sheet of Chapter 2.