Example solution for the ''Jane Eyre'' context - Revision history

Manfred: /* First example formula */

2013-06-28T22:27:40Z

First example formula

← Older revision		Revision as of 22:27, 28 June 2013
Line 15:		Line 15:
	{{DenL}}'''¬ female(edward) &and; husband-of(edward,bertha)'''{{DenR}} = ''1''<br />		{{DenL}}'''¬ female(edward) &and; husband-of(edward,bertha)'''{{DenR}} = ''1''<br />
	iff {{DenL}}'''¬ female(edward)'''{{DenR}} = ''1'' and {{DenL}}'''husband-of(edward,bertha)'''{{DenR}} = ''1''<br />		iff {{DenL}}'''¬ female(edward)'''{{DenR}} = ''1'' and {{DenL}}'''husband-of(edward,bertha)'''{{DenR}} = ''1''<br />
			iff {{DenL}}'''female(edward)'''{{DenR}} = ''0''and {{DenL}}'''husband-of(edward,bertha)'''{{DenR}} = ''1''.

			Since both conditions are met (as shown in task 3), the formula is true in our model,

			<hr />
			Back to the [[Assignmentsheet_Logic_Summer_Term_2013\|assignment sheet on chapter 2]].

	== Second example formular ==		== Second example formular ==

Manfred: /* First example formula */

2013-06-28T22:25:21Z

First example formula

← Older revision		Revision as of 22:25, 28 June 2013
Line 9:		Line 9:
	== First example formula ==		== First example formula ==

	'''¬ female(edward) &and; husband-of(edward,bertha)'''		Formula: '''¬ female(edward) &and; husband-of(edward,bertha)'''

			Interpretation:

			{{DenL}}'''¬ female(edward) &and; husband-of(edward,bertha)'''{{DenR}} = ''1''<br />
			iff {{DenL}}'''¬ female(edward)'''{{DenR}} = ''1'' and {{DenL}}'''husband-of(edward,bertha)'''{{DenR}} = ''1''<br />

	== Second example formular ==		== Second example formular ==

Manfred: Created page with "= Task 4 = 1. Combine your two formulæ from Task 3 into two complex formulæ. Use the connectives “¬”, “∧”, and “⊃” 2. Compute the truth value of th..."

2013-06-28T22:23:09Z

Created page with "= Task 4 = 1. Combine your two formulæ from Task 3 into two complex formulæ. Use the connectives “¬”, “∧”, and “⊃” 2. Compute the truth value of th..."

New page

= Task 4 =

1. Combine your two formulæ from Task 3 into two complex formulæ. Use the connectives “¬”, “&and;”,
and “⊃”

2. Compute the truth value of these complex formulæ. (You don’t need to do the computation for the
atomic formulæ again.)

== First example formula ==

'''¬ female(edward) &and; husband-of(edward,bertha)'''

== Second example formular ==