TRABAJO COLABORATIVO 2

PRESENTADO POR:

RAUL ALEJANDRO MORA JIMENEZ

CHRISTIAN ALFONSO MONTILLA

LILIBETH RODRIGUEZ

TUTORA:

PATRICIA LEGUIZAMON

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LA ESCUELA DE CIENCIAS ADMINISTRATIVAS – CONTABLES –

LOGICA MATEMATICA

2016
 INTRODUCCIÓN

Este trabajo se realiza con el fin de dar continuidad al proceso establecido por el curso de Lógica

Matemática, aquí se comprenderá y se tendrán en cuenta identificar los tipos de razonamiento, la

validez de las conclusiones y la demostración por inferencias, tablas de verdad y reducción al

absurdo.

En el desarrollo de esta actividad se mostraran a través de algunos ejemplos los temas propuestos.
 OBJETIVOS

 Realizar la actividad de acuerdo a los parámetros establecidos.

 Interpretar e identificar conceptos y teorías de lógica matemática.

 Entender los diferentes principios y formas para demostrar una ley dando solución a un

problema con inquietudes.

 Aplicar los conocimientos adquiridos a los problemas que se presentan en la vida cotidiana.
Tarea 1: Aplicación de las leyes de inferencia.

Reglas de Inferencia

Es una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas

establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción

llamada conclusión.

MODUS PONENDO PONENS

La regla ‘ponendo ponens’ significa, “afirmando afirmo” y en un condicional establece, que si el

antecedente (primer término, en este caso p) se afirma, necesariamente se afirma el consecuente

(segundo término, en este caso q)

(Primer término) El río tiene agua entonces me mojo si entro en él (conclusión verdadera)

Si entro en el río me mojo.

MODUS TOLLENDO TOLLENS

Tollendo tollens’ significa “negando, niego”, y se refiere a una propiedad inversa de los

condicionales.

Implicación que debe ser verdadera

10<3 entonces 4=1

F => F

Falso implica falso nos da un valor verdadero.

El modus tollendo tollens nos dice que la negación de la primera es verdadera

10>3

La regla ‘doble negación’, simplemente establece que si un enunciado está doblemente negado,

equivaldría al enunciado afirmado.

¬¬ “no ocurre que Ana no es una estudiante”

¬p “Ana es una estudiante”

Adjunción

Si disponemos de dos enunciados afirmados como dos premisas separadas, mediante la adjunción,

podemos unirlos en una sola premisa utilizando el operador (conjunción).

Simplificación

Obviamente, 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.

MODUS TOLLENDO PONENS

Tollendo Ponens (negando afirmo): si uno de los miembros de una disyunción es negado, el otro

miembro queda automáticamente afirmado, ya que uno de los términos de la elección ha sido

descartado.

p v q “he ido al colegio o me he salido a recreo”

¬ q “no he salido a recreo”

P “por lo tanto, he ido al colegio”

LEY DE LA ADICIÓN

Dado un enunciado cualquiera, es posible expresarlo como una elección (disyunción) acompañado

por cualquier otro enunciado

a “he comprado peras”

a V b “he comprado peras o he comprado duraznos”

SILOGISMO HIPOTÉTICO

Si una causa se sigue una consecuencia, y ésta consecuencia es a su vez causa de una segunda

consecuencia, se puede decir que esa primera causa es causa de esa segunda consecuencia.

P->q Si el perro ladra durante la noche, un desconocido puede estar merodeando cerca.

q->r Si un desconocido está merodeando cerca, entonces es mejor colocar la cerradura.

p->r Por lo tanto, si el perro ladra durante la noche, entonces es mejor colocar la cerradura.

SILOGISMO DISYUNTIVO

Dadas tres premisas, dos de ellas implicaciones, y la tercera una disyunción cuyos miembros sean

los antecedentes de los condicionales, podemos concluir en una nueva premisa en forma de

disyunción, cuyos miembros serían los consecuentes de las dos implicaciones.

SIMPLIFICACIÓN DISYUNTIVA

Si disponemos de dos premisas que corresponden a dos implicaciones con el mismo consecuente,

y sus antecedentes se corresponden con los dos miembros de una disyunción, podemos concluir

con el consecuente de ambas implicaciones.

pVq “ Helado de fresa o helado de vainilla”

p -> r “Si tomas helado de fresa, entonces repites”

q -> r “Si tomas helado de vainilla, entonces repites”

LEY CONMUTATIVA

Esta ley, no es válida para la implicación, pero sí para conjunción y para la disyunción. Una

conjunción es afirmar que se dan dos cosas a la vez, de modo que el orden de sus elementos no

cambia este hecho. Igualmente, una disyunción es presentar una elección entre dos cosas, sin

importar en qué orden se presente esta elección

P /\ q <-> q /\ p “<p y q> equivale a <q y p>”

P V q <-> q V p “<p ó q> equivale a <q ó p>”

LEYES DE MORGAN

Esta ley permite transformar una disyunción en una conjunción, y viceversa, es decir, una

conjunción en una disyunción. Cuando se pasa de una a otra, se cambian los valores de afirmación

y negación de los términos de la disyunción/conjunción así como de la propia operación en

conjunto.

𝑝 /\ 𝑞 𝑝𝑉𝑞
¬(¬𝑝 𝑉 ¬𝑞 ¬(¬𝑝 /\ ¬𝑞

MODUS PONNES

Conocido como modus ponendo ponens o también modus ponens y generalmente abreviado MPP
o MP, en latín significa modo que afirmado, afirma. Esta regla de inferencia que tiene la siguiente
forma simbólica ((P → Q) ^ P) → Q.

Ejemplos

1. Premisa 1 P→Q Si es barranquillero, entonces es costeño

Premisa 2 P____ Es barranquillero
Conclusión Q Es costeño MPP

2. Premisa 1 P→Q Si es rumbero, entonces le gusta la fiesta

Premisa 2 P____ Es rumbero
Conclusión Q Le gusta la fiesta MPP

3. Premisa 1 P→Q Si es piloto, entonces vuela en aviones

Premisa 2 P____ Es piloto
Conclusión Q vuela en aviones MPP
MODUS TOLLENDO TOLLEN

El modus tollendo tollens significa en latín modo que negando niega, también es conocido como
modus tollens y generalmente abreviado MTT o MT, es una regla de inferencia que tiene la
siguiente forma: ((P → Q) ^ (Q→R)) → (P→R)

1. Premisa 1 P→Q Si hay sol, entonces me bronceo

Premisa 2 ___¬Q No me bronceo
Conclusión ¬P No hay sol MTT

2. Premisa 1 P→Q Si estoy triste, entonces tengo depresión.

Premisa 2 ___¬Q No tengo depresión
Conclusión ¬P No estoy triste MTT

3. Premisa 1 P → Q Si salgo temprano, entonces llego a tiempo al trabajo

Premisa 2 ___¬Q No llego temprano al trabajo
Conclusión ¬P No salgo temprano MTT

SILOGISMO HIPOTETICO

En lógica es una forma de argumento válido que es un silogismo que tiene una sentencia
condicional para una o ambas de sus premisas. De una causa sigue otra causa y esta causa es a su
vez la causa de una segunda consecuencia, se puede decir que la primera causa es la causa de la
segunda consecuencia.

El silogismo hipotético es de las reglas de inferencia válida que abreviado es SH y a veces también
es conocido como argumento cadena, regla de cadena, o el principio de transitividad de la
implicación y tiene la siguiente forma ((P → Q) ^ ¬Q) → ¬P.

1. Premisa 1 P → Q Si hoy trasmiten el juego del real, entonces veo futbol.

 Premisa 2 Q → R Si veo futbol entonces hay que prender la tele.
Conclusión P → R Si hoy trasmiten el juego del real entonces hay que prender la tele
SH.

2. Premisa 1 P → Q Si salgo a trotar, entonces hago ejercicio.

Premisa 2 Q → R Si hago ejercicio entonces tengo buen cuerpo.
Conclusión P → R Si salgo a trotar entonces tengo buen cuerpo SH.

3. Premisa 1 P → Q Si voy a clases, entonces entiendo el tema.

Premisa 2 Q → R Si entiendo el tema entonces paso el examen.
Conclusión P → R Si voy a clases entonces paso el examen SH.

Tarea 2: Problemas de aplicación I parte.

Solucionar los siguientes enunciados y demostrar la validez o no validez del argumento dado a

través de:

Uso de las tablas de verdad.

Uso de las leyes de Inferencia.

a. Estudiar en la modalidad a Distancia en la UNAD es una metodología educativa que

realmente forma profesionales competentes, pues se debe ser muy disciplinado con los

hábitos de estudio adquiridos para cumplir con las actividades académicas, pero con la

ventaja de que al usar las tecnologías facilita la comunicación entre los diferentes

protagonistas del proceso de formación académico. Carolina se ha esforzado por mantener

un sólido hábito de estudio, pero hay momentos en que el cansancio la vence, el siguiente

relato es algo que le ocurrió un día: “Si me mandas la guía de actividades por mensajería

interna del curso, entonces terminaré de realizar las demostraciones. Si no me mandas la

guía de actividades por mensajería interna, me iré a la cama temprano. Y si me voy a la

cama temprano, me levantaré descansada. Por lo tanto, si no acabo de realizar las

demostraciones, me levantaré descansada”. (Gómez, 2015)

 P Si me mandas la guía de actividades por mensajería interna del curso.

 Q entonces terminaré de realizar las demostraciones.

 R me iré a la cama temprano.

 S me levantaré descansada.

( P → Q ) ^ ( ¬ P → R ) ᴧ ( R → S ) → ( ¬ Q → S )

V V V V F V V V V V V V V F V V V

V V V V F V V V F V F F V F V V F

V V F V F V V F V F V V V F V V V

V V F V F V V F V F V F V F V V F

V F V F F V V V F V V V V V F V V

V F V F F V V V F V F F V V F F F

V F F F F V V F F F V V V V F V V

V F F F F V V F F F V F V V F F F

F V V V V F V V V V V V V F V V V
 F V V V V F V V V V V F V F V V F

F V F F V F F F F F V V V F V V V

F V F F V F F F F F V F V F V V F

F F V V V F V V V V V V V V F V V

F F V V V F V V F V F F V V F F F

F F F F V F F F F F V V V V F V V

F F F F V F F F F F V F V V F F F

b. Johanna está planteando una situación problemática para su ensayo del curso de

Matemáticas financiera de la UNAD, para lo cual hace la siguiente cita bibliográfica: “Si

hay una situación de crisis económica, el índice de natalidad disminuye. Si avanza la

medicina, las expectativas de vida serán mayores. Si el índice de natalidad disminuye y las

expectativas de vida se hacen mayores, entonces la sociedad irá envejeciendo rápidamente.

La crisis económica es un hecho y los avances en la medicina son constantes. Luego, la

sociedad envejecerá con rapidez. (Gómez, 2015).

 P Si hay una situación de crisis económica, el índice de natalidad disminuye

 Q Si avanza la medicina, las expectativas de vida serán mayores

 R índice de natalidad disminuye y las expectativas de vida se hacen mayores

 S Luego, la sociedad envejecerá con rapidez

( P → Q ) ᴧ ( R → r ) ᴧ Q ᴧ S ) → T ᴧ ( p ᴧ R ) → t

V V V V V V V V V V V V V V V V V V V

V V V V V V V F V V V F F F V V V V F

V V V F V F F F V F F V V F V V V V V

V V V F V F F F V F F V F F V V V V F

V V V V F V V V V V V V V F V F F V V

V V V V F V V F V V V F F F V F F V F

V V V V F V F V V F F V V F V F F V V

V V V V F V F V V F F V F F V F F V F

V F F F V V V F F F V V V F V V V V V

V F F F V V V F F F V V F F V V V V F

V F F F V F F F F F F V V F V V V V V

V F F F V F F F F F F V F F V V V V F

V F F F F V V F F F V V V F V F F V V

V F F F F V V F F F V V F F V F F V F

V F F F F V F F F F F V V F V F F V V

V F F F F V F F F F F V F F V F F V F

F V V V V V V V V V V V V F F F V V V

F V V V V V V F V V V F F F F F V V F

F V V F V F F F V F F V V F F F V V V

F V V F V F F F V F F V F F F F V V F

F V V V F V V V V V V V V F F F F V V

F V V V F V V V V V V F F F F F F V F
 F V V V F V F V V F F V V F F F F V V

F V V V F V F V V F F V F F F F F V F

F V F V V V V V F F V V V F F F V V V

F V F V V V V V F F V V F F F F V V F

F V F F V F F F F F F V V F F F V V V

F V F F V F F F F F F V F F F F V V F

F V F V F V V V F F V V V F F F F V V

F V F V F V V V F F V V F F F F F V F

F V F V F V F V F F F V V F F F F V V

F V F V F V F V F F F V F F F F F V F

Tarea 3: Problemas de aplicación II parte.

Solucionar los enunciados de la tarea 2 y demostrar la validez o no validez del argumento dado a

través del:

 Uso del método de reducción al absurdo.

 Uso del simulador Truth Table.

a. Estudiar en la modalidad a Distancia en la UNAD es una metodología educativa que

realmente forma profesionales competentes, pues se debe ser muy disciplinado con los

hábitos de estudio adquiridos para cumplir con las actividades académicas, pero con la

ventaja de que al usar las tecnologías facilita la comunicación entre los diferentes

protagonistas del proceso de formación académico. Carolina se ha esforzado por mantener

un sólido hábito de estudio, pero hay momentos en que el cansancio la vence, el siguiente
relato es algo que le ocurrió un día: “Si me mandas la guía de actividades por mensajería

interna del curso, entonces terminaré de realizar las demostraciones. Si no me mandas la

guía de actividades por mensajería interna, me iré a la cama temprano. Y si me voy a la

cama temprano, me levantaré descansada. Por lo tanto, si no acabo de realizar las

demostraciones, me levantaré descansada”. (Gómez, 2015).

 [[(p>q)&(~p>r)&(r>s)]>(~q>s)] Es válido es una tautología

 Simulador Truth Table.

b. Johanna está planteando una situación problemática para su ensayo del curso de

Matemáticas financiera de la UNAD, para lo cual hace la siguiente cita bibliográfica: “Si

hay una situación de crisis económica, el índice de natalidad disminuye. Si avanza la

medicina, las expectativas de vida serán mayores. Si el índice de natalidad disminuye y las

expectativas de vida se hacen mayores, entonces la sociedad irá envejeciendo rápidamente.

 La crisis económica es un hecho y los avances en la medicina son constantes. Luego, la

sociedad envejecerá con rapidez. (Gómez, 2015).

 [[(p>q)&(r>s)&((q&s)>t))&(p&r)]>t .Es válido es una tautología

 Simulador Truth Table.

Tarea 4: Creatividad en la proposición de situaciones de la vida cotidiana.

En un letrero de la UNAD, se presenta el siguiente argumento en lenguaje simbólico.

((p→q)Λ(¬r→p)Λ(qVs))→(¬q→s)
El grupo colaborativo debe convertir el anterior argumento en lenguaje natural de tal forma que

la información o el mensaje que deseen expresar tenga sentido lógico (Es decir deben hacer lo

contrario de la tarea 2 y 3, ya que las anteriores tareas, se presentaban en lenguaje natural y el

propósito es convertirlo en lenguaje simbólico).

Finalmente, deben demostrar que el anterior argumento es válido a través de:

 Uso de las tablas de verdad.

 Uso de las leyes de inferencia.

 Uso del método de reducción al absurdo.

 Uso del simulador Truth Table.

 ((p>q)&(~r>p)&(q+s))>(~q>s)

 simulador Truth Table.

 CONCLUSIONES

 Las leyes no solo se aplican en ejercicios matemáticos sino además contribuyen a la

solución de algunos problemas que se presentan en el día a día.

 Las leyes de inferencia prueban que a partir de unas proposiciones dadas es posible hacer

la demostración para una conclusión específica.

 BIBLIOGRAFÍA

 Educa España. (s.f.). Silogismos compuestos (II): silogismo disyuntivo. Obtenido de

http://recursostic.educacion.es/bachillerato/proyectofilosofia/web/A3-4g.htm

 Lógica Matemática. (s.f.). Obtenido de http://lgicaepn.blogspot.com.co/2011/12/reglas-de-

inferencia.html

 Plan de Filosofía. (19 de 04 de 2016). Obtenido de http://planfilosofia.jimdo.com/reglas-

de-inferencia/

 Universidad Nacional Abierta y a distancia UNAD; contenido didáctico del curso Lógica

matemática.

 Gaitán, M.P. (2014). Leyes de inferencia. Cali, Valle.

 Rubio, A. Inferencias Lógicas, (2014). Ibagué, Tolima.

 Silogismo hipotético, tomado texto de Wikipedia obtenido de:

https://es.wikipedia.org/wiki/Silogismo_hipot%C3%A9tico.