¿Cuál es el principio de resumen?

1. El principio de reducción es una regla de razonamiento que simboliza la hipótesis que entrelaza la forma de razonamiento de condiciones suficientes en la lógica formal ordinaria y la extiende a la lógica de predicados de primer orden. También se le llama regla de reducción, descomposición. regla, La Ley de Disolución.

2. En el esquema de razonamiento del principio de reducción lógica proposicional, P, Q y R se denominan fórmulas atómicas (átomos para abreviar), es decir, formas proposicionales simples que no utilizan conectivos lógicos. Los átomos y sus negativos se denominan colectivamente elementos de oración. Una cláusula es una disyuntiva formada al conectar diferentes elementos de una oración con la palabra disyuntiva ∨ (o). Al aplicar la regla de reducción al razonamiento, todos los juicios se escriben en forma de cláusulas, y esta no es una excepción para la lógica proposicional o la lógica de predicados de primer orden.

3. En lógica proposicional, un átomo es considerado como una unidad lógica cuya estructura interna no se analiza, representando una forma proposicional simple. La simbolización del razonamiento hipotético entrelazado con condiciones suficientes en la lógica formal ordinaria sólo puede evolucionar directamente hacia el principio de reducción de la lógica proposicional.

4. Método de aplicación: Aplicar el principio de reducción para demostrar teoremas o resolver problemas mediante el uso de prueba por contradicción, es decir, primero asumir que la proposición opuesta a la conclusión es verdadera y luego basarse en las premisas. y los supuestos que niegan la conclusión (aparecen todos en forma de cláusulas) y obtienen una serie de conclusiones intermedias (aparecen en forma de fórmulas de reducción).