Bonjour!
Est-ce que vous pouvez m'aider à cette question? Merci beaucoup.
Cordialement.

Par l’Algebre de Boole, demontrer que :

2a. ( p ⇒ q ) ⇒ (~q ⇒~p) est une tautologie

2b. ~[ p ⇒ ( q ⇒p) ] est une contradiction