Reglas de Inferencia y

Modelo probabilístico

- Jorge Eduardo López Garduño

- Sistemas Inteligentes
- Grupo S174
- Ing. Sistemas Computacionales
- Esteban Mendiola Téllez

07/02/2023
1. ¿Qué es una regla de inferencia?

Esta regla de inferencia es un esquema para construir inferencias válidas. Estos

esquemas establecen una relación sintáctica entre un conjunto de fórmulas llamado
premisa y proposiciones llamadas conclusión. Estas relaciones sintácticas se
utilizan en el proceso de inferencia, donde nuevas proposiciones verdaderas se
derivan de proposiciones conocidas.

La aplicación de reglas de inferencia es un proceso que debe ser válido,

representando métodos de razonamiento universalmente correctos. Su validez
depende solamente de la forma de las proposiciones que intervienen y no de los
valores de verdad de las variables que contienen.

2. Definición coloquial (con sus palabras) y formal

(matemáticamente) de al menos 5 de las principales reglas de
inferencia (Modus ponendo ponens, Modus tollendo tollens,
etc.).

• En lógica, modus ponendo ponens (en latín, modo que afirmando afirma),
también llamado modus ponens y generalmente abreviado MPP o MP, es una
regla de inferencia que tiene la siguiente forma:

Si A, entonces B

Por lo tanto, B

En la axiomatización de la lógica proposicional propuesta por Jan Łukasiewicz,

el modus ponens es la única regla de inferencia primitiva. Esto ha motivado que
mucha de la discusión en torno al problema de la justificación de la deducción
se haya centrado en la justificación del modus ponens.
• En lógica, el modus ponendo tollens (en latín, modo que afirmando niega) o
MPT es una forma válida de argumento que dice:

O bien A, o bien B

Por lo tanto, no B

• En lógica, el silogismo disyuntivo, históricamente conocido como modus

tollendo ponens (en latín, modo que negando afirma) o MTP, es una forma
válida de argumento:
es el caso que A, o es el caso que B
No A
Por lo tanto, B

o exclusivo:

O es el caso que A, o es el caso que B

No A
Por lo tanto, B

• En lógica, el modus tollendo tollens (en latín, modo que negando niega),
también llamado modus tollens y generalmente abreviado MTT o MT, es una
regla de inferencia que tiene la siguiente forma:

si A entonces B
No B
Por lo tanto, no A
• En lógica se denomina silogismo hipotético a aquel tipo de silogismo o más
bien regla de inferencia que en su expresión plantea un caso hipotético, por lo
cual puede tener términos válidos o no. En la lógica proposicional un silogismo
hipotético puede expresar una regla de inferencia, mientras que en la historia de
la lógica los silogismos hipotéticos han sido una antelación de la teoría de las
consecuencias.

Mis definiciones:

Modus ponendo ponens: es un tipo de argumento de inferencia lógico, el cual

pertenece a una regla de separación entre las reglas de deducción de la conocida
lógica proposicional, y esta formulación razonable parte de dos proposiciones o
premisas.

Modus ponendo tollens: Regla de inferencia que establece que, si no es posible

que dos términos sean simultáneamente verdaderos y uno de ellos es verdadero,
entonces se puede inferir que el otro término no puede ser verdadero.

Modus tollendo ponens: También conocido como eliminación de la disyunción, es

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.

Modus tollendo tollens: Es la negación del consecuente, la cual es una forma de

argumento deductivo y una regla de inferencia utilizada para sacar conclusiones de
argumentos y conjuntos de argumentos.

Silogismo hipotético: es aquel que parte de varios juicios basados en hipótesis y

acaba extrayendo una conclusión válida al relacionarlos entre sí.
3. ¿Qué es una cadena de Markov y para qué sirve?

La cadena de Markov, también conocida como modelo de Markov o proceso de

Markov, es un concepto desarrollado dentro de la teoría de la probabilidad y la
estadística que establece una fuerte dependencia entre un evento y otro suceso
anterior. Su principal utilidad es el análisis del comportamiento de procesos
estocásticos.

Las cadenas de Markov sirven y han experimentado una importante aplicación real
en el ámbito de los negocios y las finanzas. Esto, al permitir, como se ha señalado,
analizar y estimar futuros patrones de conducta de los individuos atendiendo a la
experiencia y los resultados anteriores.

Lo anterior puede reflejarse en diferentes campos como la morosidad, el estudio de

las conductas de consumidores, la demanda estacional de mano de obra, entre
otros.

El sistema elaborado por Markov es bastante sencillo y cuenta, como hemos dicho,
con una aplicación práctica bastante fácil. Sin embargo, muchas voces críticas
señalan que un modelo tan simplificado no puede ser totalmente efectivo en
procesos complejos.
4. Definición coloquial (con sus palabras) y formal
(matemáticamente) del teorema de bayes, así como su utilidad.

El teorema de Bayes es una proposición que se emplea para calcular la probabilidad

condicional de un suceso y fue desarrollado por el matemático y teólogo británico
Thomas Bayes. El principal objetivo de este teorema es determinar la probabilidad
que posee un suceso comparado con la probabilidad de otro suceso similar, e

En otras palabras, permite conocer la probabilidad condicional de un evento o

suceso determinado como A dado B, en el que se analiza la distribución de
probabilidad del suceso B dado A.

Fórmula:

Mi definición:

El teorema de Bayes es utilizado para calcular la probabilidad de un suceso,

teniendo la información sobre dicho suceso.