Assignmentsheet Logic Summer Term 2013 - Revision history

Manfred: /* Task 7: Truth tables (6 points) */

2013-06-29T21:19:07Z

Task 7: Truth tables (6 points)

← Older revision		Revision as of 21:19, 29 June 2013
Line 78:		Line 78:

	2. (p &or; q) ⊃ ¬(q &and; ¬r)		2. (p &or; q) ⊃ ¬(q &and; ¬r)

			[[Truth tables for the formulae from the assignment sheet]]

2013-06-28T22:57:04Z

Task 6: Quantifiers (6 points)

← Older revision		Revision as of 22:57, 28 June 2013
Line 68:		Line 68:
	4. In which way would your model have to be different to make the formula false (or, in case the		4. In which way would your model have to be different to make the formula false (or, in case the
	formula is false: to make it true in your model)?		formula is false: to make it true in your model)?

			[[Example with a quantifier for the ''Jane Eyre'' context]].

	== Task 7: Truth tables (6 points) ==		== Task 7: Truth tables (6 points) ==

2013-06-28T22:29:22Z

Task 5: Variables (5 points)

← Older revision		Revision as of 22:29, 28 June 2013
Line 54:		Line 54:

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

			[[Example solution based on the novel ''Jane Eyre'']].

	== Task 6: Quantifiers (6 points) ==		== Task 6: Quantifiers (6 points) ==

2013-06-28T22:21:31Z

Task 4: Complex formulae (8 points)

← Older revision		Revision as of 22:21, 28 June 2013
Line 43:		Line 43:
	2. Compute the truth value of these complex formulæ. (You don’t need to do the computation for the		2. Compute the truth value of these complex formulæ. (You don’t need to do the computation for the
	atomic formulæ again.)		atomic formulæ again.)

			[[Example solution for the ''Jane Eyre'' context]].

	== Task 5: Variables (5 points) ==		== Task 5: Variables (5 points) ==

2013-06-28T22:20:52Z

Task 7: Truth tables (6 points)

← Older revision		Revision as of 22:20, 28 June 2013
Line 69:		Line 69:
	Compute the truth table for the following formulæ:		Compute the truth table for the following formulæ:

	1. p ^ (p ^ q)		1. p &and; (p &and; q)

	2. (p _ q) ~~� :~~(q ~~^ :~~r)		2. (p &or; q) ⊃ ¬(q &and; ¬r)

2013-06-28T22:19:56Z

Task 4: Complex formulae (8 points)

← Older revision		Revision as of 22:19, 28 June 2013
Line 39:		Line 39:

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

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

2013-06-28T22:19:29Z

Task 4: Complex formulae (8 points)

← Older revision		Revision as of 22:19, 28 June 2013
Line 38:		Line 38:
	== Task 4: Complex formulae (8 points) ==		== Task 4: Complex formulae (8 points) ==

	1. Combine your two formulæ from Task 3 into two complex formulæ. Use the connectives “:”, “^”,		1. Combine your two formulæ from Task 3 into two complex formulæ. Use the connectives “¬”, “&and;”,
	and ~~“�.~~”		and “&supset;”

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

2013-06-28T22:18:14Z

Task 5: Variables (5 points)

← Older revision		Revision as of 22:18, 28 June 2013
Line 46:		Line 46:
	== Task 5: Variables (5 points) ==		== Task 5: Variables (5 points) ==

	1. Provide a variable assigment function g which maps the variables ''x<sub>1</sub>, ..., ~~x10~~'' to members of your		1. Provide a variable assigment function g which maps the variables ''x<sub>1</sub>, ..., x<sub>10</sub>'' to members of your
	universe.		universe.

2013-06-28T22:17:55Z

Task 5: Variables (5 points)

← Older revision		Revision as of 22:17, 28 June 2013
Line 46:		Line 46:
	== Task 5: Variables (5 points) ==		== Task 5: Variables (5 points) ==

	1. Provide a variable assigment function g which maps the variables ~~x1; : : :~~ x10 to members of your		1. Provide a variable assigment function g which maps the variables ''x<sub>1</sub>, ..., x10'' to members of your
	universe.		universe.

2013-06-28T20:45:32Z

Task 3: Atomic formulae (8 points)

← Older revision		Revision as of 20:45, 28 June 2013
Line 34:		Line 34:
	Write down two atomic formulæ and compute their truth value with respect to your model.		Write down two atomic formulæ and compute their truth value with respect to your model.

	[[Examples for atomic formulae in the context of ''Jane Eyre''\|\|.		[[Examples for atomic formulae in the context of ''Jane Eyre'']].

	== Task 4: Complex formulae (8 points) ==		== Task 4: Complex formulae (8 points) ==