Anda di halaman 1dari 12

Universidad nacional abierta y a distancia (UNAD)

Escuela de ciencias básicas tecnología e ingeniera

Ingeniería de Sistemas

Lógica Matemática

Unidad 1: tarea 1: Conectivos lógicos y teoría de conjuntos

Dorado Ovalle Ivone Andrea

Tutor

Bochachica Jose Rafael

Grupo 129

Febrero de 2019

Bogotá
Introducción

El en siguiente trabajo expondremos el desarrollo de Lógica proposicional, tablas de verdad

en proposiciones compuestas, álgebra de proposiciones, tautologías, contradicciones,

contingencias y teoría de conjuntos


Objetivos.

 Saber comprender, interpretar y reconocer la Lógica proposicional, tablas de verdad

en proposiciones compuestas, álgebra de proposiciones, tautologías,

contradicciones, contingencias y teoría de conjuntos


Desarrollo ejercicios puntos B

Ejercicio 1: Proposiciones

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 1:

b) p: la suma de los números naturales es conmutativa


q: sumar 3+4 es igual a 7
r: sumar 4+3 es igual a 7
(𝑞 ∧ 𝑟) → 𝑝

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
1. Escriba la proposición compuesta propuesta en lenguaje natural.
(q∧r)→p
Si Sumar 3+4 es igual 7 y sumar 4+3 es igual a 7, entonces la suma de los números
naturales es conmutativa.
2. Determinar el valor de verdad de las proposiciones simples.
p: la suma de los números naturales es conmutativa.  V
q: sumar 3+4 es igual a 7  V
r: sumar 4+3 es igual a 7  V
3. Determinar el valor de verdad de la proposición compuesta.

Tabla de los valores de verdad de los conectores lógicos


(q ^ r) → p

v^v → v
v → v
v

Respuesta: El valor de verdad para la proposición compuesta (q ^ r) → p es


verdadero.

Ejercicio 2: Tablas de verdad


Descripción del ejercicio:

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
1. Definir las proposiciones simples del argumento.
2. Definir la expresión del argumento en lenguaje simbólico o formal.
3. Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos Simulador
Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de acceso al
recurso)
4. Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si
el resultado es una tautología, contingencia o contradicción.

b) Aprender matemáticas desarrolla el razonamiento lógico si y solo si se posee una buena


comprensión lectora y buena ortografía.

Proposiciones simples.
p  Aprender matemáticas desarrolla el razonamiento lógico.
q  Se Posee una buena compresión lectora.
r  Se Posee Buena ortografía.
Lenguaje Simbólico.
p ↔ ( q^r)
Tabla de verdad manual

Tabla de verdad con el simulador Lógica UNAD

El resulatdo de la tabla de vedad es: contingencia


Ejercicio 3: Teoría de conjuntos.
Descripción del ejercicio:

A continuación, encontrará el diagrama de Venn-Euler requerido para el desarrollo del


ejercicio 3
b.)

Definir los nombres de los conjuntos del diagrama de ven


Operación entre conjuntos

U: Estudiantes que les gusta tocar ciertos instrumentos en la Orquesta Sinfónica.


A: Estudiantes que tocan instrumentos de cuerda.
B: Estudiantes que tocan instrumentos de viento.
C: Estudiantes que tocan instrumentos de percusión.
Operación entre conjuntos (notación):
(C-A)-B
la notación en palabras de diagrama de venn: En la orquesta sinfónica los estudiantes
que tocan instrumentos de percusión no tocan los instrumentos de cuerda ni los
instrumentos de viento
Realizar un vídeo donde explique la forma como fue desarrollada la tarea.
Link video de la actividad 3 ejercicio b
https://www.youtube.com/watch?v=yQVrW-1RT1g

Ejercicio 4: Aplicación de la Teoría de Conjuntos.


Descripción del ejercicio:
A continuación, encontrará el diagrama de Venn-Euler requerido para desarrollar el
ejercicio.

Definición de los conjuntos


U= Especies que viven del departamento del Cauca
A= Especies de Anfibios
B= Especies de Reptiles
C= Especies de Mamíferos

aplicación de teoría de conjuntos


1. A∪B
2. A∆C
3. (B∩C)-A
4. A∩B∩C

Problema de teoría de conjuntos:


a partir de la información obtenida por los habitantes de esta población con respecto a las
Especies que viven del departamento del Cauca, estas especies son: especies de anfibios,
especies Reptiles, especies Mamíferos. Se ha desarrollado los siguientes ejercicios.
1.A∪B

Operación en palabras: Especies anfibios y reptiles.


A∪B = {1,4,6,8,12,15}
Respuesta:1+4+6+8+12+15=46
2. AΔC

Operación en palabras: Especies de anfibios y mamíferos, pero no simultáneamente


anfibios o mamíferos
A Δ C = {4+11+12+15}
Respuesta: 4+11+12+15=42
3.(B∩C)-A
Operación en palabras: especies de reptiles y mamíferos, pero no anfibios.
(B∩C)-A={4}

Respuesta =4.

4. A∩B∩C

Operación en palabras: especies que viven simultáneamente en el cauca anfibios,


reptiles, mamíferos.
A∩B∩C = {6}

Respuesta = 6
Conclusiones.
El presente trabajo dio desarrolla paso a paso de Lógica proposicional, tablas de verdad en
proposiciones compuestas, álgebra de proposiciones, tautologías, contradicciones,
contingencias y teoría de conjuntos.
Referencias

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. Recuperado
http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&docID=322645
7&tm=1529246259924
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 de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=21&docID=103452
86&tm=1489708381971

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