Para la prueba argumentativa, o derivación formal en un cálculo lógico, basta la afirmación mínima hipotética i.e.