TAREA 1 CONECTORES LÓGICOS Y TEORÍA DE CONJUNTOS

Rodolfo Albeyro Devia Huérfano Código 1122725346

No. De grupo 90004_553

Trabajo presentado a:
Paula Andrea Mosquera
Tutora

Universidad Nacional Abierta y a Distancia UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería
Lógica Matemática
2018
 ii

Contenido

Introducción .................................................................................................................................... 1

Objetivos ......................................................................................................................................... 2

1Ejercicio 1 ..................................................................................................................................... 3

Ejercicio 2 ....................................................................................................................................... 4

Ejercicio 3 ....................................................................................................................................... 6

Ejercicio 4 ....................................................................................................................................... 7

Conclusiones ................................................................................................................................... 8

Referencias ...................................................................................................................................... 9
 1

Introducción

En nuestro diario vivir se compone de afirmaciones se son ciertas o son falacias librando la

persona de prejuicios o su recta intención. La tabla de verdad se puede utilizar si una proposición

es falsa o y en su caso es veraz o también por medios de esta herramienta podemos constatar si

un argumento o inferencia es formalmente valido.

Para ello existen ciertas formalidades dándole un valor de verdad a cada proposición y asiéndole

variables; en muchos casos tenemos una verdad y una falsedad que decisiones tomamos; o

tenemos una verdad una falsedad, bueno puede ser redundante pero por esos y o ese o existe

mucha diferencia, ejemplo usted va a un restaurante y que de digan que bebida escoja, un café o

vaso de jugo naranja, y la siguiente opción café y un vaso jugo de naranja; por tanto nos damos

cuenta que la primera opción le ponen a escoger cualquiera de las dos opciones (un café o vaso

de jugo naranja) y la segunda opción el pude escoger las dos al mismo tiempo (café y un vaso

jugo de naranja). Por consiguiente en las tablas de verdad podemos someter las proposiones a y

con operadores lógicos darles el valor si son falsas o son verdaderas; por medio de estos

ejercicios se objetara a darle desarrollo a unas instrucciones de la vida cotidiana.

En otra parte encontraremos y buscaremos darle solución a unas aplicaciones de conjuntos donde

se encuentran eventualidades antes mencionados pero de manera gráfica aplicando diagramas en

Veen, y que matemática existe formas de comprobarlo.

 2

Objetivos
Generales

Como estudiante de la Escuela de Ciencias Básicas, Tecnología e Ingeniería, identificare

elementos conceptuales y básicos de la lógica matemática, necesarios para la solución de

problemas aplicando tablas de verdad. Además en correlación con el tema aplicare la teoría de

conjuntos a elementos circunstanciales de manera objetiva.

Específicos

Diferenciaré los diferentes tipos de razonamiento usados en las ciencias.

Expresar de manera teoricopractica principales de manera práctica reglas de inferencia lógica.

Podrá distinguir entre argumentos válidos y raciocinios inválidos.

Obtendrá discrepar los tipos de demostraciones utilizados en matemáticas.

Expondrá los componentes de un lenguaje formal a un lenguaje formal.

Generar tablas de verdad mediante aplicativo en línea truth tabla.

Emplear los conceptos básicos de la Teoría de Conjuntos en la solución de problemas.

Implementar diagramas de Venn en la solución de conjuntos.

Inferir en cantidades cuantitativas y cualitativas de los conjuntos a desarrollar.

 3

Ejercicio 1

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

b. a: En Colombia hay 32 departamentos (v)

q: Ibagué es la cuidad musical de Colombia (v)

r: Neiva es conocida como la ciudad de los parques (f)

Proposición compuesta en lenguaje natural:

En Colombia hay 32 departamentos si solo si Ibagué es la cuidad musical de Colombia o en

Colombia hay 32 departamentos y Ibagué es la cuidad musical de Colombia entonces Colombia
tiene 32 departamentos si y solo si Ibagué es la cuidad musical de Colombia o Neiva es conocida
como ciudad de los parques.

Valor de verdad proposiciones simples:

p: v
q: v
r: f

Valor de verdad proposición compuesta:

[(𝑝 ↔ 𝑞)⋁(𝑝⋀𝑞) → (𝑝 ↔ 𝑞)⋁𝑟]

[(𝑣 ↔ 𝑣)⋁(𝑣⋀𝑣) → (𝑣 ↔ 𝑣)⋁𝑓]
(𝑣 ∨ 𝑣) → (𝑣 ∨ 𝑓)
𝑣→𝑣
𝑣
 4

Ejercicio 2

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

b. Si la inflación continua, entonces las tasas de interés permanecerán altas y si las tasas
de interés permanecen altas entonces el desempleo aumenta.

p: la inflación continua (v)

q: las tasas de interés permanecerán altas (v)
r: desempleo aumenta(v)

Valor de verdad proposiciones simples:

p: v
q: v
r: v

Expresión del argumento en lenguaje simbólico o formal:

(𝒑 → 𝑞) ∧ (𝑞 → 𝑟)

(𝒗 → 𝑣) ∧ (𝑣 → 𝑣)

𝑣∧𝑣

𝑣
 5

Tabla de verdad con el simulador Truth Table :

Tabla de verdad manualmente:

1 2
p q r p→q q→r 1∧2
v v v v v v
v v f v f f
v f v f v f
v f f f v f
f v v v v v
f v f v f f
f f v v v v
f f f v v v
 6

Ejercicio 3

Descripción del ejercicio

A continuación, encontrará cuatro conjuntos, con los cuales deberá realizar el desarrollo el
desarrollo del ejercicio 3.

U= {Estudiantes de la Facultad de Artes y Ciencias una Universidad}

A= {Estudiantes de la carrera de Física}

B= {Estudiantes de la carrera de matemáticas}

C= {Estudiantes de la carrera de filosofía}

b. Los estudiantes que estudian física y matemáticas, pero no están en la carrera de filosofía.

(𝐴 ∩ 𝐵) − 𝐶 = 𝑋/𝑋 ∈ 𝐴 & 𝑥 ∈ 𝐵 & 𝑋 ∉ 𝐶

Link
https://www.youtube.com/watch?v=qRKu0krRiHg&feature=youtu.be
 7

Ejercicio 4

b. Se hizo una encuesta para determinar las preferencias por alguna emisora de radio
universitaria con los siguientes resultados:
 240 prefieren Javeriana estéreo (J).
 209 prefieren la Emisora de la Universidad Jorge Tadeo Lozano (M).
 420 prefieren Radiounad (R).
 162 prefieren la Emisora de la Universidad Jorge Tadeo Lozano y Radiounad.
 125 prefieren Emisora de la Universidad Jorge Tadeo Lozano y Javeriana
estéreo.
 185 prefieren Javeriana estéreo y Radiounad.
 110 prefieren las tres estaciones de radio mencionadas.

 ¿Cuántos estudiantes fueron encuestados?

Rta: 507
 ¿Cuántos estudiantes prefieren únicamente Javeriana estéreo?

Rta: 40

 ¿Cuántos estudiantes prefieren simultáneamente Javeriana estéreo y Radiounad pero no

la Emisora de la Universidad Jorge Tadeo Lozano?
Rta 75
 8

Conclusiones

Por medio esta labor académica se obtiene el desarrollo es la primera fase de conectores donde
apropio por primera vez como una instrumento la tabla de verdad, por medio de la cual se obtiene
un valor veraz de una proposición compuesta, para cada conjunción de verdad que se alcance
establecer.

Se identificó diferentes tipos de razonamiento usados en las ciencias aplicadas, expresando así de
manera teórico práctica principales de manera sencilla las reglas de inferencia lógica, pidiendo
así distinguir entre argumentos válidos y raciocinios inválidos; obteniendo discrepar los tipos de
demostraciones utilizados en matemáticas.
Por otra parte se evidencio los componentes de un lenguaje formal a un lenguaje formal, y
comprendiendo en sí que lo que se hace en papel ocurres en la vida cotidiana y vis versa.

Se los conceptos básicos de la Teoría de Conjuntos en la solución de problemas reales

estadísticos como el de las tres emisoras; implementando diagramas de Venn en la solución de
conjuntos, infiriendo así en cantidades cuantitativas y cualitativas de los conjuntos a desarrollar.
 9

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=3226457&tm
=1529246259924
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
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