EXERCICE 1

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

( 𝑝 ⟹ 𝑞 ) ⟺ (𝑝 ∧ 𝑞 ) (𝑝⟹𝑞)⇔(𝑝⟹𝑞)

𝑝 𝑞 (𝑝⟹𝑞) (𝑝⟹𝑞) (𝑝 ∧ 𝑞 ) 𝑝 𝑞 𝑝 𝑞 (𝑝⟹𝑞) (𝑝⟹𝑞)

V V V F F V V F F V V
V F F V V V F F V F V
F V V F F F V V F V F
F F V F F F F V V V V

EXERCICE 2

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

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

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

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

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

V V V V V V
V F V F V V
F V V V V V
F F F V F V

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

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

- ( 𝑝 ∧ 𝑞 ) ⟹ (𝑅 ⟹ 𝑝 )

𝑝 𝑞 𝑅 𝑝 𝑞 (𝑝∧𝑞) (𝑅 ⟹ 𝑝 ) ( 𝑝 ∧ 𝑞 ) ⟹ (𝑅 ⟹ 𝑝 )
V V V F F F F V
V V F F F F V V
V F V F V V F F
 V F F F V V V V
F V V V F F V V
F V F V F F V V
F F V V V F V V
F F F V V F V V

- 𝑅 ⟹ (𝑝 ⟹ 𝑅)

𝑝 𝑅 (𝑝 ⟹ 𝑅) 𝑅 ⟹ (𝑝 ⟹ 𝑅)
V V V V
V F F V
F V V V
F F V V

EXERCICE 3

Former la négation des propositions suivantes :

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