El cálculo lógico así puede utilizarse como demostración argumentativa.