Une involution est bijective
Preuve en déduction naturelle.
Assez court.
| Qualité | Numéro | Titre |
|---|
Utilisateur : Gayral
'
Références :
Introduction à la logique - René David, Karim Nour, Christophe Raffalli (DNR)