Las reglas significativas de inferencia en la lógica proposicional incluyen modus ponens, modus tollens y contraposición. La lógica de predicados de primer orden usa reglas de inferencia para liderar concuantificadores lógicos. En lógica formal (y muchas áreas relacionadas), las reglas de inferencia suelen darse generalmente en la siguiente forma estándar:
Las reglas significativas de inferencia en la lógica proposicional incluyen modus ponens, modus tollens y contraposición. La lógica de predicados de primer orden usa reglas de inferencia para liderar concuantificadores lógicos. En lógica formal (y muchas áreas relacionadas), las reglas de inferencia suelen darse generalmente en la siguiente forma estándar: