Gianni
Created page with "Il procedimento consiste nel mostrare che l'assunzione che <math>p</math> sia falsa porta a una contraddizione logica. Così la proposizione <math>p</math> non può essere fal..."
10:30
+316