LOGICA MATEMATICA

PASO 6: MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

EVELIN JULIETH HERAZO PEDRAZA

COD: 1053611168
GRUPO: 200611_36
INGENIERIA INDUSTRIAL.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD
DUITAMA
2018
 INTRODUCCION

Mediante esté trabajo realizaremos diversos ejercicios con los cuales enriqueceremos
nuestros conocimientos, atravez del desarrollo de cada uno de ellos, así teniendo más
claro el tema propuesto.
 OBJETIVOS

 Atravez de diferentes ejercicios comprender el tema propuesto por el tuto.

 Poner en práctica nuestros conocimientos, para así adquirir mayores resultados
en el área de matemáticas.
 Conocer un poco más sobre los diversos temas que tiene esta área, así teniendo
mejores bases para un futuro.
Tarea 1: Conceptualización de las reglas de inferencia.
para el desarrollo de la actividad la conceptualización y dos ejemplos específicos (En caso
de ser extraído por alguna fuente bibliográfica, se debe citar correctamente empleando
normas APA) de un grupo de las Reglas de Inferencia Lógica.
 Modus Ponendo Ponens, Adjunción y Exportación.

MODUS PONENDO PONENS: (la forma en la que se afirma afirmando)

Es una forma de argumento válido (razonamiento deductivo) permite eliminar una

sentencia condicional de una prueba lógica, también se llama regla de separación.
Ejemplo:
Si te levantas temprano alcanzas el bus.
Te levantas temprano
Por lo tanto alcanzas el bus
P: te levantas temprano
Q: alcanzas el bus

p→q

Ʌp modus ponendo ponens.

q

 REGLA DE ADJUNCIÓN: permite pasar de las dos premisas a la conclusión.

Se indica con la letra A
EJEMPLO:
Pedro es profesor
Juan es estudiante
Conclusión: pedro es profesor y juan es estudiante
p: Pedro es profesor
q: Juan es estudiante

q adjunción.
pɅq
 REGLA DE EXPORTACION (LOGICA): es una regla de remplazo valida de la
lógica preposicional.
 Establece: que si p implica q entonces p implica p y q.
EJEMPLO: que vaya a clase y ponga atención implica que es buen alumno
Por lo tanto si va a clase entonces pone atención implica que es buen alumno
p: va a clase
q: pone atención
r: es un buen alumno
p→q (p Ʌ q) →r
p→ (p Ʌ q) p→ (q →r) EXPORTACIÓN

LINK DE LA PRESENTACIÓN.

https://prezi.com/view/0EvBGXsOUBGnaTRLdHFK/
Tarea 2: Problemas de aplicación
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 reglas de inferencia.
 Uso del simulador Truth Table

DESARROLLO.

C:Los estudiantes del programa de Ingeniería de Alimentos de la UNAD, al

matricular el curso de Química General como electivo deben asistir al componente
práctico. Sofía hace el siguiente análisis de la situación que se le ha presentado al
conocer las fechas en que debe asistir. ”Si las prácticas de laboratorio son el próximo
domingo entonces asisto a la universidad. Si realizo los experimentos entonces
entrego el informe de laboratorio. Si asisto a la universidad y entrego el informe de
laboratorio, entonces obtengo un puntaje sumativo para la nota. No obtengo un
puntaje sumativo para la nota. Por lo tanto, no realizo los experimentos o las prácticas
de laboratorio no son el próximo domingo.”

1p: las prácticas del laboratorio son el domingo.

2q: asisto a la universidad

3r: realizo los experimentos
4s: entrego el informe del laboratorio
5t: obtengo puntaje sumativo para la nota

USO DE REGLAS DE INFERENCIA.

1) p → q silogismo hipotético entre 1 y 2

2) r→s silogismo hipotético entre 3 y 4

3) (qɅ) →t modus tollens entre 2 y 5 Premisas

4) ¬t modus tollens entre 1 y 5

Conclusión:¬r v¬p( se llega con la premisa 9)

 FORMULA.

 {(p→q)Ʌ(r→s)Ʌ[(qɅs)→t]Ʌ¬t}→¬rv¬p

1)p→q
2)r→s
Premisas
3)(qɅs)→t modus tl

4) ¬t
5)modus tollens entre 3y4

(qɅs)→t
¬t
¬ (qɅs)
6) ¬ (qɅs)= ¬q v ¬s (Morgan)

7) p→q=¬q → ¬p (ley de transposición del 1)

8) r→s=¬s→ ¬r (ley de transposición del 2)

9) dilema constructivo

A→B ¬q v ¬s

C→D ¬q → ¬p

A→C ¬s→ ¬r

BVD ¬P V ¬r=¬r v ¬ s conclusión

Tabla: tautologia

La expresión es una tautología.

Tarea 3: Razonamiento Deductivo e Inductivo

Identifique de los siguientes casos si el razonamiento es deductivo o inductivo,

argumentado la respuesta con sus propias palabras

C) De todos los seres que pueblan la Tierra, los seres humanos son los más nocivos
para el ecosistema. En efecto, ellos destruyen anualmente millones de hectáreas de
bosques y son los directos culpables de la desaparición masiva de fuentes de agua
potable.

RTA: Es deductivo ya que va de lo general a lo particular, pues las premisas son

verdaderas y con ellas se llega a la conclusión verdadera.

 destruyen anualmente millones de hectáreas de bosques y son los directos

culpables de la desaparición masiva de fuentes de agua potable, en
conclusion De todos los seres que pueblan la Tierra, los seres humanos
son los más nocivos para el ecosistema.

Dicho de otro modo si la premisas son verdaderas entonces la conclusión será verdadera.
 CONCLUSIÓN.
Por medio de este trabajo logre crear mejores bases para mi desarrollo intelectual, así
enriqueciendo mis conocimientos.
 BIBLIOGRAFIA.

 Chávez, C. P. (2000). Compendio de lógica. : Larousse - Grupo Editorial Patria.

Páginas 151- 162. Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=166&docI
D=11046000&tm=1492518443951

 Gonzáles, T. L., & Saavedra, M. (2009). Aciertos matemáticos 11: serie para la
educación media. Bogotá, CO: Educar Editores S.A. Páginas 13 -19 Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=14&docI
D=10345286&tm=1492518671601

 Gonzáles, T. L., & Saavedra, M. (2009). Aciertos matemáticos 11: serie para la
educación media. Bogotá, CO: Educar Editores S.A. Páginas 20 -24 Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=21&docI
D=10345286&tm=1492519161803

 Guerrero, S. L. M. (2005). Matemáticas. Sus fundamentos en secuencia óptima.

Córdoba, AR: El Cid Editor. Páginas 24 – 34. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=24&docI
D=10075782&tm=1492518991513

 Wagner, M. (2016). Lógica Proposiciones 1, [Video]. Recuperado

de http://hdl.handle.net/10596/6542

 Amaya, H. (2016). Tablas de verdad colaborativo 2, [Video]. Recuperado

de http://hdl.handle.net/10596/6547

 Wagner, M. (2016). Lógica conjuntos 1, [Video]. Recuperado

dehttp://hdl.handle.net/10596/6558

OVI Unidad 1 – Leyes de inferencia (Validación de argumentos).

 Rodríguez, H. (2017). Proposiciones y conectivos Lógicos (Valor de verdad

proposiciones compuestas). [Archivo de video]. Recuperado
de http://hdl.handle.net/10596/11489