Example solution based on the novel ''Jane Eyre'': Difference between revisions
Jump to navigation
Jump to search
(Created page with "== Task 5: Variables == 1. Provide a variable assignment function g which maps the variables ''x<sub>1</sub>, ..., x<sub>10</sub>'' to members of your universe. 2. Provide ...") |
|||
| Line 10: | Line 10: | ||
== Variable assignment function == | == Variable assignment function == | ||
* g(x< | * g(x<sub>1</sub>) = ''JaneEyre'' | ||
* g(x<sub>2</sub>) = ''JaneEyre'' | |||
* g(x<sub>3</sub>) = ''MrRochester'' | |||
* g(x<sub>4</sub>) = ''MrRochester'' | |||
* g(x<sub>5</sub>) = ''BerthaMason'' | |||
* g(x<sub>6</sub>) = ''St.John'' | |||
* g(x<sub>7</sub>) = ''BerthaMason'' | |||
* g(x<sub>8</sub>) = ''MrRochester'' | |||
* g(x<sub>9</sub>) = ''JaneEyre'' | |||
* g(x<sub>10</sub>) = ''JaneEyre'' | |||
Revision as of 22:33, 28 June 2013
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