1

LOGICA MATEMÁTICA

DIDIER ACOSTA CASTRO

IVAN DARIO SILVA RIVERA

LEIDY LORENA COBOS GARZÓN

MARIA NATALIA GIL ESCOBAR

RUBEN ALEXIS VELASQUEZ ALFEREZ

UNIVERSIDAD COOPERATIVA DE COLOMBIA

FACULTAD DE INGENIERÍA

INGENIERÍA CIVIL

VILLAVICENCIO

2019

LOGICA MATEMATICA
 2

TRABAJO FINAL

DIDIER ACOSTA CASTRO

IVAN DARIO SILVA RIVERA

LEIDY LORENA COBOS GARZÓN

MARIA NATALIA GIL ESCOBAR

RUBEN ALEXIS VELASQUEZ ALFEREZ

TUTOR

ERIKA VEGA ESCOBAR

UNIVERSIDAD COOPERATIVA DE COLOMBIA

INGENIERÍA CIVIL

LOGICA MATEMATICA

VILLAVICENCIO

2019
 3

Contenido

OBJETIVOS ............................................................................................................................................... 4

INTRODUCCIÓN ...................................................................................................................................... 5

INFERENCIA LÓGICA ............................................................................................................................. 6

NOTICIA .................................................................................................................................................. 12

STORYTELLING..................................................................................................................................... 16

CONCLUSIONES ..................................................................................................................................... 19

BIBLIOGRAFÍA ...................................................................................................................................... 20
 4

Objetivos

OBJETIVO GENERAL:

1. Aprender y diferenciar las reglas de inferencia de lógica matemática para fortalecer los

conceptos y temas adquiridos, para poderlas aplicar en la solución de problemas

propuestos

OBJETIVO ESPECIFICOS

1.1 Crear un cuento divertido mediante el cual podremos saber las reglas de inferencia

1.2 Analizar las premisas que integran un problema , para diseñar la estrategia de solución,

aplicando las reglas de inferencia para llegar a la demostración requerida.

 5

Introducción

En este trabajo se habla de las ley de inferencia, la cual permite al estudiante desarrollarse en

diferentes tipos de contextos. Este trabajo ayuda a entender más el mundo de la lógica y además

nos ayudara a enamorarnos más de esta.

 6

Inferencia lógica
Es el proceso de obtención de una proposición1 a partir de otra u otras proposiciones dadas, a las

cuales se aplican reglas de inferencia, de tal manera que la conclusión sea consecuencia lógica de

las premisas2. Una inferencia es válida si, y solo si la conjunción de las premisas implica la

conclusión. Una inferencia es concluyente o correcta si se realiza de acuerdo con una regla de

inferencia válida (discretas, 2017).

1.1 Reglas de inferencia y demostración

Modus ponendo ponens. Correlaciona dos proposiciones: un antecedente condicionante al que

se llama “P” y un consecuente condicionado que recibe el nombre de “Q”.

Es importante que la premisa 1 siempre presente la forma condicionante “si-entonces”; el “si”

va previo al antecedente, y el “entonces” va previo al consecuente. Su formulación es la

siguiente:

Premisa 1: Si “P” entonces “Q”.

Premisa 2: “P”.

Conclusión: “Q”.

Modus tollendo tolens. Se aplica también a las proposiciones condicionales. Pero en este caso,

negando (tollendo) el consecuente, se puede negar (tollens) el antecedente de la condicional. La

deducción siguiente es un ejemplo del uso del modus tollendo tollens. (Suppes, 2010)

La abreviatura del modus tollendo tollens es TT. (Suppes, 2010)

1
Proposición: es una palabra o un conjunto de palabras con sentido completo.
2
Premisas: proposición verdadera o que se supone que es verdadera.
 7

Ilustración 1 (G, 2013, pág. 10)

Doble negación. Es una regla simple que permite pasar de una premisa única a la conclusión. Un

ejemplo simple es el de una negación de negación, que brevemente se denomina «doble

negación». La simbolización de esta es DN. Sea la proposición:

No ocurre que Ana no es un estudiante:

¿Qué conclusión se puede sacar de esta premisa? Evidentemente, se puede decir:

Ana es un estudiante.

Así la regla de doble negación tiene dos formas simbólicas. (Suppes, 2010)

Ilustración 2 (Suppes, 2010, pág. 53)

Adjunción y simplificación. La regla que permite pasar de las dos premisas a la conclusión se

denomina regla de adjunción. Si ambas proposiciones son verdaderas, entonces se podrían juntar

en una proposición molecular utilizando el término de enlace «y» y se tendría una proposición

verdadera. Se indica abreviadamente por A.

 8

La simplificación 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. (Suppes,
2010)

PΛQ

P Ilustración 3 (Suppes, 2010)

Modus tollendo ponens. Dice que negando (tollendo) un miembro de una disjunción se afirma

(ponens) el otro miembro. La abreviatura para modus tollendo ponens es TP. Esta solo se puede

realizar mediante el enlace <O>. (Suppes, 2010)

P V ¬Q

Ley de adición. K expresa el hecho que si se tiene una proposición que es cierta, entonces la

disyunción de aquella proposición y otra cualquiera "ha de ser también cierta. Si se da la

proposición P, entonces la proposición P V Q es consecuencia.

Ilustración 4 (Suppes, 2010)

 9

Ley de silogismo hipotético. Es una proposición condicional. Su abreviatura es HS. Dados dos

implicaciones, de las cuales, el antecedente de la una sea el consecuente de la otra (el mismo

enunciado), podemos construir una nueva implicación cuyo antecedente sea el de aquella

implicación cuya consecuencia sea el antecedente de la otra implicación, y cuyo consecuente sea

el de ésta última, cuyo antecedente era consecuencia del primero.

Ilustración 5 (Suppes, 2010)

Ley de silogismo disyuntivo. Su abreviatura es DS. Puede ser conveniente considerar que para

aplicar la regla DS, se han de dar los tres pasos siguientes: Primero, se hace una inspección

general para comprobar que se tienen las dos condicionales y la disjunción requeridas. Segundo,

se comprueba cuidadosamente que los dos antecedentes de las dos condicionales son

precisamente los dos miembros de la disjunción. Tercero, se forma como conclusión una

disjunción cuyos miembros son precisamente los dos consecuentes de las dos condicionales.
 10

Ilustración 6 (Suppes, 2010)

Ley de simplificación disyuntiva. Obsérvese que las posibilidades de simplificar una disjunción

son muchas menos que las de simplificar una conjunción. En el caso de una disjunción las dos

proposiciones han de ser exactamente la misma.

Una aplicación importante de la ley de simplificación disyuntiva se presenta cuando un

silogismo disyuntivo tiene la siguiente forma especial, P V Q P —> R Q —> R Por tanto, R V R.

En este caso particular se puede simplificar la conclusión R V R reduciéndola a R. Pues si R V R

es cierta, entonces R ha de ser cierta. La inferencia de R V R A R es un ejemplo de la ley de

simplificación disyuntiva.

Leyes conmutativas. Se aplica a conjunciones y disjunciones; es decir, el cambio del orden de

los dos miembros de las conjunciones o de las disjunciones no altera su significado. La ley

conmutativa no se aplica a las condicionales. La abreviatura de esta regla es CL.

 11

Ilustración 7 (Suppes, 2010)

Leyes de Morgan. Las premisas de (a) y (b) son dos de las formas proposicionales moleculares a

las que se les puede aplicar las leyes de Morgan.

Lo que se ha de hacer para aplicar las leyes de Morgan, cuya abreviatura es DL, como una

regla de operación, es verificar los siguientes pasos:

1. Cambiar & en V o V en &;

2. Negar cada miembro de la disjunción o conjunción;

3. Negar la fórmula completa.

Ilustración 8 (Suppes, 2010)

Leyes bicondicionales. Efectivamente, una proposición bicondicional se parece

extraordinariamente a dos proposiciones condicionales. Para ilustrar esto se considera un

ejemplo en el lenguaje habitual: Estos campos se inundan si y sólo si el agua alcanza esta altura.

En forma simbólica la proposición sería: P <-» Q, donde P es el símbolo de la primera

proposición y Q es el símbolo de la última proposición. Se puede leer esta proposición: P si y

 12

sólo si Q. La proposición bicondicional P Q tiene la misma fuerza que dos proposiciones

condicionales; primera P —> Q y segunda, Q —> P. La proposición en castellano significa que

si el agua alcanza cierta altura, entonces el campo se inunda. También significa que si el campo

se inunda, entonces el agua alcanza cierta altura. Así se tiene una nueva regla que nos permite

deducir ambas P->Q y Q —> P de P <-• Q. Esta ley se denominará la ley de las proposiciones

bicondicionales, LB.

Ilustración 9 (Suppes, 2010)

Noticia
La Red de Alta Velocidad llegó a Puerto Nariño, AmazonasMinTIC conectó a Puerto Nariño,

Amazonas, con la Red de Alta Velocidad, con la que no solo los habitantes de este municipio

podrán disfrutar de Internet de calidad, sino de diferentes espacios para acceder a la tecnología.

Desde hoy, la comunidad de Puerto Nariño tendrá una mejor infraestructura de

telecomunicaciones que le permitirá conectarse con todas las oportunidades que brinda la

tecnología.

El Ministerio de Tecnologías de la Información y las Comunicaciones (MinTIC) instaló 28

torres a través de la selva amazónica para llevar Internet de alta velocidad a este municipio.
 13

Además, entregó una completa oferta de servicios, entre los que se destaca una Zona WiFi Gratis

para la gente, ubicada en el Parque Principal, para que cualquier persona pueda acceder a la red

sin costo desde sus dispositivos móviles.

Así mismo, cuatro instituciones públicas fueron beneficiadas con el servicio de Internet del

proyecto: la Alcaldía, la Personería, el Hospital y la Registraduría, con el objetivo de que puedan

prestar un mejor servicio a los habitantes de este municipio.

El Ministro TIC (e), Juan Sebastián Rozo, anunció que próximamente se entregarán ocho

Kioscos Vive Digital que estarán ubicados en veredas y corregimientos para la formación de

todos los ciudadanos que habitan en las zonas rurales, y un Punto Vive Digital con zonas de

capacitación, consolas de videojuegos y una amplia gama de cursos en manejo de Internet y

herramientas de informática.

La Red de Alta Velocidad de MinTIC está brindando soluciones inalámbricas (microondas y

satelitales) para conectar a 28 municipios y 19 áreas no municipalizadas del país, localizadas

principalmente en las regiones de la Amazonía, la Orinoquía y el Pacífico Chocoano. De estas,

ya está conectado un total de 33 localidades.

Con este proyecto, la entidad terminará de conectar el 100% de los municipios del país, al

tiempo que abre la oportunidad para que continúen llegando un sinnúmero de proyectos públicos

y privados que dinamizarán la apropiación de la tecnología, para así llevar a Colombia hacia una

economía digital. (MINTIC, 2018)

https://www.mintic.gov.co/portal/inicio/Sala-de-Prensa/Noticias/73362:La-Red-de-Alta-

Velocidad-llego-a-Puerto-Narino-Amazonas
 14

Por tanto: (Fꓥ T) (ES MALA COMPAÑÍA) Y (TIENE POCO TRABAJO)

1) (MinTIC conecta Puerto Nariño) y ((conecta 28 municipios) Y (es reconocido))

2) si (conecta 28 municipios) y (es reconocido)) entonces (tiene dinero)

3) si (tiene dinero) entonces (es mala compañía)

4) si (no tiene problemas en su red) entonces (no es mala compañía)

5) si ((tiene problemas en su red) o (tiene poco presupuesto)) entonces (tiene poco trabajo)

1)A ꓥ (Bꓥ C)

2)(Bꓥ C) → D

3)D → F

4) ¬G → ¬F

5)(Gꓦ P) → T

6)(Bꓥ C) → F HS 2,3

7)A S1

8)Bꓥ C S1

9)F PP 6,8

10)G TT 4,9

11)GVP LA 10
 15

12)T PP 5,11

13)Tꓥ F A 9,12

14)Fꓥ T CL 13

POR TANTO: ¬¬C (NO OCURRE QUE NO GANA BUEN DINERO)

1)(MinTIC conecta Puerto Nariño) o (conecta a Alto Orinoco)

2)si (MinTIC conecta Puerto Nariño) entonces (gana buen dinero)

3)si (conecta a Alto Orinoco) entonces (tiene buen trabajo)

4)no tiene buen trabajo

1) A V B

2) A → C

3) G → N

4)¬N

5)CVN DS 1,2,3

6)C TP 4,5

7)¬¬C DN 6
 16

POR TANTO: S (TIENE BUEN TRABAJO)

1)(MinTIC conecta Puerto Nariño) o (conecta a Alto Orinoco)

2)si (MinTIC conecta a Puerto Nariño) entonces (tiene buen trabajo)

3)si (conecta a Alto Orinoco) entonces (tiene buen trabajo)

1)A V B

2)A → S

3)G → S

4)S DP 1,2,3

Storytelling
LAS ONCE LEYES DE INFERENCIA.

Esta es una historia ancestral que ocurrió en el reino matemático cuándo los mundos del lenguaje

natural y simbólico no se habían separado, los caballeros sacros destinados a no dejar que

ninguna persona comprendiera la lógica, eran temidos y a la vez venerados; pero existieron once

caballeros sacros que traicionaron al reino, se les conoce como: las once leyes de inferencia que

eran portadores de once tesoros sagrados dados por el árbol sagrado de la vida.

Las once leyes de inferencia fueron acusadas de traición en contra del reino, más sin embargo

lograron escapar; fueron perseguidos por todo el resto de los caballeros sacros hasta el valle de la

perdición, en suspenso puesto que lucharían contra las poderosas e indomables once leyes de

inferencia que por supuesto estaban dispuestas a proteger hasta con su vida los secretos que le

permitirían al reino entero entender la lógica matemática y si era necesario matar a sus
 17

adversarios quienes buscaban destruir las habilidades dadas a las once leyes de inferencia por el

árbol sagrado de la vida.

Comienza la batalla y los caballeros saben que sus contrincantes son de muy hábiles en

batalla. La primera ley se llamaba ponendo ponens que tenía la habilidad de adaptarse e igualar

el nivel del rival para así ahorrar energía. También se encontraban tollendo tollens y doble

negación que tenían la habilidad de cambiar una circunstancia en su contra a su favor y

retrucárselo a su adversario; por otra parte, las leyes de la adjunción y simplificación: la primera

podía hacer que los miembros de su grupo se unieran en una solo armadura, más poderosa

generando mayor habilidad en todas sus partes mientras que la segunda ley separaba a los

miembros del equipo contrario para así eliminarlos más fácilmente uno a uno. La ley de la

adición era la hechicera del grupo capaz de hacer aparecer los componentes necesarios para

obtener los resultados propuestos, otro miembro de las leyes de interferencia era el tollendo

ponens el cual tenía la habilidad de que asiéndose daño a si mismo dañaba a su rival. El otro

caballero del grupo era el silogismo hipotético quien podía condicionar las habilidades del rival,

aunque también condicionaba las suyas lo cual también lo volvía vulnerable en algunas

ocasiones. la otra miembro era la ley conmutativa una experta en espionaje podía cambiar de

cuerpo con un enemigo y aun así sus habilidades seguían intactas siendo indetectable en medio

de los demás enemigos conocía el pasado y el presente del cuerpo que estaba ocupando. Otro

miembro era la ley del silogismo disyuntivo el cual su habilidad era la de determinar el rango de

poder de los enemigos colocando al que tuviese mayor como principal en la lista de blancos. Y

por último estaba la simplificación disyuntiva era aquella la líder del grupo la cual en situaciones

complicadas buscaba dos opciones similares para llegar a la conclusión rápida y eficaz.
 18

La batalla duro muchos años dando como vencedores a las once leyes de inferencia que

regresaron al reino matemático y enseñaron sus habilidades a las personas del reino esparciendo

hasta los días de hoy el conocimiento lógico matemático.

 19

CONCLUSIONES

En conclusión, se fortalecieron conceptos basados en las reglas de inferencia lógica ayudando a

diferenciar al estudiante cada tipo de regla. Además mediante el storytelling el lector toma de

manera divertida los conceptos de cada regla aplicándolos en los ejercicios y además diseña

nuevas estrategias para facilitar la comprensión y uso de estas.

 20

Bibliografía
discretas, M. (27 de Noviembre de 2017). Obtenido de Medium Corporation US:
https://medium.com/@matematicasdiscretaslibro/5-inferencia-y-demostraci%C3%B3n-
2a000b541c0a

G, O. P. (2013). SlideShare. Obtenido de https://es.slideshare.net/ossiperezg/logica-17270250

MINTIC. (11 de MAYO de 2018). MINTIC. Obtenido de MINTIC:

https://www.mintic.gov.co/portal/inicio/Sala-de-Prensa/Noticias/73362:La-Red-de-Alta-
Velocidad-llego-a-Puerto-Narino-Amazonas

Suppes, P. (2010). Introducción a la logica. Revertié.