Documente Academic
Documente Profesional
Documente Cultură
Lógica Matemática
Universidad nacional abierta y a distancia(UNAD)
Escuela de ciencias agrícolas, pecuarias y de medio ambiente
(ECAPMA)
Programa de Agronomía
Zona sur CCAV Pitalito
Marzo 2019
INTRODUCCION
En este trabajo se va a llevar a cabo la teoría de conjuntos y conectivos lógicos que van a ser
cuenta otras bases fundamentales para el desarrollo en este caso se realizaran 4 ejercicios. Se
van a realizar para tener mayor conocimiento sobre el tema y que tiene gran importancia en
OBJETIVOS
-Dar conocimiento de la importancia que tiene este tema en las matemáticas tanto en la vida
cotidiana.
DESARROLLO DE EJERCICIOS 1 LETRA (D)
Ejercicio 1: Proposiciones
[(𝑝 ∨ 𝑞) ↔ 𝑟] ∧ (𝑟 → 𝑝)
[(F ∨ V) ↔ V] ∧ (V → F)
[(V ↔ V)] ∧ (V → F)
[(V∧ V)]
F
DESARROLLO DE EJERCICIOS 2 LETRA (D)
d) Sofía juega básquet por hobby o practica tenis de forma profesional. Si práctica tenis de
forma profesional entonces juega por más de tres horas diarias y quema muchas calorías.
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
Definir las proposiciones simples del argumento.
Definir la expresión del argumento en lenguaje simbólico o formal.
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)
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.
SOLUCION.
p: Sofía juega básquet por hobby
q: practica tenis de forma profesional
r: quema muchas calorías
[(p v q) → r (p ^ r)]
[(p v q) → r (p ^ r)]
p q R [(p v q) → r (p ^ r)]
V V V V
V V F V
V F V V
V F F V
F V V V
F V F V
F F V V
F F F V
D)
1. 𝐴∪𝐵
2. 𝐴Δ𝐶
3. (𝐵∩𝐶) −𝐴
4. 𝐴∩𝐵∩𝐶
1. 𝐴∪𝐵
2. 𝐴 Δ 𝐶
A Δ C = {9+3+6+4} = {22}
3. (𝐵∩𝐶) −𝐴
(𝐵∩𝐶) −𝐴 = {3}
4. 𝐴∩𝐵∩𝐶
𝐴∩𝐵∩𝐶 = {5}
CONCLUSION
mostraron bases importantes para el desarrollo, se obtuvo un gran conocimiento sobre el tema
para que logramos tener en cuenta la importancia de los conjuntos y conectivos lógicos en la
Bibliografía
Meneses, C. (1899). Preposiciones matemáticas. Mexico: La Teoria de preposiciones (L.T.P).
Sarrey, T. (2003). metodogia de conjuntos. Buenos Aires, Argentina: matemáticas del mundo.