Sei sulla pagina 1di 9

LOGICA DE MATEMATICA.

PRESENTADO POR:

ALEXANDRA HERNANDEZ CUELLAR


CODIGO: 1080930280

PRESENTADO A

GUSTAVO SALAZAR CEDEÑO

TUTOR

LOGICA DE MATEMATICAS

GRUPO:

90004_637

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD


ESCUELA DE CIENCIAS ADMINISTRATIVAS, CONTABLES, ECONOMICAS

Y DE NEGOCIOS, ECACEN

NEIVA

MARZO DE 2019
Introducción

El presente trabajo hace referencia a los conectivos lógicos y a la teoría de conjuntos, el


cual es realizado para aplicar cada uno de los ejercicios donde me corresponde desarrollar
los a) sobre (proposiciones, tablas de verdad, teoría de conjuntos y aplicación de teorías de
conjuntos), Y consta de cuatro ejercicios.

Donde se crea y se desarrolla una serie de ejercicios por cada tema, aplicando el lenguaje
simbólico y natural, realizando tablas de verdad manualmente y confirmando el resultado
con el simulador de la UNAD. Además, se realiza un video donde se explica cómo se
desarrolla el ejercicio diagrama de Venn- Euler correspondiente a la teoría de conjuntos.

Este trabajo busca como finalidad de poder identificar, comprender e interpretar los
conectivos lógicos y la teoría de conjuntos los cuales son fundamentales y de gran
importancia, ya que esto nos sirve para determinar valores o resultados posibles para
realizar operaciones lógicas matemáticas. revelando mayor capacidad en nuestro entorno de
aprendizaje y así poder aplicarlas en cualquier área de trabajo.
OBJETIVOS.

Objetivo general

Analizar e identificar los conceptos de la lógica proposicional como de sus aplicaciones


en la vida cotidiana

Objetivo específicos.

 Clasificar los tipos de proposiciones simples y compuestas presentes en la


lógica proposicional.

 Identificar las clases de operaciones entre conjuntos que se pueden dar y sus
forma de aplicarlas.

 Construir mediante el uso de un simulador lógico matemático una tabla de


proposiciones compuestas que permita ver su clasificación según la lógica
matemática.
Ejercicio 1: Proposiciones.

Descripción del ejercicio:

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

a) p: Iván Duque es colombiano


q: el 8 de agosto del 2018 se posesiono el nuevo presidente de los colombianos
r: Iván Duque es el nuevo alcalde de Ibagué
[(𝑝 ∧ 𝑞) → ¬𝑟] → (𝑝 ∨ ¬𝑝)

LENGUAJE NATURAL

Si Iván Duque es colombiano y el 8 de agosto del 2018 se posesiono el nuevo presidente de


los colombianos, entonces Iván duque no es el nuevo alcalde de Ibagué, entonces Iván
duque es colombiano o Iván duque de duque no es colombiano.

VALOR DE VERDAD DE LAS PROPOSICIONES SIMPLES

V(p) = V

V(q) = F

V(r) = F
VALOR DE VERDAD DE LA PROPOSICION

[(𝑝 ∧ 𝑞) → ¬𝑟] → (𝑝 ∨ ¬𝑝)


[(𝑉 ∧ 𝐹) → ¬𝐹] → (𝑉 ∨ ¬𝑉)
[𝐹 → 𝑉] → 𝑉
𝑉→𝑉
𝑉

Ejercicio 2: Tablas de verdad

a. Si Angélica chatea en su celular y conduce por la autopista entonces Angélica tiene una
alta probabilidad de accidentarse o Angélica puede dañar su automóvil.
 Proposiciones simples:
𝑝: Angélica chatea en su celular.
𝑞: Angélica conduce por la autopista.
𝑟: Angélica tiene una alta probabilidad de accidentarse.
𝑠: Angélica puede dañar su automóvil.

 Lenguaje simbólico
(𝑝 ∧ 𝑞) → (𝑟 ∨ 𝑠)
 Tabla de verdad
𝑝 𝑞 𝑟 𝑠 𝑝∧𝑞 𝑟∨𝑠 (𝑝 ∧ 𝑞) → (𝑟 ∨ 𝑠)
V V V V V V V
V V V F V V V
V V F V V V V
V V F F V F F
V F V V F V V
V F V F F V V
V F F V F V V
V F F F F F V
F V V V F V V
F V V F F V V
F V F V F V V
F V F F F F V
F F V V F V V
F F V F F V V
F F F V F V V
F F F F F F V

Contingencia
Ejercicio 3: Teoría de conjuntos

A:

 Definición de los conjuntos:

𝑈: Conjunto de estudiantes de la UNAD.


𝐴: Conjunto de estudiantes que matricularon lógica.
𝐵: Conjunto de estudiantes que matricularon introducción a la administración.
𝐶: Conjunto de estudiantes que matricularon catedra unadista.

 Operación entre conjuntos:

𝐴∆𝐵

 Expresión en palabras: Los estudiantes de la UNAD que matricularon lógica


matemática o introducción a la administración, pero no ven las dos al mismo tiempo.

LINK DE VIDEO

https://www.useloom.com/share/5f6c068f245c4fa6b1c566d1e2111b1a
a)

 Definición de los conjuntos:

𝑈: conjunto de estudiantes de la UNAD.


𝐴: conjunto de estudiantes que practican atletismo.
𝐵: conjunto de estudiantes que practican baloncesto.
𝐶: conjunto de estudiantes que practican fútbol.

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


interrogantes y respectivas respuestas:
Se realiza una encuesta a todos los estudiantes de la UNAD con el fin de
saber cuál es el deporte que practican entre atletismo, baloncesto y fútbol.
La información se consigna en un diagrama de Venn como el que se
muestra arriba.

 Operaciones entre conjuntos:

 𝐴 ∪ 𝐵: representa el conjunto de estudiantes que practican


atletismo o banloncesto. En total son: 4 + 2 + 8 + 5 + 3 + 6 = 28.
 𝐴 ∆ 𝐶: conjunto de estudiantes que practican atletismo pero no
fútbol junto con los que practican fútbol pero no atletismo. En total
son: 4 + 5 + 3 + 12 = 24.
 (𝐵 ∩ 𝐶) − 𝐴: estudiantes que practican baloncesto y fútbol pero no
atletismo. En total son: 3.
 𝐴 ∩ 𝐵 ∩ 𝐶: estudiantes que practican los tres deportes descritos en
la encuesta. En total son: 8.
BIBLIOGRAFÍA

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


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

Ojeda, J. (2014). Lógica y conjuntos. Shlide share, 1-48. Recuperado de


https://es.slideshare.net/jdavidojeda/logica-y-conjuntos-30214017

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 de
http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&docID=
3226457&tm=1529246259924

Sánchez, H. R. (2014). Álgebra. (pp. 2- 30). México, D.F., México: Larousse - Grupo
Editorial Patria. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=15&docID=
11046169&tm=1489706134764

Torres, C. (2010). Proposiciones simples y compuestas.Monografias.com. Recuperado de


https://www.monografias.com/trabajos100/proposiciones-simples-y-
compuestas/proposiciones-simples-y-compuestas.shtml

Potrebbero piacerti anche