LOGICA MATEMATICA (90004B 611)

PRESENTADO POR.

YEISSON STEVEN RAMIREZ ARIZA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

ESCAN ESCUELA DE CIENCIAS ADMINISTRATIVAS CONTABLES Y DE NEGOCIOS,

ECONOMICAS Y DE NEGOCIOS

ADMINISTRACION EMPRESAS

PRESENTADO A

OSCAR JAVIER SOTELO.

OYANCHE BOYACA

2019
 INTRODUCCION

El siguiente informe se comprende los conectivos lógicos y teoría de conjuntos, es muy importante

conocer estos temas ya que son fundamentales en la lógica matemática, el saber aplicar cada una de las

actividades que se van a conocer a continuación es muy importante en mi opinión, también es

importante el manejo de la Tabla verdad ya que, a la hora de realizar un ejercicio de proposiciones,

podemos comprobar si nuestro ejercicio esta correcto o tiene algún error. Algo fundamental para el

estudiante o aprendiz es saber comprender la guía propuesta para alguna actividad, los temas de las

unidades y las referencias bibliográficas ya que gracias a estas podremos comprender mejor cada uno

de los temas propuestos.

 OBJETIVOS

Resolver la guía de actividades unidad 1: tarea 1 conectivos lógicos y teoría de conjunto

cumpliendo cada uno de los requisitos propuestos para esta tarea.

Objetivos específicos

 Identificar concepto básico de la unidad

 Resolver ejercicios de proporciónales de los leguajes naturales al simbólicos y viceversa
 Realizar ejercicios para determinar el valor de la verdad
 Realización de tablas de la verdad y comprobarlas con el simulador de la unad
 Solucionar ejercicios de lógica de los conjuntos
Ejercicio 1 c. Proposiciones

a) p: Freddy Mercury era el vocalista de Queen

q: En el 2018 se estrenó de la película de Queen

R: La película de Queen Cuenta la Vida de Freddy Mercury

( p∧ q ) → ( p → r )

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

Escriba la proposición compuesta propuesta en lenguaje natural.

 Determinar el valor de verdad de las proposiciones simples.

 Determinar el valor de verdad de la proposición compuesta.

Proposición compuesta en lenguaje natural.

Freddy Mercury era vocalista de Queen y en el 2018 estreno de la película Queen y la película de

Queen. Cuenta la vida de Freddy Mercury, si solamente si Freddy Mercury no era vocalista de

Queen o en el 2018 no se estrena la película de Queen o la película de Queen no cuenta la vida de

Freddy Mercury.

Valor de verdad de las proposiciones simples.

p: v
q: v
r: v

Valor de verdad de la proposición compuesta.

( p∧ q ) → ( p → r )
 (V ∧ V) → (V → V)

V → V

Ejercicio 2: tabla de la verdad

C) Pereira es el nombre de una ciudad o Pereira es un apellido, entonces Pereira es un sustantivo

Proposiciones Simples del Argumento:

P: Pereira es el nombre de una ciudad

q: Pereira es un apellido

r: Pereira es un sustantivo

Lenguaje Simbólico:

(p ∧ q → v)
Resultado de la tabla de verdad: CONTINGENCIA

Simulador lógico UNAD

( p∧ q ) → ( p → r )
p q r (p∧q→r)

v v v V

v v f F

v f v V

v f f V

f v v V

f v f V

f f v V

f f f V
Ejercicio 3: teoría de conjuntos

C)

a b e

C
d f

Defina los nombres de los conjuntos del diagrama de venn.

U= Conjunto de alfabeto

A= [a, b, c, d]
B= [b, c, e, f]
C= [c, d, f, g]

Operaciones entre conjuntos dados a continuación y dar las respectivas respuestas:

A ∪B = [a, b, c, d, e, f]
 A ∆ C = [a, b, e, f]

( B ∩C )− A = [f]

A ∩B ∩C = [b]

Solucione la operación de los conjuntos.

. Lo exprese con el alfabeto.

El diagrama de ven Euler corresponde a los números no comunes entre los conjuntos A y B, es decir

todos los números del conjunto A y del conjunto B que quedan fuera de la intersección.

A ∆ B [a, b, e, f]

Link del video:

https://youtu.be/JD67N5Nuxic
Ejercicio 4: Aplicación de la Teoría de Conjuntos

c)

U= Conjunto de números naturales

A= [9, 4, 3,3]

B= [0, 3, 3,2]

C= [2, 2, 3,4]
Operaciones entre conjuntos dados a continuación y dar las respectivas respuestas:

A ∪ B = [0, 3, 3, 4,9]

A ∆ C = [2, 2, 3,4]

( B ∩C )− A = [0, 2, 2, 3, 3,4]

A ∩B ∩C = [3,3]

Anexo -1-Ejemplos para el desarrollo Tarea 1 – Conectivos Lógicos y Teoría de Conjuntos

Apreciados estudiantes.

A continuación, usted podrá consultar los ejemplos para el desarrollo de la tarea 1:

Ejercicio 1: Proposiciones

p: El estadio del Deportes Tolima se llama “Manuel Murillo Toro”

q: Un equipo de futbol lo componen 12 jugadores

(𝒑⋀�)↔(¬𝒑∨¬�)

Proposición compuesta en lenguaje natural:

El estadio del Deportes Tolima se llama “Manuel Murillo Toro” y Un equipo de futbol lo componen

12 jugadores, si y solamente si El estadio del Deportes Tolima NO se llama “Manuel Murillo Toro”

o Un equipo de futbol lo NO componen 12 jugadores.

Valor de verdad proposiciones simples:

𝒑: V

�: F

Valor de verdad proposición compuesta:

(𝒑⋀�) ↔(¬𝒑∨¬�)
 (V⋀ F) ↔ (F ∨ V)

(F) ↔ (V)

Ejercicio 2: Tablas de verdad

Argumento:

Si tengo una moto y no tengo licencia; y los policías me paran entonces me harán una multa

 Proposiciones Simples: (se define cada proposición simple del argumento, siempre en

afirmativo y con letras en minúscula).

p = Tengo moto

q = tengo Licencia

r = Los policías me paran

s = Me harán una multa.

 Lenguaje Simbólico: Se convierte el argumento al lenguaje simbólico

[ ( p ∧ ¬q ) ∧ r ] → s
 Tabla de la verdad (manual): recuerde que aparte de las columnas de las proposiciones simples,

debe haber tantas columnas como operadores lógicos hay en el lenguaje simbólico (incluye

negaciones y demás operadores lógicos, en el caso del ejemplo que estamos trabajando, hay 1

negación y 3 operadores lógicos), por lo tanto, la tabla de verdad está compuesta por 4

columnas de proposiciones simples, 1 de una negación y 3 columnas de operadores lógicos.

 Resultado de la tabla de verdad: CONTINGENCIA

 Simulador Lógica UNAD:

Ejercicio 3: Teoría de Conjuntos
Teniendo el siguiente diagrama de Venn-Euler:

 Definición de los conjuntos: (En este paso el estudiante debe dar un nombre a cada uno de

los conjuntos).

U= Estudiantes de la ECBTI

A= Estudiantes Matriculados en Cálculo Integral

B= Estudiantes Matriculados en Lógica Matemática

C= Estudiantes Matriculados en Álgebra Trigonometría y Geometría Analítica

 Operación entre conjuntos (notación): (En este paso el estudiante escribe la operación

entre conjuntos que representa lo coloreado dentro del diagrama de Venn Euler)

AՈBՈC

 Expresión en palabras: (Según la notación dada en el ítem anterior y los nombres de los

conjuntos dados, el estudiante expresa en sus palabras la descripción de dicha notación)

La selección en el diagrama de Venn-Euler, corresponde a los estudiantes que tienen matriculado

simultáneamente los cursos de Cálculo Integral, Lógica Matemática y Álgebra Trigonometría y

Geometría Analítica
Ejercicio 4: Aplicación de la Teoría de Conjuntos

Teniendo el siguiente diagrama de Venn-Euler y las operaciones entre conjuntos planteadas,

resuelva:

Diagrama de Venn

Operaciones entre conjuntos

a) B U C

b) AC

c) A Ո B

 Definición de los conjuntos: (En este paso el estudiante debe dar un nombre a cada uno de

los conjuntos).

U= Estudiantes de la ECBTI

A= Estudiantes Matriculados en Cálculo Integral

B= Estudiantes Matriculados en Lógica Matemática

C= Estudiantes Matriculados en Álgebra Trigonometría y Geometría Analítica

  Planteamiento del ejercicio típico de teoría de conjuntos -Con los interrogantes y

respectivas respuestas: (En esta parte, el estudiante debe plantear un ejercicio típico de

aplicación de teoría de conjuntos, teniendo en cuenta los nombres dados a los conjuntos en

el primer ítem del desarrollo del ejercicio, luego según las operaciones entre conjuntos

dadas en el ejercicio, las plantea en palabras y da la respectiva respuesta).

Problema de teoría de conjuntos: Se ha realizado una encuesta a los estudiantes de la ECBTI, en ella

se desea saber la distribución de la matrícula de algunos cursos de ciencias básicas. Por lo tanto, a

partir de la información dada en el diagrama de ven, resuelva:

a) Operación: (B U C)

Operación en palabras: Estudiantes que tienen matriculado Pensamiento

Lógico y matemático o Álgebra Trigonométria y Geometría Analítica

Respuesta: 6+4+5+9+8+3=35

b) Operación: (AC)

Operación en palabras: Los estudiantes que no tienen matriculado Cálculo

Integral
 Respuesta: 4+9+3= 16

c) Operación: (A Ո B)

Operación en palabras: Los estudiantes que tienen matriculado Cálculo

Integral y Pensamiento Lógico Y Matemático

Respuesta: 6+5=11
CONCLUSIÓN

Con el desarrollo de trabajo se logró cumplir con los objetivos antes mencionados resolviendo los

ejercicios nos permito practicar para poder analizar e interpretar a futuros los temas desde la lógica

matemática
La presente de la a actividad nos contribuyó en fortalecer concepto básico y prácticos de la unidad

de estudios así mismo el simulador de la tabla verdad nos aportó facilidades para la verificación de

los ejercicios de la tabla de verdad

REFERENCIAS BIBLIOGRAFICAS

Normas apa

http://normasapa.net/2017-edicion-6/

Presaberes

 Cárdenas, J. L. (2014). Álgebra: Serie universitaria patria. (pp. 2-6). México, D.F.: Grupo

Editorial Patria. Recuperado

dehttps://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?

ppg=13&docID=3227286&tm=1531172313538
Proposiciones y tablas de verdad

 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de

álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid, España:

Editorial Tébar

Flores. Recuperadohttp://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?

ppg=20&docID=3226457&tm=1529246259924

Tablas de verdad:

 Sánchez, H. R. (2014). Álgebra. (pp. 2- 30). México, D.F., México: Larousse - Grupo

Editorial Patria. Recuperado

dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

ppg=15&docID=11046169&tm=1489706134764

Teoría de conjuntos:

 Gonzáles, T. L., & Saavedra, M. (2009). Teoría de Conjuntos. En ProQuest ebrary (Ed).

Aciertos matemáticos 11: serie para la educación media. (pp. 20 -24). Bogotá, Colombia:

Educar Editores S.A. Recuperado

dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

ppg=21&docID=10345286&tm=1489708381971

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

dehttp://hdl.handle.net/10596/6542
Amaya, H. (2016). Tablas de verdad colaborativo 2, [Video]. Recuperado

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

Wagner, M. (2016). Lógica conjuntos 1, [Video]. Recuperado dehttp://hdl.handle.net/10596/6558

OVI - Unidad 1 – Principios de Lógica (Validación de argumentos).

Este Objeto Virtual de Información (OVI) llamado " Proposiciones y conectivos Lógicos (Valor de

verdad proposiciones compuestas)", tiene como objetivo, Determinar por medio de las tablas de

verdad el valor de verdad de proposiciones compuestas, para cada combinación posible, según el

valor de verdad dado. Este OVI sirve como material de consulta para el desarrollo de las actividades

de la Unidad 1 del curso y en particular, Hallar el valor de verdad de proposiciones compuestas

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

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

Recursos educativos adicionales adicionales para el curso

Las referencias bibliográficas complementarias sirven de apoyo para ampliar información

relacionada con el tema de la unidad y puede ser consultada cuando así lo requiera, especialmente,

para complementar información que le permita desarrollar las diferentes actividades propuestas para

esta unidad

 Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a las matemáticas

universitarias. México: McGraw-Hill Interamericana. Recuperado

dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

ppg=1&docID=10473069&tm=1491855437624
Uso de la tabla de verdad para demostrar la validez de un argumento

 Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios: Larousse -

Grupo Editorial Patria. (pp. 29-38). Recuperado

dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

ppg=40&docID=11013570&tm=1492519542738

Validez de un razonamiento

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

166). Recuperado dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

ppg=178&docID=11046000&tm=1492520104862

Inferencia Lógica

 Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos.

Córdoba, AR: El Cid Editor. (pp. 40-49) Recuperado

dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

ppg=59&docID=10732485&tm=1492520387992

Razonamiento deductivo e inductivo

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

MÉXICO: Grupo Editorial Patria. (pp. 80-84) Recuperado

de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

ppg=91&docID=11230887&tm=1496180214861
Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004. [Archivo de video]. Recuperado

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

Gutiérrez, W. (2016). Validez de un argumento. [Archivo de video]. Recuperado

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

Castaño, C. (2016). Razonamientos Lógicos. [Archivo de video]. Recuperado

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

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

Este Objeto Virtual de Información (OVI) llamado " Leyes de inferencia (Validación de

argumentos)", tiene como objetivo, ilustrar la aplicación de las reglas de inferencia Modo Poniendo

Ponen, Adjunción y simplificación para probar la validez de un argumento. Este OVI sirve como

material de consulta para el desarrollo de las actividades de la Unidad 2 del curso y en particular,

Probar la validez de argumento mediante leyes de inferencia

 Rodríguez, H. (2017). Leyes de inferencia (Validación de argumentos). [Archivo de video].

Recuperado de http://hdl.handle.net/10596/11486

Recursos educativos adicionales para el curso

Las referencias bibliográficas complementarias sirven de apoyo para ampliar información

relacionada con el tema de la unidad y puede ser consultada cuando así lo requiera, especialmente,

para complementar información que le permita desarrollar las diferentes actividades propuestas para

esta unidad
 Lewin, R. (2011). La teoría de conjuntos y los fundamentos de la matemática. Chile:

Editorial e-books Patagonia - J.C. Sáez Editor.

Recuperadohttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

ppg=1&docID=10526962&tm=1491863246945

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

Madrid, ES: Ediciones Elizcom. Recuperado

dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

ppg=1&docID=10565960&tm=1491918381547

LOGICA MATEMATICA (90004B 611) yeisson Steven Ramírez ariza