Similarmente, cuando el cálculo tiene una intención argumentativa en su contenido semántico, entonces partimos de un contenido material afirmado como verdadero, cuya verdad es condición necesaria de la verdad de lo condicionado en la conclusión, como implicación.