Signification de l'avatar :
Posté : 17 févr.26, 12:43
.
"Si l'on a à partir d'une hypothèse A une preuve construite de contradiction, alors l'on a une preuve construite que l'hypothèse A est contradictoire, ce qui est le sens de 'non A'."
.
"Si l'on a à partir d'une hypothèse A une preuve construite de contradiction, alors l'on a une preuve construite que l'hypothèse A est contradictoire, ce qui est le sens de 'non A'."
.