Está en la página 1de 8

LOGICA MATEMATICA

PASO 2: CONECTIVOS LOGICOS Y TEORIAS DE CONJUNTOS

GRUPO 90004_121

Trabajo presentado a tutora: Liliana García

Aldemar Cardozo Castro

83238662

Universidad Nacional Abierta Y A Distancia

Programa de Agronomía

Tocancipá, Cundinamarca

2018
1. Introducción.
La lógica matemática estudia la forma de razonamiento, que por medio de reglas y técnicas
sencillas puede dar a conocer si un argumento es o no valido, así como también realizar una
deducción o plantear una demostración.

Para el desarrollo del siguiente trabajo se profundizo sobre el tema principal de lógica
matemática, igualmente sobre la construcción de las preposiciones que son al mismo tiempo
afirmaciones que comunican una idea verdadera o falsa, estas pueden ser simples o
compuestas, se realizó un breve repaso sobre la teoría de conjuntos, la cual, es una división
de las matemáticas que estudia los conjuntos, se estudió la terminología de símbolos,
conformación y relación de los conjuntos entre sí, permitiendo así la aplicación de lo
aprendido a la solución de problemas y relacionando los conceptos básicos de lenguaje con
la matemática. A continuación, daré a conocer la solución de manera individual y completa,
para cada ítem propuesto por el tutor.

2. Objetivos.

 Identificar las preposiciones y los conectivos lógicos, para así determinar el valor de
verdad.
 Construir una preposición compuesta o formal a partir de una preposición de lenguaje
natural, con el fin de determinar la validez de la proposición elaborada.
 Comprobar mediante una tabla de verdad si el resultado obtenido por dicha
proposición es una tautología, una contradicción o una contingencia.
 Identificar los conceptos básicos y fundamentales de la Teoría de Conjuntos y
aplicarlos en la solución de problemas.

3. Tareas

3.1. Tarea 1

Escriba la proposición compuesta propuesta en lenguaje natural y determine su valor de


verdad, a partir del valor de verdad de cada proposición simple
Ejercicio D

p: El año 2020 será un año bisiesto q: En un año bisiesto febrero tiene 29 días

r: Los años bisiestos se dan cada dos años

[(𝒑→𝒒) →𝒓] ↔ (¬𝒒∨𝒓)

[(Verdadero) →Falso] ↔ (Falso ∨ Falso)

[Falso] ↔ (Falso)

Verdadero

Verdadero = 1

Falso = 0

Tabla de verdad 1

𝒑 𝒒 𝒓 (𝒑→𝒒) (𝒑→𝒒) →𝒓 ¬𝒒 ¬𝒒∨𝒓 [(𝒑→𝒒) →𝒓]↔(¬𝒒∨𝒓)


0 0 0 1 0 1 1 1
0 0 1 1 1 1 1 1
0 1 0 1 0 0 0 0
0 1 1 1 1 0 1 1
1 0 0 0 1 1 1 0
1 0 1 0 1 1 1 0
1 1 0 1 0 0 0 0
1 1 1 1 1 0 1 1

El año 2020 será un año bisiesto entonces febrero tendrá 29 días entonces los años bisiestos
se dan cada 2 años si y solo si en un año bisiesto febrero no tendría 29 días o los años bisiestos
de se darían cada 2 años

3.2. TAREA 2
Cada solución de los siguientes enunciados debe contar con las siguientes etapas:

 Expresión en lenguaje simbólico.


 Desarrollo mediante tablas de verdad
 Uso del simulador Truth Table.

Ejercicio E

Si enero tiene 31 días y febrero 28 días entonces marzo tiene 31 días y abril no tiene 31 días

𝒑: Enero tiene 31 días 𝒒: Febrero tiene 28 días

𝒓: Marzo tiene 31 días s: Abril tiene 31 días

(𝒑 ʌ 𝒒) → (r ʌ ¬s)

Verdadero = 1

Falso = 0

Tabla de verdad 2

p q r s pʌq ¬s r ʌ ¬s (p ʌ q) → (r ʌ ¬s)
0 0 0 0 0 1 0 1
0 0 0 1 0 0 0 1
0 0 1 0 0 1 1 1
0 0 1 1 0 0 0 1
0 1 0 0 0 1 0 1
0 1 0 1 0 0 0 1
0 1 1 0 0 1 1 1
0 1 1 1 0 0 0 1
1 0 0 0 0 1 0 1
1 0 0 1 0 0 0 1
1 0 1 0 0 1 1 1
1 0 1 1 0 0 0 1
1 1 0 0 1 1 0 0
1 1 0 1 1 0 0 0
1 1 1 0 1 1 1 1
1 1 1 1 1 0 0 0
Tabla de verdad 3 simulador Truth Table.

3.3. TAREA 3
Ejercicio D

Los estudiantes que están en la ingeniería electrónica o ingeniería de telecomunicaciones,


pero no estudian ingeniería electrónica y simultáneamente ingeniería de telecomunicaciones

U
C

Estudiantes de
ingeniería de
Sistemas

Estudiantes de
A Estudiantes de B
ingeniería de
ingeniería
Telecomunicacion
Electrónica
es
U= {Estudiantes de Ciencias Básicas, Tecnología e Ingeniería (ECBTI)}

A= {Estudiantes de Ingeniería Electrónica}

B= {Estudiantes de Ingeniería de Telecomunicaciones}

C= {Estudiantes de Ingeniería de Sistemas}

𝐴∆𝐵 − 𝐶 = {𝑋/𝑋 ∈ 𝐴, ѵ, 𝑋 ∈ 𝐵, ʌ, 𝑋∉ A∩B, ʌ, ∉ C}

3.4. TAREA 4
De las siguientes situaciones representarlas en un diagrama de Venn y solucionar los
interrogantes planteados

Ejercicio E

Con el fin de integrar los estudiantes de los diferentes centros de la Zona Centro Sur, se
realizó un evento deportivo, el cual conto con 254 participantes, entre Estudiantes y Tutores.
Entre los participantes se premiaron el primer, segundo y tercer puesto de cada competencia,
con medallas de Oro, Plata y bronce respectivamente. Se sabe que 52 deportistas reciben
medallas de oro, 44 reciben medallas de plata, 90 deportistas reciben medallas de bronce, 22
tanto de oro como de plata, 32 reciben medalla de plata y bronce, 27 reciben medalla de oro
y bronce, y 12 reciben medalla de oro, plata y bronce. Teniendo en cuenta la información
anterior, dar respuesta a los siguientes interrogantes:

1. ¿Cuantos deportistas no han recibido ninguna medalla?

2. ¿Cuantos deportistas únicamente recibieron medalla de oro?

3. ¿Cuantos deportistas únicamente ganaron medalla de plata?

4. ¿Cuantos deportistas ganaron medalla de oro, pero no de bronce?


U= 254

15

15 10
12
B
C
43 20 2
135

A= Conjunto de medallas de Oro (52)


B= Conjunto de medallas de Plata (44)
C= Conjunto medallas de Bronce (90)

U= Conjunto universal de participantes (254)

1. 135 deportistas no han recibido ninguna medalla


2. 15 deportistas han recibido únicamente medalla de oro
3. 2 deportistas ganaron únicamente medalla de plata
4. 25 deportistas recibieron medalla de oro, pero no de bronce

4. Conclusiones
 Cada preposición simple debe tener los parámetros necesarios para que esta a su vez
pueda ser falsa o verdadera.
 Se debe asignar una letra a cada preposición simple, la cual las representara
simbólicamente al momento de formar una preposición compuesta formal o
simbólica.
 Todo conectivo debe servir para unir una o varias preposiciones simples generando
una preposición compuesta.
 Con una tabla de verdad bien elaborada se puede determinar la validez de las
proposiciones compuestas.
 Teniendo como base el simulador Truth Table, podemos corroborar si el resultado de
la tabla elaborada tiene o no validez del argumento dado.
 Al obtener como resultado una tautología en una preposición compuesta se considera
un razonamiento valido, de lo contrario se tomara como razonamiento invalido, es
decir, si el valor obtenido es una contingencia o una contradicción.
 Aplicando los conceptos de la Teoría de Conjuntos, se puede identificar el tipo de
conjunto y la relación que existe entre sí.
 Teniendo claro el concepto, se puede llevar acabo la solución de problemas.

5. Bibliografía

 Kenneth H. Rosen (2004). Matemáticas Discretas y sus Aplicaciones. Mc Graw Hill/


interamericana de España S. A. U. Páginas 71- 90 recuperado de
https://es.scribd.com/document/347896978/329787149-Rosen-Kenneth-
Matematica-Discreta-Y-Sus-Aplicaciones-5ta-Ed-Optimizado
 Guerrero, S. L. M. (2005). Matemáticas. Sus fundamentos en secuencia óptima.
Córdoba, AR: El Cid Editor. Páginas 24 – 34. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=24&docI
D=10075782&tm=1492518991513
 Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo Editorial Patria.
Páginas 163-166. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=178&docID
=11046000&tm=1492520104862
 Universidad de Guanajuato (2012). Capítulo 2 inferencia lógica. Paginas 44-70.
Recuperado de http://www.fisica.ugto.mx/~msabido/logica/2_a.pdf