Exercise Series No 1
Exercise Series No 1
Teacher Education College of Setif- Messaoud Zeggar Level: 1st year natural science
College year: 2024-2025
Exercise 1.
A- Using the truth table, prove the following complex propositions
1. P ⇔ P
2. (P ∧ Q) ⇔ P
3. P ⇔ (P ∨ Q)
4. P ∨ (P ⇒ Q)
1. (P ∨ Q) ∧ R
2. P ⇒ Q
3. (P ∨ Q) ⇒ R
4. (P ∨ Q) ⇒ R
Exercise 2.
• Are a, b, c, d truth?
• Give its negation.
Exercise 3. Let f be an application defined from R into R. Give the negation after interpreting the following
assertions to mathematical propositions:
5. There exists x ∈ R such that for all y ∈ R, if x < y then f (x) > f (y).
3. ...x ∈ R : x2 + 1 ̸= 0