0% found this document useful (0 votes)
43 views2 pages

Exercises Series 4 LM

Uploaded by

Sonia Saradouni
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
0% found this document useful (0 votes)
43 views2 pages

Exercises Series 4 LM

Uploaded by

Sonia Saradouni
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
You are on page 1/ 2

UMBB / FS / Computer Science Department

Subject: Mathematical logic Groups: 1st year computer-science Engineers


Date: November 3rd, 2024 Established by: S.Djeddai

EXERCISE SERIES: N°4


Sequents calculus and Logical consequence

Exercise 1(*)
Consider the formulas: A1= p∨q , A2= p⇒r , A3 = q⇒r∨s and F= r∨s∨ t
Is F a logical consequence of the set {A1, A2, A3}? Justify your answer.

Exercise 2
Here are the end-of-semester exams coming up! As usual, Ibrahim spent his winter vacation resting.
He had taken a few lessons to review in order to clear his conscience, but he didn't make the
slightest effort. And once again, he will have to find a solution to get through this. Ibrahim then
makes the following reasoning:
(a) A sick student cannot take the exam.
(b) If I eat at the local fast-food restaurant this lunchtime, I risk food poisoning and will most
certainly be sick.
(c) I'm going to eat at the local fast food restaurant this afternoon.
-------------------------------------------------------------------------------------------------------------------
(d) So, for sure, I won't take this exam!

Ibrahim questions the validity of his reasoning: it would still be stupid to risk his life for nothing...
Unfortunately, he precisely did not revise his mathematical logic course.
Could you advise our lazy student using the tools offered by propositional logic?

Exercise 3 (*)
If it rains, I don't come by bike.
If my alarm rings late, and I don't come by bike, then I will be late.
My alarm rings late.
I'm on time.
So it's not raining.
a) Formalize, in the propositional calculus, each of these statements (previously symbolize all the
propositional variables used).
b) Which formula expresses the fact that the last sentence is a logical consequence of the previous
ones.
c) Show that the last sentence is indeed a logical consequence of the previous ones.

Exercise 4
Using derivation trees in the sequents calculus, for the following formulas, say whether they are
valid or not:

1. ├((p ∧ q) ⇒ r) ⇒ (¬p ∨ q) ⇒ (p ⇒ r)(*)


2. ((¬ p ∨ ¬ q) ∧ ¬ r) |- ((p ∧ q) ∨ r)
3. ├ (p ⇒ (q ∧ (r ∨ s)) ∧ (¬q ∨ ¬r)) ⇒ p ⇒ s
4. ├ ¬p ∨ q ⇒ p ⇒ q(*)
5. {p⇒ q, q ⇒r, p ∨ ¬r} ├ p ∧ q ∧ r(*)
6. ├(p ∧ (q ∨ r)) ⇒ (¬p ⇒ r)∧ (p ∧ q).
Exercise 5 (Homework)
Consider the following reasoning:
“- When it’s sunny, I put on my glasses or I don’t go out.
- I only stay at home without glasses and in gray weather.
So, if I don't wear my glasses, it's gray. »
1. Formalize this reasoning using the following symbolization: s: it's sunny, g: I put on my
glasses, h: I stay at home
2. Show that the above reasoning is valid.

Reminder: Axiom and inference rules of the calculus of sequents:

You might also like