Bonjour,

Je ne vois pas comment résoudre cette formule j'ai essayé deux méthodes mais je suis bloqué dans le déroulement des deux ^^.

Code : Sélectionner tout - Visualiser dans une fenêtre à part
1
2
3
4
5
6
7
8
9
10
11
12
Lemma Exo17 : forall A : Prop, ~~(A \/ ~A).
Proof.

Méthode 1
intro.
unfold not.
intro.

Méthode 2
intro.
intro.
case H.