Reglas de Inferencia Logica

UNIVERSIDAD DE ORIENTE
NÚCLEO DE MONAGAS
ESCUELA DE INGENIERÍA Y CIENCIAS APLICADAS
DEPARTAMENTO DE INGENIERÍA DE SISTEMAS
INTRODUCCIÓN A LA INGENIERÍA DE SISTEMAS
MATURÍN/MONAGAS/VENEZUELA
REGLAS DE INFERENCIA LÓGICA
PROFESOR(A): ESTUDIANTE:
SIEIRO YAZMÍN RIVAS RISKEILYS 28.347.936
La lógica se presenta, muchas veces, como una herramienta para analizar los procesos de
razonamiento del lenguaje ordinario, pone a nuestra disposición un lenguaje que nos
permitirá formalizar expresiones del conocimiento humano haciendo explícitos los objetos y
las relaciones, así como sus restricciones. En la actualidad existe un variado número de
herramientas que pueden servir de ayuda en el aprendizaje de la lógica. El razonamiento es el
proceso cognitivo por medio del cual utilizamos y aplicamos nuestro conocimiento,
permitiéndonos pasar de una información a otra relacionada con esta. Sin la posibilidad de
hacer inferencias, el sistema de procesamiento de información se vería obligado a tener que
definir todas las situaciones puntuales y específicas con las que se tenga que enfrentar. A las
sentencias de las cuales partimos en el proceso de razonamiento, se les llama premisas y a la
sentencia a la cual llegamos, se le denomina conclusión; las premisas junto a la conclusión
forman el argumento. Por otro lado, la lógica nos proporciona métodos de cálculo que nos
permiten inferir, por simple manipulación sintáctica, nuevas fórmulas a partir de las
conocidas. Uno de estos métodos es la Deducción Natural, cuyo mecanismo está muy
cercano al razonamiento intuitivo del ser humano. Es así, como las proposiciones se
presentan como el cálculo del método de deducción natural, el cual consiste en un grupo de
reglas que nos permiten deducir unas conclusiones a partir de unas hipótesis, esto es lo que
llamamos un sistema inferencial. En un sistema inferencial, llamamos inferencias a los
procesos mediante los cuales obtenemos una conclusión en base a datos y declaraciones
establecidas a partir de unas premisas, de forma que el razonamiento sea válido.
Las reglas de inferencia son reglas de transformación sintácticas y esquemas básicos de

inferencia deductiva que se pueden usar para inferir una conclusión a partir de una premisa
para crear un argumento. Su principal característica es que nos permiten dar conclusiones
muy bien formadas y válidas a partir de otras premisas. Las reglas de inferencia se clasifican
en: Atómicas (Simples) y Moleculares (Compuestas); dentro de la inferencia encontramos sus
reglas en donde es muy fácil aprender su uso. Se debe utilizar las preposiciones o formas
lógicas, nombres que se le dará a las preposiciones, donde una premisa verdadera conducirá a
una conclusión verdadera. Se puede utilizar este conjunto de reglas para inferir cualquier
conclusión válida si es completa, mientras que nunca se infiere una conclusión válida, si es
segura. Algunas de las más conocidas son las siguientes: Modus ponendo ponens, Doble
negación, Modus tollendo tollens, Adjunción y Simplificación, y Modus Tollendo Ponens.
Modus Ponendo Ponens

El modus ponendo ponens (latín: "el modo que, al afirmar, afirma", también llamado modus
ponens, eliminación de la implicación, regla de separación, afirmación del antecedente,
generalmente abreviado MP) es una forma de argumento válido (razonamiento deductivo) y
una de las reglas de inferencia en lógica proposicional.
El nombre de Modus Ponendo Ponens se puede explicar de la siguiente manera: Esta regla de
inferencia es el método (Modus), que afirma (Ponendo) el consecuente, afirmando (Ponens)
el antecedente. La regla de inferencia aplicada tiene un nombre latino, Modus ponendo
Ponens. El modus ponendo ponens es un tipo de argumento lógico, de inferencia razonada,
perteneciente al sistema formal de las reglas de deducción de la conocida lógica
proposicional. Esta estructura argumentativa es la pauta inicial que se transmite en la lógica
proposicional y se relaciona directamente con los argumentos condicionales.
El modus ponendo ponens puede establecerse formalmente como:
MODUS PONENDO PONENS (PP)

Siguiendo el esquema de una inferencia por pasos; la representaremos así:
El condicional o implicación es aquella operación que establece entre dos enunciados una
relación de causa-efecto. La regla ‘ponendo ponens ’ significa, “afirmando afirmo ” y en un
condicional establece, que si el antecedente (primer término, en este caso p) se afirma,
necesariamente se afirma el consecuente (segundo término, en este caso q).
Doble Negación
Se llama doble negación o múltiple negación a la presencia en una oración de dos o más
elementos con valor de negación. En lógica proposicional, la doble negación es el teorema
que afirma que "Si un enunciado es verdadero, entonces no es el caso de que la declaración
no es cierta". Esto se expresa diciendo que una proposición A es lógicamente equivalente a
no (no-A), o por la fórmula A≡~(~A) donde el signo ≡ expresa equivalencia lógica y el signo
~ expresa negación.
La Doble Negación puede establecerse formalmente como:
DOBLE NEGACIÓN (DN)

El esquema representa, “p doblemente negada equivale a p”. Siguiendo el esquema de una
inferencia por pasos; la representaremos así:
La regla “doble negación” sólo establece que si un enunciado está doblemente negado,
equivaldría al enunciado afirmado.
Modus Tollendo Tollens

El modus tollendo tollens (latín: "el modo que, al negar, niega", conocido como modus
tollens, negación del consecuente o ley de contraposición). Es una forma de argumento válida
y una regla de inferencia en lógica proposicional. Se puede resumir como "Si P implica Q, y
Q no es cierto, entonces P no es cierto". El modus tollendo tollens es una aplicación de la
verdad general de que, si una declaración es válida, también lo es su contraposición. La
historia de la regla modus tollendo tollens se remonta a la antigüedad, siendo los estoicos los
primeros en declarar explícitamente esta forma válida de argumento.
El modus tollendo tollens puede establecerse formalmente como:
MODUS TOLLENDO TOLLENS (TT)

‘Tollendo tollens’ significa “negando, niego”, y se refiere a una propiedad inversa de los
condicionales, a los que nos referíamos en primer lugar. Siguiendo el esquema de una
inferencia por pasos; la representaremos así:
Si de un condicional, aparece como premisa el consecuente negado (el efecto), eso nos
conduce a negar el antecedente (la causa), puesto que, si un efecto no se da, su causa no ha
podido darse. Esto nos permite formular una regla combinada de las ambas anteriores,
consecuencia ambas de una misma propiedad de la implicación; la regla ponendo ponens sólo
nos permite afirmar si está afirmado el antecedente (el primer término de la implicación), y la
regla tollendo tollens sólo nos permite negar a partir del consecuente (segundo término de la
implicación).
Adjunción y Simplificación
Adjunción (A): Si disponemos de dos enunciados afirmados como dos premisas separadas,
mediante la adjunción, podemos unirlos en una sola premisa utilizando el operador
(conjunción).
Siguiendo el esquema de una inferencia por pasos; la representaremos así:
Simplificación (S): obviamente, es la operación inversa. Si disponemos de un enunciado

formado por dos miembros unidos por una conjunción, podemos hacer de los dos miembros
dos enunciados afirmados por separado.
Modus Tollendo Ponens

El modus tollendo ponens (latín: "el modo que, al negar, afirma") también conocido como
eliminación de la disyunción o eliminación del "o", abreviado ∨E, o silogismo disyuntivo.
(Cabe anotar que para algunos autores son dos reglas diferentes) es, en lógica clásica, una
forma de argumento válida que contiene una declaración disyuntiva en una de sus premisas, y
en lógica proposicional, una regla de inferencia válida. El modus tollendo ponens o silogismo
disyuntivo establece que, si se nos dice que al menos una de las dos proposiciones es
verdadera; y también se nos dijo que no es la primera la que es verdadera; se puede inferir
que debe ser la última la que es verdadera. Es decir, si P o Q es verdadero y P es falso,
entonces Q es verdadero.
El modus tollendo ponens puede escribirse formalmente como:
La disyunción, que se simboliza con el operador, representa una elección entre dos
enunciados. Ahora bien, en esa elección, forma parte de las posibilidades escoger ambos
enunciados, es decir, la verdad de ambos enunciados no es incompatible, si bien, ambos no
pueden ser falsos. A partir de lo anterior, se deduce la siguiente regla, denominada tollendo
ponens (negando afirmo): si uno de los miembros de una disyunción es negado, el otro
miembro queda automáticamente afirmado, ya que uno de los términos de la elección ha sido
descartado. Siguiendo el esquema de una inferencia por pasos; la representaremos así:
En conclusión, las reglas de inferencia lógica son una instrucción para obtener proposiciones
verdaderas adicionales de una lista de proposiciones verdaderas. Son herramientas para
construir nuevas proposiciones de las viejas; con más herramientas a nuestra disposición, la
tarea se vuelve aún más fácil. Con el uso de las reglas de inferencia lógica podemos:
desarrollar la capacidad de elaborar argumentos en forma rigurosa y de analizarlos
críticamente; reconocer de que el uso de la razón es aplicable en todos los aspectos de las
relaciones humanas; reconocer si un conjunto de enunciados es una falacia o un paradigma de
demostración; lograr interesar al estudio de la filosofía, derecho y de otras ciencias. Por ello
es muy importante conocer bien estas reglas pues justifican inferencias de estructura lógica
más fina y sofisticada, además de que tienen restricciones que es necesario conocer, entender
y precisar con todo rigor para no hacer inferencias incorrectas ya que es muy común entender
mal o cometer errores con estas reglas.
Referencias
Franco, C. (15 de agosto de 2012). Importancia de realizar demostraciones usando reglas de
inferencia. Newsletter – Icefranco.
https://www.icefranco.edu.bo/boletin/?p=2270
Amor, J. A. (2003). "La enseñanza del análisis lógico", en La Razón Comunicada II, México:
Torres y Asociados y TDL.
Reglas de Inferencia Lógica (23 de febrero de 2021).

https://es.linkfang.org/wiki/Modus_ponendo_ponens
Waner, S., Y Costenoble, S. (Enero, 2013). Introducción a la Lógica. Zweigmedia

Recuperado el 20 de enero 2013 de
https://www.zweigmedia.com/MundoReal/logic/logic5.html
Villalobos, M. (Mayo 2013). Reglas de inferencia. [Diapositivas de PowerPoint]. Recuperado

23 Mayo, 2013, de https://es.slideshare.net/motovi84/reglas-de-inferencia-21774691

Reglas de Inferencia Logica

Cargado por

Copyright:

Formatos disponibles

Reglas de Inferencia Logica

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Reglas de Inferencia Logica

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD DE ORIENTE

REGLAS DE INFERENCIA LÓGICA

Las reglas de inferencia son reglas de transformación sintácticas y esquemas básicos de

Modus Ponendo Ponens

MODUS PONENDO PONENS (PP)

La Doble Negación puede establecerse formalmente como:

DOBLE NEGACIÓN (DN)

Modus Tollendo Tollens

MODUS TOLLENDO TOLLENS (TT)

Simplificación (S): obviamente, es la operación inversa. Si disponemos de un enunciado

Modus Tollendo Ponens

Reglas de Inferencia Lógica (23 de febrero de 2021).

Waner, S., Y Costenoble, S. (Enero, 2013). Introducción a la Lógica. Zweigmedia

Villalobos, M. (Mayo 2013). Reglas de inferencia. [Diapositivas de PowerPoint]. Recuperado

También podría gustarte