EXERCICE 1

Soient p et q deux propositions données, en utilisant la table de vérité, montrer que :

( 𝑝 ⟹ 𝑞 ) ⟺ (𝑝 ∧ 𝑞 )

(𝑝⟹𝑞)⇔(𝑝⟹𝑞 )

EXERCICE 2

Soient p, q et r trois propositions, dresser la table de vérité des formules suivantes :

[( 𝑝 ∧ 𝑅 ) ⟹ 𝑞 ] ∨ [( 𝑝 ∨ 𝑞 ) ⟹ 𝑅 ]

( 𝑝 ∨ 𝑞 ) ⟹ [(𝑝 ⟹ 𝑞) ⟹ 𝑞]

( 𝑝 ⟹ 𝑞) ⟹ [( 𝑝 ∧ 𝑅) ⟹ ( 𝑞 ∧ 𝑅 )]

( 𝑝 ∧ 𝑞 ) ⟹ (𝑅 ⟹ 𝑝 )

𝑅 ⟹ (𝑝 ⟹ 𝑅)

EXERCICE 3

Former la négation des propositions suivantes :

[(𝑝 ⟹ 𝑞) ∨ 𝑅 ] ∧ (𝑝 ∨ 𝑞)

[(𝑝 ∧ 𝑞) ∨ 𝑅]

EXERCICE 4

1) Montrer la loi de Morgan en utilisant deux propositions p et q

2) Montrer que 𝑝 ⟺ 𝑞 signifie (𝑝 ⟹ 𝑞) ∧ (𝑞 ⟹ 𝑝)

EXERCICE 5

Donner la négation des propositions suivantes :

(∀ 𝑥 𝜖 ℕ)(∃ 𝑦 𝜖 ℕ∗ )(∀ 𝑧 𝜖 ℕ)(𝑥 = 𝑦𝑧)

( ∀ 𝑥; 𝑝(𝑥) ⟹ 𝑞(𝑥) )