Scribd
Upload
3 views2 pages

Tutorial 1

The document is a tutorial for a Mathematical Logic course at the University of Constantine 2, containing exercises on set theory, logical reasoning, and propositions. It includes problems related to subsets, symmetric differences, types of logical arguments, and the identification of propositions. Additionally, it asks students to evaluate the truth of various assertions.

Uploaded by

coreroln
Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
3 views2 pages

Tutorial 1

The document is a tutorial for a Mathematical Logic course at the University of Constantine 2, containing exercises on set theory, logical reasoning, and propositions. It includes problems related to subsets, symmetric differences, types of logical arguments, and the identification of propositions. Additionally, it asks students to evaluate the truth of various assertions.

Uploaded by

coreroln
Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd

University of Constantine 2 – Abdelhamid Mehri

Faculty of New Technologies of Information and Communication


ING – L1

Tutorial 1 – Mathematical Logic

Exercise 1

Let E be a set. What is the relationship between the two subsets A and B of E such that:

A∪B=A∩B

Exercise 2
Let A and B be two parts of the set E.

1. Calculate the symmetric difference: A∆B for A = {0, 1, 2, 3} and B = {2, 3, 4}.

2. Show that: A∆B = (A - A ∩ B) ∪ (B - A ∩ B).

3. Suppose that: A∆B = A ∩ B. Show that: A = B = ∅.

Exercice 3
For each argument, determine the type of logical reasoning:

A/
 Premise: All cars in this parking lot have a university sticker.
 Premise: My car is in this parking lot.
 Conclusion: My car has a university sticker.

B/
 Premise: If I drink coffee late, I do not sleep well.
 Premise: I did not sleep well.
 Conclusion: I must have drunk coffee late.

C/

"Either we increase the budget, or the project will fail."

Exercice 4
Which of the following are propositions?

1. "The Earth is flat"


2. "Please sit down"

Page 1 / 2
3. "5 + 7 = 12"
4. "Is it cold outside?"
5. "All birds can fly"

Exercice 5
Which of the following assertions are true, which are false, and why?

1. If Napoleon was Chinese then 3−2 = 2

2. Either Cleopatra was Chinese or the frogs bark

3. Either roses are animals or dogs have 4 legs

4. Roses are neither animals nor flowers

5. Algiers is in Algeria or Madrid is in China

Page 2 / 2

You might also like