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.
Partager