Example solution based on the novel ''Jane Eyre''
Jump to navigation
Jump to search
Task 5: Variables
1. Provide a variable assignment function g which maps the variables x1, ..., x10 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(x1) = JaneEyre
- g(x2) = JaneEyre
- g(x3) = MrRochester
- g(x4) = MrRochester
- g(x5) = BerthaMason
- g(x6) = St.John
- g(x7) = BerthaMason
- g(x8) = MrRochester
- g(x9) = JaneEyre
- g(x10) = JaneEyre
One formulae with two occurrences of variables
Formula: family-of(st.john,x9) ∧ female(x7)
Back to the assignment sheet of Chapter 2.
Interpretation of the formula
Given the model from the earlier tasks and the variable assignment function g, we can compute the truth of the formula as follows:
[[family-of(st.john,x9) ∧ female(x7)]]g = 1
iff [[family-of(st.john,x9)]]g = 1 and [[female(x7)]]g = 1