LÓGICA PROPOSICIONAL, TABLAS DE VERDAD EN

PROPOSICIONES COMPUESTAS, ÁLGEBRA DE PROPOSICIONES,

TEORÍA DE CONJUNTOS, OPERACIONES ENTRE CONJUNTOS,
RAZONAMIENTOS LÓGICOS, INFERENCIA LÓGICA Y
ARGUMENTOS LÓGICOS.

Estudiante DIMAS EDUARDO BUSTOS SOSA.

18 de Noviembre de 2018.

Universidad Nacional Abierta y a Distancia.

Norte de Santander sede Cúcuta (CCAV Cúcuta).
Ingeniería de Sistemas – Lógica Matemática
Grupo de estudios 90004_293
 ii

INTRODUCCION

Este trabajo está compuesto por temas matemáticos en una serie de ejercicios de Lógica

Matemática, proposiciones simples y compuestas, tablas de verdad, métodos de demostración,

razonamientos lógicos, inferencia lógica y argumentos lógicos, contingencias y teoría de

conjuntos. Lo anterior con el fin de desarrollar habilidades de gran fluidez de pensamiento.

 iii

OBJETIVOS

En este trabajo tiene como objetivo fundamental refrescar y ampliar los conocimientos

del estudiante en cuanto a la aplicación de los conceptos propios del cálculo proposicional y la

teoría de conjuntos, con la utilización de tablas de la verdad, proposiciones y diagramas de ven,

teniendo en cuenta que la interpretación o elaboración de este trabajo nos facilita el

entendimiento y la solución de cualquier operación matemática en cuanto a conjuntos ya que se

podría colocar en práctica en cualquier momento de la vida cotidiana.

 1

DESARROLLO DE LA ACTIVIDAD
A continuación, encontrará una serie de situaciones en contextos reales, las cuales
deberán ser analizadas por el estudiante para el desarrollo del ejercicio 1

Determina el número de estudiantes de un curso, si se sabe que cada uno participa

en al menos una de los tres cursos de verano español, inglés o filosofía. 48 participan en el
de español, 45 en el de inglés, 49 en el de Filosofía, 28 en el de español e inglés, 26 en el de
español y Filosofía, 28 en el de inglés y filosofía y 18 en los tres seminarios. ¿Cuántos
estudiantes participan en los seminarios de inglés y español, pero no en el de filosofía?
¿Cuántos participan sólo en el de filosofía? ¿Cuántos estudiantes participaron en total?
A partir de la situación que el estudiante haya seleccionado, el estudiante deberá:
 Representar la información dada en un diagrama de Venn Euler
 Solucionar los interrogantes planteados.
 2

¿Cuántos estudiantes participan en los seminarios de inglés y español, pero no en el de

filosofía? R=10
¿Cuántos participan sólo en el de filosofía? R=13
¿Cuántos estudiantes participaron en total? R=79
2. A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un
argumento para el desarrollo del ejercicio 2:

Expresión simbólica: [(p∨q)∧(p→r)∧(q→s)⋀(¬r)]→s

Premisas:
P1: p∨q
P2: p→r
P3: q→s
P4: ¬r

Conclusión: s
p: José juega futbol
q: juega baloncesto
r: juega béisbol
s: juega voleibol
Si José juega futbol o juega baloncesto y si José juega futbol entonces juega beisbol y si
José juega baloncesto entonces juega voleibol y no juega beisbol entonces juega voleibol.
 3

Truth Table

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).

p q r s ¬r (p∨q) (p→r) (p∨q)∧(p→r) (q→s) (p∨q)∧(p→r)∧(q→s) (p∨q)∧(p→r)∧(q→s)⋀(¬r) [(p∨q)∧(p→r)∧(q→s)⋀(¬r)]→s

V V V V F V V V V V F V
V V V F F V V V F F F V
V V F V V V F F V F F V
V V F F V V F F F F F V
V F V V F V V V V V F V
V F V F F V V V V V F V
V F F V V V F F V F F V
V F F F V V F F V F F V
F V V V F V V V V V F V
F V V F F V V V F F F V
F V F V V V V V V V V V
F V F F V V V V F F F V
F F V V F F V F V F F V
F F V F F F V F V F F V
F F F V V F V F V F F V
F F F F V F V F V F F V
 4

 Demostración de la validez del argumento mediante las leyes de la inferencia

lógica.
[(𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (𝑞 → 𝑠)⋀(¬𝑟)] → 𝑠
Premisas:
P1: 𝑝 ∨ 𝑞
P2: 𝑝 → 𝑟
P3: 𝑞 → 𝑠
P4: ¬𝑟
Conclusión: s
P5: ¬𝑝 MTT 2, 4
P6: 𝑞 MTP 1, 5
P7: 𝑠 MPP 3, 6

 Se comprueba la validez arrojando como resultado de la conclusión: s

 5

CONCLUSIONES

Al finalizar este trabajo me doy cuenta que el proceso de formación está basado en

los diferentes temas expuestos y en una actualización de conocimiento para que el

mejoramiento de nuestras habilidades en las labores que a diario desempeñamos sean aún

mejores y en la hora de aplicarlas sean eficaces fortalecidas con el aprendizaje obtenido con

un objetivo claro que es destacarse por el saber siendo una gran persona con las

competencias del tema que hemos desarrollado y profundizado.

 6

BIBLIOGRAFIA.

Para el desarrollo de esta actividad se consultó el material de estudio de entorno de

conocimiento unidad 1 principios de lógica de igual forma con los tutoriales expuestos por

el señor tutor del curso

Wikipedia https://es.wikipedia.org/wiki/Teor%C3%ADa_de_conjuntos ,

https://www.smartick.es/blog/matematicas/recursos-didacticos/la-teoria-de-conjuntos-

como-tecnica-de-estudio/

Símbolos lógicos Wikipedia

https://es.wikipedia.org/wiki/Anexo:S%C3%ADmbolos_l%C3%B3gicos