紳士の自然な控除公理命題論理のための公理は、論理推論のための一連のルールを確立します。これらのルールは、公理に基づいた、確立された施設からの新しい結論を推測するために適用されます。これらの公理には、命題の真実が確認された場合、その真実は追加の命題を追加することによって維持されるという追加の追加の追加が含まれます。分離ルールは、分離が真である場合、その部分の少なくとも1つが真であると述べています。そして、モダスポネンの規則は、命題が真であると断言され、第二命題が最初から推測する場合、2番目の命題も真であると述べています。これらのルールは、施設からの結論を推測するために使用され、推論を正しく完了することができます。
Los axiomas de deducción natural de Gentzen para la lógica proposicional establecen un conjunto de reglas para la inferencia lógica. Estas reglas se aplican para deducir nuevas conclusiones, a partir de premisas ya establecidas, teniendo como base los axiomas. Estos axiomas incluyen la regla de la adición, que dice que si se afirma la verdad de una proposición, entonces su verdad se mantiene al agregar una proposición adicional; la regla de la disyunción, que dice que si una disyunción es verdadera, entonces al menos una de sus partes es verdadera; y la regla del modus ponens, que dice que si una proposición se afirma como verdadera y una segunda proposición se deduce de la primera, entonces la segunda proposición también es verdadera. Estas reglas se utilizan para inferir conclusiones a partir de premisas, permitiendo que los razonamientos se completen de manera correcta.