Instituto Tecnológico de Roque

Departamento de Sistemas y Computación

Licenciatura en Informática
Ingeniería en Tecnologías de la Información y Comunicación

Nombre
Grado y grupo: Revisó: Calificación:

INFERENCIA LOGICA

LÓGICA PROPOSICIONAL

Competencias a desarrollar

Aplicar inducción matemática para la solución de problemas reales

Material Equipo
Lápiz, papel, pluma, lenguaje de computadora
programación

Actividad(es) previa(s) a la realización de la práctica

Conocer las reglas de inferencia para resolver problemas reales
Introducción

La inferencia es la forma en la que obtenemos conclusiones en base a datos y

declaraciones establecidas.

Un argumento, por ejemplo es una inferencia, donde las premisas son los datos o
expresiones conocidas y de ellas se desprende una conclusión.

Una inferencia puede ser: Inductiva, deductiva, transductiva y abductiva.

 Instituto Tecnológico de Roque
Departamento de Sistemas y Computación

Licenciatura en Informática
Ingeniería en Tecnologías de la Información y Comunicación

Inductiva (de lo particular a lo general)

Aquí por ejemplo si durante la primera semana el maestro llega 10 minutos tarde, podemos
concluir que todo el semestre va a llegar tarde. Esta conclusión no necesariamente es válida
porque puede ser que el maestro algún día llegue temprano. En general una inferencia
inductiva es la que se desprende de una o varias observaciones y en general no podemos
estar seguros de que será verdadero lo que concluímos.

En este caso podemos mencionar el ejemplo el mentiroso: Un joven le dice a un amigo, tu

todos los días dices mentiras, y el contesta, no es cierto, ayer en todo el día no dije una sola
mentira.

Resumiendo, la inferencia inductiva es la ley general que se obtiene de la observación de

uno o más casos y no se puede asegurar que la conclusión sea verdadera en general.

Deductiva (de lo general a lo particular)

Cuando se conoce una ley general y se aplica a un caso particular, por ejemplo se sabe que
siempre que llueve hay nubes, concluímos que el día de hoy que está lloviendo hay nubes.
También se conoce como inferencia deductiva cuando tenemos un caso que analiza todos
los posibles resultados y de acuerdo a las premisas sólo hay una posible situación, en este
caso decimos que la situación única es la conclusión. Es este caso estamos seguros de que
si las premisas son verdaderas entonces la conclusión también lo es.

Transductiva (de particular a particular o de general a general) con el mismo caso del
maestro que llega tarde durante los primeros días y concluímos que el lunes siguiente
también llegará tarde. O del amigo que varias veces nos ha mentido y concluímos que lo
que nos dice es ese momento es mentira.

El anterior sería de particular a particular, un caso de general a general es por ejemplo de un

compañero maestro que la primera vez que impartió matemáticas discretas observó que
todos los alumnos estudiaban, concluyó que para el siguiente semestre todos los alumnos
iban a estudiar.
 Instituto Tecnológico de Roque
Departamento de Sistemas y Computación

Licenciatura en Informática
Ingeniería en Tecnologías de la Información y Comunicación

Este es un caso donde como en el caso inductivo, no podemos estar seguros de que la
conclusión es verdadera.

Abductiva es semejante a la deductiva, también utiliza la estrategia de analizar todas las

posibilidades, pero en este caso hay varios casos que se pueden presentar, como por
ejemplo si se sabe que siempre que llueve hay nubes y se sabe que hay nubes se puede
concluir que llueve, pero no se tiene la certeza, al igual que el caso inductivo y transductivo
no es una forma válida de obtener conclusiones en matemáticas o en lógica y es necesario
conocer más información para poder verificar la validez.

Desarrollo
I. De los siguientes enunciados mencione si son inferencias inductivas, deductivas,
transductivas, abductivas.

Juan nunca llega tarde así que el día

de la fiesta es seguro que llegara
temprano.
Todos los alumnos de ITICS juegan
futbol en los recesos por lo tanto si no
tienen clases los encuentro en las
canchas jugando
María tiene fiebre, dolor de cabeza,
estornuda y le duelen los huesos,
cómprale unas pastillas para la gripa.
Siempre que suena una campana es
porque viene la basura

Miguel no sabe jugar cartas por lo

que perderá todo su dinero

Tautología, contradicción e indeterminación.

 Instituto Tecnológico de Roque
Departamento de Sistemas y Computación

Licenciatura en Informática
Ingeniería en Tecnologías de la Información y Comunicación

Una tautología es una fórmula que es siempre verdadera sean cuales

sean los valores de verdad de sus componentes. Las tautologías se
denominan también leyes lógicas.

Una contradicción es una fórmula que es siempre falsa sean cuales sean
los valores de verdad de sus componentes.

Una indeterminación es una fórmula que en unos casos es verdadera y

en otras falsas, en función de los valores de verdad de sus componentes.

Construye las tablas de verdad de las siguientes fórmulas, indicando si se trata de

una tautología, indeterminación o contradicción.

1. p . ¬ p

2. q v ¬ p

3. (p ^ q) v ¬ p

4. ¬ (p ^ q) (¬p v ¬ q)

5. [ p . (q r) ^ (¬p v r)]

6. (p v q) ¬p

7. [ p ^ (q v r)] . → [ (p ^ q) v (p ^ r)]

8. [ (¬p→.q) ^ (q. →r)] . → (¬p →r)

9. [ (p ^ q) v (r→ .p)] → (¬p ^ ¬ r)

10. [p . (q v r)] ¬ [p . (q v r)]

11. [ (p . → ¬ q) ^ r] v ¬¬ (p r)

Reporte de la práctica:
 Instituto Tecnológico de Roque
Departamento de Sistemas y Computación

Licenciatura en Informática
Ingeniería en Tecnologías de la Información y Comunicación

Conclusiones:

Observaciones: