Example solution for defining a model in the context of ''Jane Eyre'': Difference between revisions
Jump to navigation
Jump to search
No edit summary |
|||
(5 intermediate revisions by the same user not shown) | |||
Line 12: | Line 12: | ||
''U'' = {''JaneEyre, BerthaMason, MrRochester, StJohn''} | ''U'' = {''JaneEyre, BerthaMason, MrRochester, StJohn''} | ||
== 2. Names == | == 2. Names == | ||
Line 25: | Line 22: | ||
* I('''edward''') = ''MrRochester'' | * I('''edward''') = ''MrRochester'' | ||
* I('''st.john''') = ''StJohn'' | * I('''st.john''') = ''StJohn'' | ||
== 3. Properties == | |||
Properties: '''female''', '''intends-to-marry-jane''', '''mad''' | |||
Interpretation: | |||
* I('''female''') = { <x> | x is female } = { <''JaneEyre''>, <''BerthaMason''> } | |||
* I('''intends-to-marry-jane''') = { <x> | x intends to marry Jane Eyre in the course of the novel } = { <''MrRochester''>, <''StJohn''> } | |||
* I('''mad''') = { <x> | x is mad } = { <''BerthaMason''> } | |||
== 4. Relations == | |||
Relations: '''family-of''', '''husband-of''' | |||
Interpretation: | |||
* I('''family-of''') = [ <x,y> | x is family of y } = { <''JaneEyre,StJohn''>, <''St.John,JaneEyre''> } | |||
* I('''husband-of''') = { <x,y> | x is y's husband } = { <''MrRochester,BerthaMason''>, <''MrRochester,JaneEyre''> } | |||
<hr /> | |||
Back to the [[Assignmentsheet_Logic_Summer_Term_2013|assignment sheet for Chapter 2]]. |
Latest revision as of 20:43, 28 June 2013
Task 2
1. Define a universe consisting of four main characters from your book.
2. Introduce names for your characters and provide their interpretations.
3. Introduce three property symbols relevant to the plot and provide their interpretations.
4. Introduce two 2-place relation symbols relevant to the plot and define their interpretations.
1. Universe
U = {JaneEyre, BerthaMason, MrRochester, StJohn}
2. Names
Names: jane, bertha, edward, st.john
Interpretation of the names:
- I(jane) = JaneEyre
- I(bertha) = BerthaMason
- I(edward) = MrRochester
- I(st.john) = StJohn
3. Properties
Properties: female, intends-to-marry-jane, mad
Interpretation:
- I(female) = { <x> | x is female } = { <JaneEyre>, <BerthaMason> }
- I(intends-to-marry-jane) = { <x> | x intends to marry Jane Eyre in the course of the novel } = { <MrRochester>, <StJohn> }
- I(mad) = { <x> | x is mad } = { <BerthaMason> }
4. Relations
Relations: family-of, husband-of
Interpretation:
- I(family-of) = [ <x,y> | x is family of y } = { <JaneEyre,StJohn>, <St.John,JaneEyre> }
- I(husband-of) = { <x,y> | x is y's husband } = { <MrRochester,BerthaMason>, <MrRochester,JaneEyre> }
Back to the assignment sheet for Chapter 2.