Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Anexo 9 - Plantilla Tarea 3
Anexo 9 - Plantilla Tarea 3
Código
1003077470
Grupo
200611_861
Director-Tutor
2024
2
Introducción
Las proposiciones categóricas son afirmaciones incondicionales que establecen relaciones entre
dos clases. Estas proposiciones son la base del razonamiento lógico en matemáticas. Se clasifican
en diferentes tipos según su forma y cuantificación. Los cuantificadores, como “para todo” ( ∀) y
(∃), se utilizan para expresar proposiciones sobre conjuntos de elementos. Por ejemplo, la
expresión "para todo x en el conjunto S, P(x)" se denota como ∀x ∈ S, P(x), lo que significa que
Objetivos
General
razonamiento lógico para derivar conclusiones válidas a partir de premisas dadas, lo cual es
actividad.
Específicos
Aplicar reglas de inferencia lógica para derivar conclusiones válidas a partir de proposiciones
categóricas y cuantificadores, demostrando habilidades para justificar cada paso del razonamiento.
Ejercicio 1: Cuantificadores
lenguaje simbólico
( ∀ x ∈ ∪ ) (x ,¬ presentan la tarea 0)
Cuantificador
Existencial negativo
lenguaje simbólico
Tipo de razonamiento:
Justificación:
Deductivo
En este caso, la primera premisa establece una regla general que se aplica a todos los ingenieros
industriales. La segunda premisa identifica a Luis como parte de este grupo. Por lo tanto, la
conclusión de que Luis puede trabajar en producción se deduce lógicamente de las premisas. Esto
las premisas. En otras palabras, si es cierto que todos los ingenieros industriales pueden trabajar
en producción y que Luis es un ingeniero industrial, entonces debe ser cierto que Luis puede
Paso 1: Calculamos el total de hombre-días necesarios para instalar todas las ventanas. Esto es
igual a 12 obreros * 30 días = 360 hombre-días.
Paso 2: Calculamos el número de obreros necesarios para instalar todas las ventanas en 24 días.
Esto es igual a 360 hombre-días / 24 días.
Por lo tanto, se necesitan 15 obreros para instalar todas las ventanas en 24 días.
hombres, pero ultima mente se ha venido incursionando la inclusión de mujeres las cuales tiene un
gran papel con su aportes y ayudas, en este caso la ciberseguridad esta jugando un papel
fundamental ya que es primordial para cualquier organización velar por su seguridad, lo cual
Figura 1
académica.
9
Figura 2
proyección social.
Figura 3
proyección social.
10
Conclusiones
esencial para desarrollar habilidades lógicas y demostrar teoremas de manera rigurosa. Al dominar
Referencias Bibliográficas
Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Grupo Editorial Patria. (pp.
61- 65). https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/40414?page=72
Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Grupo Editorial Patria. (pp. 80
- 84). https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/40414?page=91
Rojas Álvarez, C. J. (2018). Razonamiento cuantitativo (2a. ed.). Universidad del Norte. (pp. 5 –
25). https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/70052?page=11
Stanley, P., & Dag, W. (2006). Quantifiers in Language and Logic. OUP Oxford. (pp. 19 – 28).
https://bibliotecavirtual.unad.edu.co/login?url=https://search.ebscohost.com/login.aspx?
direct=true&db=e000xww&AN=192220&lang=es&site=ehost-live&ebv=EB&ppid=pp_19
Vargas Villegas, E. & Nuñez, L. A. (2019). Lógica matemática y teoría de conjuntos. Universidad
Abierta para Adultos (UAPA). (pp. 137 – 144).
https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/176645?page=138