Tarea 4 – Sustentación Unidades 1, 2 y 3

Pensamiento Lógico y Matemático

Grupo 200611_335

Presentado a

Elkin Ricardo Laverde

Universidad Nacional Abierta y a Distancia

Cali – Valle

Mayo 2020
 Introducción

La Lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una
representación primitiva del lenguaje, permite representar y manipular afirmaciones sobre
el mundo que nos rodea. También recibe el nombre de Cálculo Proposicional.

La proposición es un elemento fundamental de la Lógica matemática que trabaja lógica de

Proposiciones. Por eso, lo primero es reconocer que oraciones o frases constituyen
proposiciones y cuáles no.

La Teoria de conjuntos es una rama de las matemáticas introducida por el matemático

Ferdinand Ludwig, para hablar de esto debemos tratar con el concepto de Conjunto que
implica la colección de objetos que se caracterizan por algo en común. En matemática se
le llaman elementos a los miembros de un conjunto.

A continuación se estudiaran algunos conceptos relacionados a estos temas dando

solución a diferentes problemas planteados por el tutor.
 Objetivos

 Aplicar la teoría de conjuntos por medio de la solución de ejercicios prácticos

 Conocer las propiedades de los conjuntos para dar solución a los problemas
planteados.

 Identificar en forma clara los métodos para demostrar la validez de argumentos

 Aplicar los conceptos de lógica proposicional en la solución de problemas

 Conocer Tablas de verdad, métodos de demostración, razonamientos lógicos,

inferencia lógica y argumentos lógicos.
 Desarrollo Ejercicios C

Ejercicio 1:

Proposición categórica elegida

c).

Al finalizar el periodo académico en la carrera de ingeniería eléctrica se hizo una encuesta

sobre las materias de quinto semestre que más perdieron los estudiantes, ellas son las
siguientes: Potencia de máquinas, Circuitos avanzados y Líneas de transmisión. Siendo la
clase del quinto semestre de 120 estudiantes se tiene que:

8 estudiantes perdieron las 3 materias.

20 perdieron Potencia de máquinas y Circuitos avanzados.
17 estudiantes perdieron Circuitos avanzados y Líneas de transmisión.
24 estudiantes perdieron Potencia de máquinas y Líneas de transmisión.
50 estudiantes en total perdieron Potencia de máquinas.
67 estudiantes en total perdieron Circuitos avanzados.
50 estudiantes en total perdieron Líneas de transmisión

Solución

Diagrama de Venn

U: Estudiantes de ingeniería electrónica de quinto semestre

A: Potencia de maquinas
B: Circuitos avanzados
C: Líneas de transmisión
Interrogantes Planteados

¿Cuántos estudiantes perdieron exactamente una materia?

Se suman las partes de los conjuntos que no tiene ningún tipo de intersección, en este
caso:

14+ 38+17=69

69 estudiantes perdieron solo una materia

¿Cuántos no perdieron alguna materia?

Teniendo los estudiantes ubicados en sus conjuntos, se restó con el total del curso:

120−114=6

6 estudiantes no perdieron ninguna materia

¿Cuántos estudiantes perdieron solamente Líneas de transmisión?

Se toma solamente el número del conjunto C que no tiene ningún tipo de intersección:

17 estudiantes perdieron únicamente líneas de transmisión

Ejercicio 2:

Expresión simbólica: [(𝑝→𝑠)∧(𝑞→𝑟)∧(𝑝∧𝑞)]⟶(𝑠∧𝑟)

Premisas:

P1: 𝑝→𝑠
P2: 𝑞→𝑟
P3: 𝑝∧𝑞

Conclusión: 𝑠∧𝑟

- Definición de proposiciones simples

𝑝: Sebastian realiza todos los trabajos

𝑞: Entrega sus trabajos a tiempo
𝑟: Tiene buen promedio en sus materias
𝑠: Sebastian es buen estudiante
 - Razonamiento en lenguaje natural

Sebastian realiza todos los trabajos entonces Sebastian es buen estudiante y entrega
sus trabajos a tiempo entonces tiene buen promedio en sus materias y Sebastian realiza
todos los trabajos y entrega sus trabajos a tiempo entonces Sebastian es buen
estudiante y tiene buen promedio en sus materias

- Tabla de verdad simulador Lógica UNAD

 - Tabla de verdad de forma manual

Resultado tabla de verdad: TAUTOLOGIA

 - Demostración de la validez del argumento

P 1: p → s
P 2: q →r
P 3: p ∧ q
_________
∴s∧r

P 3: p ∧ q
_________ Simplificacion
1 :∴ p
2 :∴q

P 2: q →r
2 :q
__________ Modus ponens
3 :∴ r

P 1: p → s
1: p Modus ponens
__________
4 :∴ s

4 :s
3 :r Adjuncion
_________
∴ s ∧ r → Conclusion
 Conclusiones

Podemos concluir que la lógica es básicamente una ciencia que estudia los principios de
la demostración de los argumentos mediante la validez de la comprobación de
expresiones que puedan ser evaluadas de dos formas, ciertas o falsas pero que no
pueden concluir con el mismo resultado simultáneamente

En su más eficaz resultado la lógica pretende el estudio de inferencias y el pensamiento

proporcionando principios para determinar qué tipo de evidencia es apropiada para una
situación y su definitiva validez
 Referencias Bibliográficas

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,

MÉXICO: Grupo Editorial Patria. (pp. 61- 65) Recuperado de https://ebookcentral-
proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=4569631&ppg=72

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 78 - 99). Ediciones Elizcom, Madrid. Recuperado
de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3199701&ppg=81

https://www.slideshare.net/JorgeIvnPincayPonce/reglas-de-inferencia-lgica-compilacin