LOGICA MATEMATICA - (90004A_612)

ANDRES FELIPE VERA PARRA

PRESENTADO:
JUAN DAVID CANON

100105_67

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

(UNAD)

CALI VALLE 2019

 INTRODUCION

El siguiente trabajo dará solución a los ejercicios propuestos en la unidad 1 tarea 1

Conectivos lógicos y teoría de los conjuntos de cursos de lógica matemática, Con todos
los estudiantes participen activamente y colaborativamente en el foro de discusión. De
otra parte, nos permite aprender sobre el tema mediante el análisis, la comprensión y la
interiorización de las lecturas y videos 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 GENERALES
Aprender temas tratados en la unidad 1 tarea 1Conectivos lógicos y teoría de conjuntos,
a través del desarrollo de 4 ejercicios presentados en este trabajado.

ESPECIFICOS

- Identificar conceptos básicos de la unidad 1.

- Resolver ejercicios de proposiciones del lenguaje natura al lenguaje simbólico y
tablas de verdad.
- Realizar ejercicios para determinar el valor de la verdad.
- Realización de tablas de verdad y verificaciones con el simulador de la tabla de
la verdad de la UNAD y propuestas por el estudiante.
 Conectivos lógicos y teoría de conjuntos desarrollo de ejercicios

Ejercicio 1

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é
[ (p ∧ q) → ¬ r]→ (p∨ ¬ p)

Lenguaje natural
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 NO es colombiano. NO

Valor de verdad proposición Simple

p: V
q: F
r: F
Valor de verdad proposición compuesta:
[ (p ∧ q) → ¬ r]→ (p∨ ¬ p)
[(V∧ F) → ¬ F]→ (V∨ ¬ V)
(F)→¬ F → (F)
V → F
F
Ejercicio 2

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.

Valor de verdad de las premociones simples.

p: Chatea en su celular
q: conduce por la autopista
r: tiene una alta probabilidad de accidentarse
S: puede dañar su automóvil

expresión del argumento en lenguaje simbólico.

(p ∧ q) → (r ∨ s)

Generar una tabla de verdad con el simulador Lógica UNAD

Tabla de verdad:

p q r s p∧q → r ∨s
V V V V V
V V V F V
V V F V V
V V F F F
V F V V V
V F V F V
V F F V V
V F F F V
F V V V V
F V V F V
F V F V V
F V F F V
F F V V V
F F V F V
F F F V V
F F F F V

Definir argumento: El argumento es contingencia.

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

A. Definición de los conjuntos:

U = Números del 1 al 7.
A = {1, 2, 3,4}
 B = {2, 3, 5, 6}
C = {3, 4, 6, 7}
Operación entre conjuntos (notación): UNION ENTRE CONJUNTOS
A U B = {1, 2, 3, 4, 5, 6}
Expresión en palabras:
La selección en el diagrama de Venn-Euler corresponde a los
números naturales del 1 al 7.

Adjunto el link del video del ejercicio 3 a).

https://drive.google.com/file/d/16hcAxqrzYW2Eq-pRVWPGTzBZN-
NIzsOq/view?usp=sharing

A. Ejercicio 4

Definición de los conjuntos:

U = Números del 2 al 12.
A= {2, 4, 5, 8}
B = {3, 5, 6, 8}
C = {2, 3, 8, 12}

Operación entre conjuntos (notación):

A U B = {2, 3, 4, 5, 6, 8} Unión de conjuntos
A ∆ C = {3, 4, 5, 6} Diferencia simétrica
(B ∩ C) - A = {3, 6, 12} Intersección de conjuntos
A ∩ B ∩ C = {2, 3, 5, 8} Intersección de conjuntos

Expresión en palabras:
La selección en el diagrama de Venn-Euler, corresponde a los números naturales del 2
al 12.
Bibliografía

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

de álgebra lineal
http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&docID=322
6457&tm=1529246259924

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

proposiciones compuestas). [Archivo de video]. Recuperado de

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