COMPETENCIA
Aplica
contenidos
conceptuales
y
procedimentales de la Lgica Matemtica para
solucionar problemas de la realidad, de
manera acertada, responsable y proactiva
Introduccin
INDICADORES
Deduce conclusiones vlidas usando las leyes de
inferencia lgica.
Evala la validez de un argumento lgico
ambigedades y un manejo inadecuado en las investigaciones que el profesional realiza, sobre todo cuando se
solicitan inferencias de lo que ocurre a nuestro alrededor.
Los argumentos basados en tautologas, representan mtodos de razonamiento que son 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. A esos argumentos se les llama reglas de inferencia. Las reglas de
inferencia permiten relacionar dos o ms Tautologas e hiptesis en una demostracin Matemtica y son de
gran aplicacin en las ciencias, la poltica, la publicidad, la banca, y en general, en todos los mbitos en donde
se razone y se investigue.
Los invitamos a entrar a este mundo fascinante, que es un inicio para lograr el objetivo primordial de hacer
investigacin cientfica, desde un enfoque crtico y propositivo, deductivo e inductivo, teniendo en cuenta
adems, las ideas de Descartes: la evidencia, el anlisis, la sntesis y la comprobacin, como pasos
fundamentales en este gran reto de explicar nuestro devenir y hacer ciencia, porque aun las generaciones
futuras lo agradecern.
INFERENCIAS LGICAS
FORMAL
Definicin:
Una Inferencia Lgica es una estructura de proposiciones llamadas premisas, en base a las cuales inferimos
otra proposicin llamada conclusin. Tambin podemos sostener que es el proceso de pasar de un conjunto
de premisas a una conclusin.
a. Esquema Lineal:
Qu entendemos
por premisas?
(razonamiento
incorrecto, falacia o argumento no vlido).
Son proposiciones simples o compuestas, por ejemplo:
pvq
pq
p
pq
(p v q) (r s)
LEYES DE INFERENCIA:
ESQUEMAS LINEALES
I1 : A B A B
ESQUEMAS VERTICALES
I1 : P1 :A B
P2 :A
C :B
I2 : A B A B
I2 : P1 :A B
P2 :A
C :B
I3 : A B B A
I3 : P1 :A B
P2 :B
C :A
Formal:
Lea el siguiente razonamiento, identifique las premisas y luego obtenga la conclusin aplicando MPP.
Ejemplo (1)
Si el nio es abandonado, entonces es protegido por el estado. Pero el nio es abandonado. Luego,
Solucin:
P1: El nio es abandonado, entonces es protegido por el estado
P2: El nio es abandonado.
P1 :p q
P2 :p
C:q
Ejemplo (2)
El desarrollo de un pas se promueve a travs de sus carreteras si y slo si ellas nos permitan llevar salud,
educacin y generacin de comercio. Pero el desarrollo de un pas se promueve a travs de sus carreteras.
Por lo tanto: .
Solucin:
P1: El desarrollo de un pas se promueve a travs de sus carreteras si y slo si ellas nos permitan llevar salud,
educacin y generacin de comercio.
P2: El desarrollo de un pas se promueve a travs de sus carreteras.
C: Las carreteras nos permitan llevar salud, educacin y generacin de comercio.
Formalizando:
P1 :p q r s
P2 :p
C : q r s
2. MODUS TOLLENDO TOLLENS (MTT):
ESQUEMAS LINEALES
II1 : A B B A
II2 : A B B A
ESQUEMAS VERTICALES
II1 :P1 :A B
P2 :B
C : A
II2 :P1 :A B
P2 :B
C :A
II3 : A B A B
II3 :P1 :A B
P2 :A
C :B
Lea el siguiente razonamiento, identifique las premisas y luego obtenga la conclusin aplicando MTT.
Ejemplo (1)
Ya que la Ingeniera industrial se ocupa de la evaluacin de sistemas integrados entonces emplea
conocimientos de las ciencias matemticas. Sin embargo la ingeniera industrial no emplea conocimientos de
las ciencias matemticas. En consecuencia,
Solucin:
P1: Ya que la Ingeniera industrial se ocupa de la evaluacin de sistemas integrados entonces emplea
conocimientos de las ciencias matemticas.
P2: la ingeniera industrial no emplea conocimientos de las ciencias matemticas.
C: La Ingeniera industrial no se ocupa de la evaluacin de sistemas integrados.
Formalizando:
P1 : p q
P2 : q
C : p
Ejemplo (2)
Si se invirtiera ms en la educacin, entonces tendramos un pas econmica y socialmente ms fuerte. Pero
es mentira que, tenemos un pas econmica y socialmente fuerte. Se concluye,
Solucin:
P1: Si se invirtiera ms en la educacin, entonces tendramos un pas econmica y socialmente ms fuerte
P2: Es mentira que, tenemos un pas econmica y socialmente fuerte.
C: Es falso que, se invierta ms en la educacin
Formalizando:
P1 : p ( q r )
P2 : (q r )
C : p
ESQUEMAS LINEALES
III1 : AB A B
III2 : AB B A
ESQUEMAS VERTICALES
III 1
P1 : AB
P2 : A
C : B
III 2
P1 : AB
P2 : B
C : A
Solucin:
P1: O bien el idioma espaol se habla en el Per desde 1532 o los primeros peruanos del Per hablaron el
espaol.
P2: Los primeros peruanos hablaron el espaol.
C: Es mentira que el idioma espaol se habla en el Per desde 1532.
Formalizando:
P1 : pq
P2 : q
C : p
Ejemplo (2)
O Louis Pasteur es el creador de la teora microbiana del origen de las enfermedades o es el fundador de la
bacteriologa moderna. Louis Pasteur cre la teora microbiana del origen de las enfermedades. Por lo tanto,
Solucin:
P1: O Louis Pasteur es el creador de la teora microbiana del origen de las enfermedades o es el fundador de la
bacteriologa moderna.
P2: Louis Pasteur cre la teora microbiana del origen de las enfermedades.
C: Louis Pasteur no es el fundador de la bacteriologa moderna.
Formalizando:
P1 : pq
P2 : p
C : q
ESQUEMAS LINEALES
IV1 : A B A B
ESQUEMAS VERTICALES
IV1
P1 : A B
P2 :A
C :B
IV2 : A B B A
IV2
P1 :A B
P2 :B
C :A
IV3 : AB A B
IV3
P1 : AB
P2 :A
C :B
IV4 : AB B A
IV4
P1 :AB
P2 :B
C :A
Formalizando:
P1 : pq
P2 : p
C :q
Ejemplo (2)
No es cierto que, la ingeniera industrial se ocupe de la evaluacin de sistemas integrados as como no emplea
conocimientos de las ciencias matemticas. Sin embargo, es falso que la ingeniera industrial no se ocupe de
la evaluacin de sistemas integrados. En consecuencia,Solucin:
P1: No es cierto que, la Ingeniera industrial se ocupe de la evaluacin de sistemas integrados as como no
emplea conocimientos de las ciencias matemticas.
P2: Es falso que la ingeniera industrial no se ocupe de la evaluacin de sistemas integrados.
P1 : ( p q) p q
P2 : (p)
C :q
V: SILOGISMOS
V.1. SILOGISMO HIPOTTICO PURO (SHP)
ESQUEMAS LINEALES
V1 : A B B C A C
ESQUEMAS VERTICALES
V1 : P1 :A B
P2 :B C
C:A C
P2: Si los turistas llegan de todas partes del mundo entonces la demanda de hospedajes aumentarn.
hospedajes
aumentar.
Formalizando:
P1 :p q
P2 :q r
C: p r
Ejemplo (2)
Samsung Electronics presenta el modelo Smartphone Galaxy Nexus de modo que aumentan las ventas para
las telefonas de Movistar y Claro. No obstante si aumentan las ventas para las telefonas de Movistar y Claro,
ms peruanos adquirirn el modelo Smartphone GalaxyNexus. Por consiguiente,
Solucin:
P1: Samsung Electronics presenta el modelo Smartphone Galaxy Nexus de modo que aumentan las ventas
para las telefonas de Movistar y Claro.
P2: Si aumentan las ventas para las telefonas de Movistar y Claro, ms peruanos adquirirn el modelo
Smartphone GalaxyNexus.
C: Si Samsung Electronics
adquirirn.
Formalizando:
P1 :p q r
P2 : q r s
C: p s
ESQUEMAS LINEAL
ESQUEMAS VERTICAL
V2 : A B B C A C
V2 :
P1 : A B
P2 :B C
C:A C
VI. DILEMAS
Estructuras lgicas conformadas por tres premisas y una conclusin
ESQUEMAS LINEAL
ESQUEMAS VERTICAL
VI1 : A B C D A C B D
VI1 : P1 :A B
P2 :C D
P3 :A C
C:B D
C: El trigo sirve para la alimentacin del hombre o bien la cebada sirve para la elaboracin de cerveza.
Formalizando:
P1 : p q
P2 : r s
P3 : p r
C:q s
Ejemplo (2)
Si la empresa consultora de sistemas busca analistas entonces ellos formarn parte del equipo de trabajo. Si
ellos son asignados a distintos proyectos tanto nacionales como internacionales, entonces cumplirn la funcin
de liderar. Sin embargo la empresa consultora de sistemas busca analistas a no ser que ellos son asignados a
distintos proyectos tanto nacionales como internacionales. Por lo tanto,
Solucin:
P1: Si la empresa consultora de sistemas busca analistas entonces ellos formarn parte del equipo de trabajo.
P2: Si ellos son asignados a distintos proyectos tanto nacionales como internacionales, entonces cumplirn la
funcin de liderar.
P3: la empresa consultora de sistemas busca analistas a no ser que ellos son asignados a distintos proyectos
tanto nacionales como internacionales.
C: Los analistas formarn parte del equipo de trabajo o incluso cumplirn la funcin de liderar.
Formalizando:
P1 : p q
P2 : r s t
P3 : p r s
C:q t
VI.2. DILEMA DESTRUCTIVO COMPUESTO (DDC)
ESQUEMAS LINEAL
ESQUEMAS VERTICAL
VI2 : A B C D B D A C
VI2 : P1 :A B
P2 :C D
P3 :B D
C:A C
Lea el siguiente razonamiento, identifique las premisas y luego obtenga la conclusin aplicando DCC
Ejemplo (1)
Si el congreso se rene en legislatura ordinaria, entonces ha sido convocado por su presidente. Si el congreso
se rene en legislatura extraordinaria, entonces ha sido convocado a pedido del presidente de la repblica. El
congreso no ha sido convocado por el presidente del congreso o no ha sido convocado a pedido del presidente
de la repblica.En consecuencia
Solucin:
P1: Si el congreso se rene en legislatura ordinaria, entonces ha sido convocado por su presidente.
P2: Si el congreso se rene en legislatura extraordinaria, entonces ha sido convocado a pedido del presidente
de la repblica.
P3: El congreso no ha sido convocado por el presidente del congreso o no ha sido convocado a pedido del
presidente de la repblica.
C: El congreso no se rene en legislatura ordinaria o tampoco en legislatura extraordinaria
Formalizando:
P1 : p q
P2 : r s
P3 : q s
C: p r
Ejemplo (2)
Ya que la migraa es un tipo de dolor de cabeza usualmente muy intenso es evidente que imposibilita a quien la
padece. Si la migraa es una enfermedad de tipo neurolgico entonces hace padecer de ataques de dolor de
cabeza muy severo. No es el caso que, la migraa imposibilita a quien la padece incluso padecer de ataques
de dolor de cabeza muy severo. Por consiguiente,
Solucin:
P1: Ya que la migraa es un tipo de dolor de cabeza usualmente muy intenso es evidente que imposibilita a
quien la padece.
P2: Si la migraa es una enfermedad de tipo neurolgico entonces hace padecer de ataques de dolor de
cabeza muy severo.
P3: No es el caso que, la migraa imposibilita a quien la padece incluso padecer de ataques de dolor de cabeza
muy severo.
C: La migraa no es un tipo de dolor de cabeza usualmente muy intenso a menos que la migraa no es una
enfermedad de tipo neurolgico.
Formalizando:
P1 :p q
P2 :r s
P3 :( q s ) q s
C: p r
Lea el siguiente razonamiento, identifique las premisas y luego obtenga la conclusin aplicando
equivalencias lgicas e inferencias.
Ejemplo (1)
Si las actividades de tu negocio se planifican a tiempo, podrs delegar funciones para el xito de tu empresa. Si
decides iniciar negocios con pases extranjeros, debers estudiar los movimientos econmicos mundiales. Si
delegas funciones para el xito de tu empresa o estudias los movimientos econmicos mundiales entonces
logrars entrar en mercados internacionales. Las actividades de tu negocio se planifican a tiempo o decides
iniciar negocios con pases extranjeros. Por consiguiente,
FORMA VERTICAL
APLICACIN
DE
LEYES
DE
INFERENCIA
CONCLUSIN
VERBAL
DCC
MPP
P1: p q
P1: p q
P3: (q v s) t
logrars
P2: r s
P2: r s
P5: q v s
mercados
P3: (q v s) t
P4: p v r
P6: t
internacionales
P4: p v r
P5: q v s
entrar
en
C:
Ejemplo (2)
Si el maz morado contiene mltiples antioxidantes entonces es recomendable ingerir de uno a dos vasos de
esta bebida al da. Ya que es recomendable ingerir de uno a dos vasos de esta bebida al da es evidente que
sus antioxidantes retardan la oxidacin de las molculas. Sin embargo sus antioxidantes retardan la oxidacin
de las molculas o solamente reduce el colesterol gracias a sus efectos diurticos. Pero consumir chicha
morada ayuda a prevenir el cncer de colon de manera que reduce el colesterol gracias a sus efectos
diurticos. Sin embargo el maz morado contiene mltiples antioxidantes. En consecuencia,
FORMA VERTICAL
CONCLUSIN
VERBAL
SHP
MPP
MPT
MTT
P2: q r
P1: p q
P6: p r
P3: r s
P4: t s
P3: r s
P2: q r
P5: p
P7: r
P8: s
Consumir
P4: t s
P6: p r
P7: r
P8: s
C: t
morada no ayuda
P1: p q
P5: p
chicha
prevenir
cncer de colon.
C:
el
RESUMEN
MODUS
MODUS PONENDO
PONENDO PONENS
PONENS (MPP):
(MPP):
MODUS
MODUS TOLLENDO
TOLLENDO TOLLENS
TOLLENS (MTT):
(MTT):
MODUS
MODUS PONENDO
PONENDO TOLLENS
TOLLENS (MPT):
(MPT):
INFERENCIAS LGICAS
INFERENCIAS LGICAS
MODUS
MODUS TOLLENDO
TOLLENDO PONENS
PONENS (MTP):
(MTP):
SILOGISMO
SILOGISMO HIPOTTICO
HIPOTTICO PURO
PURO (SHP)
(SHP)
DILEMA
DILEMA CONSTRUCTIVO
CONSTRUCTIVO COMPUESTO
COMPUESTO (DCC):
(DCC):
DILEMAS
DILEMA
DILEMA DESTRUCTIVO
DESTRUCTIVO COMPUESTO
COMPUESTO (DDC):
(DDC):
HOJA DE TRABAJO # 4
Determine la conclusin de los siguientes argumentos aplicando las reglas de inferencias lgicas
estudiadas en clase. Menciona la ley lgica.
HOJA DE TRABAJO # 4
1. O la tarjeta de video se encuentra en la placa del sistema del computador o en la placa de expansin.
La tarjeta de video no se encuentra en la placa de expansin. Por lo tanto,
FORMALIZACIN VERTICAL Y APLICACIN DE LA LEY
CONCLUSIN
LEY
DE
DE INFERENCIA
VERBAL
INFERENCIA
2. Las personas con diabetes mellitus no requieren inyecciones de insulina porque las clulas del
organismo se vuelven menos receptivas a la insulina .Pero las personas con diabetes mellitus
requieren inyecciones de insulina. Por consiguiente,
FORMALIZACIN VERTICAL Y APLICACINDE LA LEY
CONCLUSIN
LEY DE
DE INFERENCIA
VERBAL
INFERENCIA
3. Si la Psicomotricidad se fundamenta en una visin unitaria del ser humano, entonces los nios realizan
movimientos involuntarios que progresivamente se conviertan en voluntarios. Sin embargo la
Psicomotricidad se fundamenta en una visin unitaria del ser humano. De ah que,
FORMALIZACIN VERTICAL Y APLICACINDE LA LEY
CONCLUSIN
LEY DE
DE INFERENCIA
VERBAL
INFERENCIA
4. Ya que el Per cuenta con innumerables lugares tursticos es evidente que se disearon polticas que
permitan aprovechar al mximo los destinos tursticos. El Per cuenta con innumerables lugares
tursticos. Por lo tanto,
FORMALIZACIN VERTICAL Y APLICACIN DE LA LEY
CONCLUSIN
LEY
DE INFERENCIA
VERBAL
INFERENCIA
DE
5. La quinua por su gran cantidad de fibra da sensacin de saciedad de ah que es buena para las
personas que estn en regmenes dietticos. Adems si la kiwicha es uno de los cereales considerado
como buena fuente de protenas, entonces favorece el crecimiento de los nios. La quinua por su gran
cantidad de fibra da sensacin de saciedad o la kiwicha es uno de los cereales considerado como
buena fuente de protenas. Por consiguiente, ...
FORMALIZACIN VERTICAL Y APLICACIN DE LA
CONCLUSIN
LEY
DE
LEY DE INFERENCIA
VERBAL
INFERENCIA
CONCLUSIN
LEY
DE
DE INFERENCIA
VERBAL
INFERENCIA
7. El estado puede quedarse con los bienes del contribuyente o tan slo la SUNAT puede rematar los
bienes del contribuyente. la SUNAT puede rematar los bienes del contribuyente. En consecuencia,
CONCLUSIN
LEY DE
DE LA LEY DE INFERENCIA
VERBAL
INFERENCIA
CONCLUSIN
LEY DE
DE LA LEY DE INFERENCIA
VERBAL
INFERENCIA
9. Si el Per no toma las medidas para superar los obstculos de su crecimiento, perder la oportunidad
de convertirse en una fuerza econmica regional y global. Pero no es cierto que el Per perder la
oportunidad de convertirse en una fuerza econmica regional y global. Por tanto,
FORMALIZACIN VERTICAL Y APLICACIN
CONCLUSIN
LEY DE
DE LA LEY DE INFERENCIA
VERBAL
INFERENCIA
10. Si los programas computacionales ayudan a presentar ejemplos de arquitectura en 3D, entonces los
proyectos arquitectnicos pueden ser mostrados a travs de la tecnologa computacional. Adems el
arquitecto es un gran conocedor de los avances tecnolgicos ya que la tecnologa computacional
ayuda al arquitecto a cambiar los elementos de diseo antes de ejecutarlos. Sin embargo los
programas computacionales ayudan a presentar ejemplos de arquitectura en 3D o incluso la tecnologa
computacional ayuda al arquitecto a cambiar los elementos de diseo antes de ejecutarlos. Po lo tanto,
CONCLUSIN
LEY DE
DE LA LEY DE INFERENCIA
VERBAL
INFERENCIA
11. La diabetes es el resultado de que el cuerpo no produce suficiente insulina siempre y cuando el
pncreas no produce insulina. Pero el pncreas no produce insulina si y solo si las clulas se ven
imposibilitadas de utilizar la glucosa que hay en la sangre. Luego,
CONCLUSIN
LEY DE
DE LA LEY DE INFERENCIA
VERBAL
INFERENCIA
12. Ya que el arquitecto se encarga de disear edificaciones, es evidente que tiene una labor asociada a la
alta creatividad para optimizar el uso de recursos. Si el arquitecto tiene una labor asociada a la alta
creatividad para optimizar el uso de recursos, entonces el ingeniero civil verifica el nivel de resistencia
de una edificacin. Por consiguiente,
FORMALIZACIN VERTICAL Y APLICACIN
CONCLUSIN
LEY DE
DE LA LEY DE INFERENCIA
VERBAL
INFERENCIA
13. El crecimiento econmico desigual de los pases genera protestas y problemas sociales, de ah que
afecta la inversin de las empresas privadas. Sin embargo, es imposible que el crecimiento econmico
desigual afecte la inversin de las empresas privadas. Por lo tanto,
FORMALIZACIN VERTICAL Y APLICACIN
CONCLUSIN
LEY DE
DE LA LEY DE INFERENCIA
VERBAL
INFERENCIA
14. Si los anticuerpos son protenas que producen el organismo para destruir bacterias, entonces los
autoanticuerpos atacan los propios tejidos del organismo. Ya que los autoanticuerpos atacan los
propios tejidos del organismo, es evidente que las personas que desarrollan diabetes poseen
concentraciones elevadas de autoanticuerpos en la sangre. Por consiguiente,
FORMALIZACIN VERTICAL Y APLICACIN
CONCLUSIN
LEY DE
DE LA LEY DE INFERENCIA
VERBAL
INFERENCIA
15. Ya que el SQL es un estndar definido para el manejo de base de datos, entonces es una herramienta
usada para crear nuevas bases de datos y nuevas tablas. Pero si es una herramienta usada para crear
nuevas bases de datos y nuevas tablas, es un lenguaje de computadora que se utiliza para interactuar
con una base de datos. Por tanto,
FORMALIZACIN VERTICAL Y APLICACIN
CONCLUSIN
LEY DE
DE LA LEY DE INFERENCIA
VERBAL
INFERENCIA
16. Si el precio del crudo cae en el mercado internacional, entonces las regiones tendrn menores ingresos
por concepto de canon petrolero y no podrn cumplir con la ejecucin de obras previstas para el ao
2014. Pero, El precio del crudo cae en el mercado internacional. En consecuencia
FORMALIZACIN VERTICAL Y APLICACIN
CONCLUSIN
LEY DE
DE LA LEY DE INFERENCIA
VERBAL
INFERENCIA
17. Un abogado penalista se puede encargar de la defensa tanto en juicios penales como en juicios con
jurado, o solamente asiste al detenido tanto ante la polica como en el juzgado. Asiste al detenido tanto
ante la polica como en el juzgado. Por consiguiente,
FORMALIZACIN VERTICAL Y APLICACIN
CONCLUSIN
LEY DE
DE LA LEY DE INFERENCIA
VERBAL
INFERENCIA
18. Si el ingeniero industrial no tiene una clara vocacin en la optimizacin de la utilizacin de recursos,
entonces no emplea conocimientos bsicos de las ciencias matemticas. Sin embargo, el ingeniero
industrial emplea conocimientos bsicos de las ciencias matemticas. En consecuencia
FORMALIZACIN VERTICAL Y APLICACIN
CONCLUSIN
LEY DE
DE LA LEY DE INFERENCIA
VERBAL
INFERENCIA
19. La industrializacin llegar a la regin amaznica del Per siempre y cuando se impulse el surgimiento
de autnticas empresas manufactureras en la zona amaznica. As tambin, significar
ingresos para el estado
si y solo si no se impulse
mayores
CONCLUSIN
LEY DE
DE LA LEY DE INFERENCIA
VERBAL
INFERENCIA
20. Tanto las plantas como los animales juegan papeles esenciales en la existencia de los humanos, de ah
que, la conservacin de las especies es fundamental para el medioambiente. Sin embargo, es
totalmente falso que la conservacin de las especies sea fundamental para el medioambiente aunque
no contribuyan al proceso de vital importancia para la vida en la tierra. Por consiguiente , ...
FORMALIZACIN VERTICAL Y APLICACIN
CONCLUSIN
LEY DE
DE LA LEY DE INFERENCIA
VERBAL
INFERENCIA