Introduction

Pour montrer que \((P \Rightarrow Q)\) est vraie on peut utiliser ce qui suit :