• No results found

Determine the following numbers with the use of Venn diagrams: #(A ∪ B ∪ C), #(A0∩ B0∩ C0), #(A ∪ B)0

N/A
N/A
Protected

Academic year: 2021

Share "Determine the following numbers with the use of Venn diagrams: #(A ∪ B ∪ C), #(A0∩ B0∩ C0), #(A ∪ B)0"

Copied!
4
0
0

Bezig met laden.... (Bekijk nu de volledige tekst)

Hele tekst

(1)

Afdeling Informatica Pre-exam Logic and Sets

Vrije Universiteit Februari 17, 2014

This exam has 4 pages and 6 exercises. The result will computed as (total number of points plus 10) divided by 10.

Answers may be given in either English or Dutch.

Exercise 1 (Sets) (6 + 8 + 8 punten)

1. Given are three sets A, B, and C with 7, 8, and 9 elements, respectively, in a universe U of 20 elements. Furthermore, we are given that

#(A ∩ B) = #(B ∩ C) = #(C ∩ A) = 3,

#(A ∩ B ∩ C) = 1.

Determine the following numbers with the use of Venn diagrams:

#(A ∪ B ∪ C), #(A0∩ B0∩ C0), #(A ∪ B)0.

2. Determine the Venn diagram for each of the two given formulas and clearly depict which area is covered by the formulas. Are the two sets equal?

A \ (B ∩ C)0

, A0∪ (B ∩ C).

3. Check the equality with the use of algebra for sets.

(A ∪ B)0∪ (A ∩ C)0 = A0∩ (B ∩ C)0.

(NB: The laws for the algebra of sets are given on the last page of this exam)

1

(2)

Exercise 2 (Syntax) (5 + 5 points)

(a) Draw the parse tree of the formula ¬ (p → ¬q) → (¬q → p)

(b) Compute in the parse tree bottom-up the truth value of this formula, given the truth values F, T for p, q.

Exercisee 3 (Logic) (8 + 4 points)

(a) Investigate validity of the semantical implication:

(p ∨ q) → q |= ¬p (Show clearly how you get to your answer.)

(b) Give a formula φ such that ¬φ  φ is a valid semantic entailment.

Exercise 4 (Logic) (7 + 6 points)

(a) Which of the following formulas are semantically equivalent?

p → ¬q, (p → q) → ¬p, ¬(p ∧ q) (Show clearly how you get to your answer.)

(b) Using only the propositional variable p, give three formulas: a tautol- ogy, a contradiction and a contingent formula.

Exercise 5 (Island puzzle) (10 points)

On the island of liars and truth speakers everybody is either a liar or a truth speaker. Truth speakers always speak the truth, liars never. Islander b says:

“I am a thief or a liar.”

Is b a thief? (Show clearly how you get to your answer.)

Use in this exercise the propositional variables Wb for “b is a truth speaker”

and p for “b is a thief”.

2

(3)

Exercise 6 (Relations) (8 + 7 + 8 points)

(a)  What is the inverse of the binary relation IsMarriedTo?

 What is the inverse of the composite relation IsParentOf ◦ IsBroth- erOrSisterOf ?

 Give a simpler name for IsParentOf ◦ IsBrotherOrSisterOf ◦ Is- ChildOf.

For the remainder of this question we work with the set A := {0, 1, 2} with the following relation:

R := {< 0, 0 >, < 0, 1 >, < 1, 1 >, < 1, 2 >, < 2, 1 >}.

(b) Is the relation reflexive? Symmetric? Anti-symmetric? Transitive?

Please provide an argument.

(c) Please write down the set R−1 by enumeration?

3

(4)

Algebra for sets

Commutativity:

A ∪ B = B ∪ A A ∩ B = B ∩ A

Idempotence:

A ∪ A = A A ∩ A = A

Associativity:

A ∪ (B ∪ C) = (A ∪ B) ∪ C A ∩ (B ∩ C) = (A ∩ B) ∩ C

Complement:

A ∪ A0 = U A ∩ A0 = ∅

Distributivity:

A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)

DeMorgan’s Laws:

(A ∪ B)0 = A0∩ B0 (A ∩ B)0 = A0∪ B0

Identities:

A ∪ U = U en A ∪ ∅ = A A ∩ U = A en A ∩ ∅ = ∅

Involution:

(A0)0 = A

4

Referenties

GERELATEERDE DOCUMENTEN

Naast de vele protesten, zijn er ook nieuwe leden van het College van Bestuur (CvB) benoemd. Dit nieuwe bestuur heeft een aantal nieuwe plannen op de agenda staan. Deze

Deze documentaire gaat over de bijdrage van de (intensieve) veehouderij aan de uitstoot van onder andere koolstofhoudende broeikasgassen.. In een publicatie van de Voedsel-

Deze bijdrage van het verkeer moet onderdeel zijn van de antropogene uitstoot en kan dus niet hoger zijn dan 13% van 6 à 8 Gt De bijdrage van de veehouderij is dan maximaal 18/13

32 % The vertical distance between the edge of the diagram and the 33 % outer edge of the nearest set. 34 \newcommand*{\@venn@vgap}{0.5cm} \@venn@overlap The size of the

As a consequence, a re-study of some already well-known documents with fragmentarily preserved dating formulas has allowed me to come up with some suggestions for their restoration

This project uses Peter Berglez’s concept of a global news style to empirically analyze the coverage of a prime example of a global crisis (the 2011 Japanese earthquake and

10 Instead of replacing ST puns with TT non-puns, the Dutch translator — more often than the German translator — found some other punning techniques in order to more or less retain

There is currently no web application available that can generate circular, area-proportional Venn diagrams connected to a wide range of biological databases, and can map