UNIVERSIDAD NACIONAL TORIBIO

RODRIGUEZ DE MENDOZA DE
AMAZONAS

TEMA:
INFERENCIA LÓGICA NOTABLE

* ANDER JHONY TORRES DÍAZ

* ANGEE THATIANA TRAUCO GASLAC
* JHOAN VEGA ZABALETA
 OBJETIVOS

*En este trabajo vamos hablar de las inferencias lógicas notables, su definición e importancia
de ellas en nuestra vida diaria y también en nuestra carrera profesional.

*Para ello explicaremos y daremos ejemplos de ejercicios aplicados a la realidad del campo
laboral, teniendo en cuenta la estructura y desarrollo del tema, presentaremos conclusiones
obtenidas mediante el desarrollo del mismo.
 Inferencias lógicas
Proposición lógica
Leyes lógicas
 Ley de Morgan: ¬ 𝒑 𝒗 𝒒 ≡ ¬𝒑 &¬𝒒
 Absorción: 𝒑 & 𝒑 𝒗𝒒 ≡ 𝒑 𝒑&(¬𝒑 𝒗 𝒒) ≡ 𝒑 & 𝒒
 Exportación: (𝒑 & 𝒒) → 𝒓 ≡ 𝒑 → (𝒒 → 𝒓)
Inferencias notables

 Modus Ponendo Ponens (MPP)  Dilema constructivo (DC)

𝒑→𝒒 𝒑→𝒓
𝒑 𝒒 → ¬𝒔
𝒑𝒗𝒒
𝒒
𝒓 𝒗 ¬𝒔
 Modus Tollendo Ponens (MTP)
𝒑𝒗𝒒  Ley de Adición (LA)
¬𝒑 𝒑
𝒑 𝒑𝒗𝒒
 Modus Tollendo Tollens (MTT)  Ley de la bicondicional (LB)
𝒑→𝒒 𝒑↔𝒒
¬𝒒 𝒑→𝒒
¬𝒑

 Silogismo hipotético (SH)

𝒑→𝒒
𝒒→𝒓
𝒑→𝒓
 EJERCICIOS
APLICATIVOS
P1: si construyo una casa entonces necesitaré cemento.
P: construyo una casa
P2: si construyo una casa y compro una máquina, gastaré más.
q: necesitaré cemento
P3: si gasto más entonces, trabajo más o ahorro más.
r: compro una maquina
P4: si trabajo menos y ahorro menos.
s: gastaré más
DEMOSTRAR: Necesitaré cemento (q)
t: trabajo más
u: ahorro más

𝑃1 : 𝑝 → 𝑞
𝑃2 : 𝑝 ˄ 𝑟 𝑣 𝑠
𝑃3 : 𝑠 → 𝑡 𝑣 𝑢
𝑃4 : ¬𝑡 ˄¬𝑣
𝑃5 : ¬ 𝑡 ˅ 𝑢 … … … 𝑀𝑜𝑟𝑔𝑎𝑛 𝑖𝑛𝑣𝑒𝑟𝑠𝑎 𝑒𝑛 4
𝑃6 : ¬𝑠 … … … … … … … … . . … … . . 𝑀𝑇𝑇 3, 5
𝑃7 : 𝑝˄𝑟 … … … … … … … … … … . . 𝑀𝑇𝑃 6, 2
𝑃8 : 𝑝 … … … … . . … . . 𝑆𝑖𝑚𝑝𝑙𝑖𝑓𝑖𝑐𝑎𝑛𝑑𝑜 𝑒𝑛 7
𝑃9 : 𝑞 … … … … … … … … … . 𝑀𝑃𝑃 𝑒𝑛 1, 8
∴ 𝑒𝑠 𝑣á𝑙𝑖𝑑𝑜
Si no es cierto que se puede mezclar la arena y el cemento, entonces el concreto es
ineficiente para la construcción y no prevenir daños alrededor. Si se mezcla la arena, no
se completa el concreto. Por consiguiente, es ineficiente para la construcción.
P: se puede mezclar la arena
Q: se puede mezclar el cemento
R: El concreto es ineficiente para la construcción
S: Prevenir daños alrededor
Resolución:

𝑃1 = ¬ 𝑝 𝑞 → 𝑟 ¬𝑠
𝑃2 = 𝑞 → ¬𝑝
𝑃3 = ¬𝑟
𝑃4 = ¬𝑞 𝑣 ¬𝑝 … … 𝐶𝑜𝑛𝑑. 𝐶. 2
𝑃5 = ¬𝑝 𝑣 ¬𝑞 … . . 𝐶𝑜𝑚. 𝐶. 4
𝑃6 = ¬ 𝑝 𝑞 . . 𝑀𝑜𝑟𝑔𝑎𝑛𝐶. 5
𝑃7 = 𝑟 ˆ ¬𝑠 … … . … 𝐿. 𝐴 𝐶1,3
𝑝8 = 𝑟 … … … … . . … . 𝐿. 𝐴𝐶 7
𝑃9 = 𝑟 ˆ ¬𝑟 … … . … . 𝐼. 𝐶 8.3
𝑝10 = ¬¬𝑟 … … … . . 𝐼. 𝑁 3,9
𝑝10 = 𝑟 … … … … . 𝐶𝑜𝑛𝑐𝐶 10

Respuesta: la proposición es verdadera.

 Mario, un Ingeniero Civil, visita una obra en la ciudad de Chachapoyas, al llegar a la ciudad y
ver la obra donde estaban llenando una columna, se da cuenta que quedaron en medio llenar,
entonces dice: si llenan una columna con cemento, entonces hay cemento, pero si se quedaron en
medio llenar, no hay cemento. Hacer la representación simbólica de dicho enunciado.
SOLUCION:
Sea:

P: llenan columna con cemento

q: hay cemento

Representación simbólica:
Lo realizamos por la Ley de Modus Tolles, la cual nos dice que, si se niega el consecuente de una premisa condicional,
Se concluye la negación del antecedente.

[ (p q) ˄ ~ q ] ˜p
CONCLUSIONES:
A modo de conclusión se puede decir que las inferencias lógicas ayudan a determinar la
verdad o falsedad de las proposiciones; asimismo, específicamente, las inferencias notables
en conjunto con sus propiedades y reglas contribuyen a solucionar diversas dudas que se
pueden presentar en la vida cotidiana de las personas, al igual que en la carrera de ingeniería
civil. Así pues, mediante los ejercicios aplicados se da entender la importancia de uno de los
temas de matemáticas en el contexto real.
BIBLIOGRAFÍA:
Barrios, Abreu, Ganboa & Gonzales. (2005). Las inferencias lógicas. Universidad pedagógica: Cuba.
Figueroa , R. (1982). Matemática básica 1. Ediciones RFG y Libros Virtuales: Perú.
Sainz & Hamet. (SF). Lógica y teoría de conjunos. Universidad de Girona: España.
Serna, E & Polo, A. (2014). Lógica y abstracción en la formación de ingenieros: una relación necesaria.
Ingeniería, investigación y tecnología: Colombia.
GRACIAS