TRABAJO COLABORATIVO 2

LÓGICA MATEMÁTICA
TAREAS 1, 2, 3 Y 4

Presentado por
LUIS ALBERTO PACICHANA
COD. 98.216.087
CARLOS MORENO
COD. 87.066.478

TUTORA:
CAROLINA CASTAÑO

GRUPO:
90004_351

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA ECBTI
CEAD PASTO
08 DE MAYO DE 2016
OBJETIVOS

 Realizar la aplicación de las leyes de inferencia en el desarrollo de las tareas

 Investigar sobre el MPP, MTT y SH y realizar ejemplos

 Utilizar las tablas de verdad, leyes de inferencia y simulador Truth table para
demostrar la validez o no validez de argumentos.

 Solucionar enunciados y demostrar su validez

 Plantear proposiciones de situaciones de la vida cotidiana y demostrar su validez

utilizando leyes de inferencia, tablas de verdad, método de reducción al absurdo y
simulador.
 INTRODUCCIÓN

A través de la aplicación de las diferentes leyes de inferencia que son reglas, podemos
tomar premisas, analizar su sintaxis y devolver una conclusión. Estas leyes se pueden
aplicar a problemas y casos de la vida cotidiana, en todos sus niveles como personal o
profesional.
El Trabajo Colaborativo 2, desarrolla cuatro tareas relacionadas con las temáticas
abordadas en la Unidad 2 del Curso Lógica Matemática, identificando los tipos de
razonamiento, la validez de las conclusiones y la demostración por reglas de inferencia,
tablas de verdad, reducción al absurdo y uso del Simulador Truth Table.
En la tarea 1, se realiza la investigación sobre la aplicación de las leyes de inferencia,
realizando su conceptualización y planteando un ejemplo.
Para la tarea 2, se realiza la aplicación de las leyes de inferencia o tablas de verdad para
demostrar la validez o no de argumentos planteados.
La tarea 3, comprueba la validez de los argumentos a través de la utilización del simulador
Truth Table o el método de reducción de lo absurdo.
Y por último la Tarea 4 propone un argumento en lenguaje simbólico el cual debe
convertirse en lenguaje natural y demostrar su validez.
 DESARROLLO DE LA ACTIVIDAD

TAREA 1. APLICACIÓN DE LAS LEYES DE INFERENCIA

Tema seleccionado: Modus Ponendo Ponens, Modus Tollendo Tollens y Silogismo Hipotético.

NOMBRE DE LA LEY DE CONCEPTUALIZACIÓN EJEMPLO ESPECIFICO

INFERENCIA
MODUS PONENDO Método en el que se toman dos premisas, una MMP
PONENS condicional y una premisa cualquiera. Si la
premisa cualquiera es igual al antecedente, da p q Si está soleado, entonces es de día.
como resultado el mismo consecuente p Está soleado.
q Por lo tanto, es de día.
MODUS TOLLENDO Se toma una condicional y una premisa p q “Si llueve, entonces las calles se mojan”
TOLLENS cualquiera, pero esta se basa en el consecuente. ~q “Las calles no se mojan
Así: ~p “Luego, no llueve”
Se toma una condicional y una premisa
cualquiera, si la premisa cualquiera es la
negación del consecuente, resulta entonces la
negación del antecedente
SILOGISMO HIPOTÉTICO Para aplicar este método se necesitan dos p q “Si la bola roja golpea a la bola blanca, la bola blanca se
condicionales. Donde el antecedente de una mueve”
de ellas debe ser igual al consecuente de la
q r “Si la bola blanca golpea a la bola negra, la bola negra se
otra condicional.
mueve”
Cuando eso sucede por SH resulta, el
antecedente de la primera condicional que para
el siguiente ejemplo seria p, y el consecuente
 de segunda, que en este caso sería r, y da como p r “Si la bola roja golpea a la bola blanca, la bola negra se
resultado una nueva condicional. mueve”

MODUS TOLLENDO La disyunción, que se simboliza con el p V q “He ido al cine o me he ido de compras”
PONENS (TP) operador V, representa una elección entre dos ¬q “No he ido de compras”
enunciados. Ahora bien, en esa elección, forma _______________________________________
parte de las posibilidades escoger ambos p “Por tanto, he ido al cine”
enunciados, es decir, la verdad de ambos
enunciados no es incompatible, si bien, ambos
no pueden ser falsos.

A partir de lo anterior, se deduce la siguiente

regla, denominada tollendoponens (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
DOBLE NEGACIÓN (DN) ¬¬p ↔ p ¬¬p “No ocurre que Ana no es una estudiante”
El esquema representa, “p doblemente negada ______________________________________
equivale a p”. Siguiendo el esquema de una p “Ana es una estudiante”
inferencia por pasos.

La regla ‘doble negación’, simplemente

establece que si un enunciado está doblemente
negado, equivaldría al enunciado afirmado
ADJUNCIÓN (A) 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).
p “Juan es cocinero”
q “Pedro es policía”
___________________________________
p Λ q “Juan es cocinero y Pedro es policía”
 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).

Para resolver el problema se utiliza las leyes de inferencia

p. Si me mandas la guía de actividades por mensajería interna del curso, entonces

terminaré de realizar las demostraciones.

q. Si no me mandas la guía de actividades por mensajería interna, me iré a la cama

temprano.

r Y si me voy a la cama temprano, me levantaré descansada.

Conclusión: Por lo tanto, si no acabo de realizar las demostraciones, me

levantaré descansada

PREMISAS : p q

¬p r

r s

CONCLUSION: ¬ p s
 DEMOSTRACION

1. p q Hipotesis

2. ¬ q ¬p contrareciproca de 1

3. ¬ p r Hipotesis

4. ¬ q r silogismo hipotetico (2,3)

5. r s Hipotesis

6. ¬q s silogismo hipotetico (4,5)

b. Johanna está planteando una situación problémica 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).1

Para resolver el problema se utiliza las leyes de inferencia

p Hay una situación de crisis económica.

q El índice de natalidad disminuye.

r La medicina avanza.

s Las expectativas de vida se hacen mayores.

t La sociedad envejece con rapidez.

Conclusión t

Entonces, el primer argumento se ve así:

1. p q

2. r s

3. (q ∧ s) t

4. p ∧ r
DEMOSTRACIÓN:

5. p Simplificación (4)

6. q MPP (1,5)

7. r Simplificación (4)

8. s MPP (2,7)

9. q ∧ s Conjunción (6,8)

10. E MPP (3,9)

 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

Para solucionar los enunciados de la tarea II y demostrar la validez o no validez, se

utilizara el 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)
LENGUAJE SIMBÓLICO:

((p q) ˄ (¬ r p) ˄ (q ˅ s)) (¬ q s)

Es válido es una tautología.

b. Johanna está planteando una situación problémica 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).1

LENGUAJE SIMBÓLICO:

[(p q)˄ (r s) ˄ ((q ˄ s) t)) ˄ (p ˄ r)] t

Es válido es una tautología

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.
Para el desarrollo del ejercicio se utilizará el Simulador Truth Table para demostrar que
el argumento tiene o no validez.

Aporte estudiante: Luis Pacichana

LENGUAJE NATURAL:

Si hoy es viernes, hoy hay examen.

Hoy no es jueves, entonces hoy es viernes.

Hoy hay examen, debo asistir a la universidad.

Por lo tanto hoy no hay examen entonces debo asistir a la universidad.

PREMISAS

P si hoy es viernes

q hoy hay examen

¬r si hoy no es jueves

S debo asistir a la universidad.

Conclusión:

¬q s por lo tanto hoy no hay examen entonces debo asistir a la universidad.

Aporte estudiante: Carlos Moreno

LENGUAJE NATURAL:

Si hoy hay matriculas en la universidad entonces consignare en el banco.

Hoy no están atendiendo en el banco entonces hay matriculas en la universidad.

Consignare en el banco o pagare en efectivo en la universidad.

Por lo tanto no consignare en el banco entonces pagare en efectivo en la universidad.

PREMISAS

P Si hoy hay matriculas en la universidad

q consignare en el banco

¬r Hoy no están atendiendo en el banco

S pagare en efectivo en la universidad.

Conclusión:

¬q s Por lo tanto no consignare en el banco entonces pagare en

efectivo en la universidad.
CONCLUSIONES

La aplicación de las leyes de inferencia permiten realizar la demostración de la validez o

no validez de argumentos.

El estudio de la lógica matemática y la aplicación de las leyes de inferencia contribuyen

en la construcción de un pensamiento preciso ante situaciones de manera exacta.

Las reglas de inferencia pueden ser comprobadas mediante la utilización de tablas de

verdad.

La inferencia lógica a través de sus reglas permite la construcción de proposiciones,

enunciados con consistencia lógica, como: MTT, MPT, MPP, SH, entre otros.
REFERENCIAS BIBLIOGRÁFICAS

Lógica Matemática. Reglas de Inferencia. Recuperado de:

http://lgicaepn.blogspot.com.co/2011/12/reglas-de-inferencia.html
Inferencia Lógica. [Marcos Quispe]. (2013, 08, 29). Recuperado de:
URL https://www.youtube.com/watch?v=OuHYh1Xw5no&nohtml5=False
Inferencia Lógica. [Marcos Quispe]. (2013, 08, 29). Recuperado de:
URL https://www.youtube.com/watch?v=s7_mWDTgYy4&nohtml5=False
Inferencia Lógica. [Marcos Quispe]. (2013, 08, 29). Recuperado de:
URL https://www.youtube.com/watch?v=LtzqoInTzvE&nohtml5=False
Inferencia Lógica. [Marcos Quispe]. (2013, 08, 29). Recuperado de:
URL https://www.youtube.com/watch?v=yWBQN1dhUlU&nohtml5=False
Inferencia Lógica. [Marcos Quispe]. (2013, 08, 29). Recuperado
de: https://www.youtube.com/watch?v=ij_J73Uc43c&nohtml5=False