Exercises Series 4 LM
Exercises Series 4 LM
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: