ACA LOGICA PARA ESCUELA DE INGENIERIAS
Nombre
Profesor: Juan Manuel Sánchez Navarro
Asignatura: Área de ciencias Básicas
Grupo:
Corporación Unificada Nacional (CUN)
02 de enero de 2025
Introducción
En este documento se exploran temas fundamentales de lógica y matemáticas aplicados
en la ingeniería. Se presentan conceptos como reglas de inferencia, sistemas numéricos
y propiedades de funciones matemáticas, esenciales para desarrollar habilidades
analíticas y de resolución de problemas en el ámbito profesional. Además, se incluyen
ejercicios prácticos que ilustran cómo aplicar estos principios teóricos en contextos
cotidianos y académicos.
Objetivos
1. Comprender y aplicar las principales reglas de inferencia lógica, como Modus
Ponendo Ponens, Modus Tollendo Tollens y Modus Tollendo Ponens.
2. Describir y representar gráficamente los diferentes sistemas numéricos utilizados
en matemáticas.
3. Definir y diferenciar conceptos clave como tautología, axioma, conjetura y
teorema.
4. Analizar las propiedades de las funciones matemáticas, como el dominio, el
rango y las funciones biyectivas.
5. Resolver problemas prácticos que involucren operaciones matemáticas y
razonamiento lógico.
a. Modus Ponendo Ponens
Definición: Es una regla de inferencia que dice que si una proposición condicional
(P→Q) es verdadera y P (el antecedente) es verdadero, entonces Q (el consecuente)
también debe ser verdadero.
Forma lógica:
1. P→Q
2. P
3. ∴Q
Ejemplo:
Si estudio (P), entonces aprobaré el examen (Q).
Estudio (P), por lo tanto, aprobaré el examen (Q).
b. Modus Tollendo Tollens
Definición: Es una regla de inferencia que dice que si una proposición condicional
(P→Q) es verdadera y Q (el consecuente) es falso, entonces P (el antecedente) también
debe ser falso.
Forma lógica:
1. P→Q
2. ¬Q
3. ∴¬P
Ejemplo:
Si llueve (P), entonces el suelo estará mojado (Q).
El suelo no está mojado (¬Q), por lo tanto, no ha llovido (¬P).
c. Modus Tollendo Ponens
Definición: Es una regla de inferencia que establece que si una disyunción (P∨Q) es
verdadera y P (una de las proposiciones) es falsa, entonces Q (la otra proposición) debe
ser verdadera.
Forma lógica:
1. P∨Q
2. ¬P
3. ∴Q
Ejemplo:
O llego temprano (P) o pierdo el bus (Q).
No llego temprano (¬P), por lo tanto, pierdo el bus (Q).
2. Elaborar un mapa conceptual sobre los sistemas numéricos (números naturales,
enteros, racionales, reales, números complejos).
Investiga y/o describe que es: a. Tautologia a. Axioma b. Conjetura c. Teorema b.
Dominio de una función c. Rango de una función d. Función Biyectiva
a. Tautología
Una tautología es una proposición lógica que siempre es verdadera,
independientemente de los valores de verdad de sus componentes.
Ejemplo:
En lógica proposicional, la expresión P∨¬P (ley del tercero excluido) es una tautología
porque siempre es verdadera.
a. Axioma
Un axioma es una proposición aceptada como verdadera sin necesidad de demostración.
Es la base de un sistema lógico o matemático.
Ejemplo:
En geometría euclidiana, el axioma "Dos puntos distintos determinan una línea recta".
b. Conjetura
Una conjetura es una proposición que se sospecha verdadera pero que no ha sido
demostrada formalmente.
Ejemplo:
La conjetura de Goldbach, que afirma que todo número par mayor que 2 puede
expresarse como la suma de dos números primos.
c. Teorema
Un teorema es una proposición que puede demostrarse como verdadera dentro de un
sistema lógico utilizando axiomas y reglas de inferencia.
Ejemplo:
El teorema de Pitágoras: En un triángulo rectángulo, la suma de los cuadrados de los
catetos es igual al cuadrado de la hipotenusa (a2+b2=c2).
b. Dominio de una función
El dominio de una función es el conjunto de todos los valores de entrada (x) para los
cuales la función está definida.
c. Rango de una función
El rango de una función es el conjunto de todos los valores de salida (y) que la función
puede tomar.
d. Función Biyectiva
Una función biyectiva es una función que es inyectiva (uno a uno) y sobreyectiva
(cubre todo el rango).
Propiedad: Cada elemento del dominio se asocia con un único elemento del rango, y
viceversa.
4. Encuentre la suma, diferencia o producto, dependiendo de la operación
solicitada en las siguientes expresiones:
5. Un hombre tiene 14 monedas en su bolsillo, todas las cuales son de 10 o de 25
centavos. Si el valor total de su cambio es $2.75, ¿cuántas monedas de 10
centavos y cuántas de 25 centavos tiene?
Un puesto de frutas vende dos variedades de fresas: estándar y de lujo. Una caja de
fresas estándar se vende en $7 y una de lujo se vende en $10. En un día, el puesto vende
135 cajas de fresas en un total de $1100. ¿Cuántas cajas de cada tipo se vendieron?
Conclusión
La lógica y las matemáticas constituyen herramientas esenciales en la formación de los
ingenieros, ya que permiten desarrollar un pensamiento crítico y estructurado para
enfrentar desafíos técnicos. A través del estudio de las reglas de inferencia, los sistemas
numéricos y las propiedades de las funciones, se fomenta una comprensión profunda de
conceptos fundamentales que son aplicables en diversas áreas de la ingeniería. Los
ejercicios incluidos demuestran la importancia de estas habilidades en la resolución de
problemas prácticos y cotidianos.
Referencias Bibliográficas
Smith, J. (2020). Introducción a la lógica matemática. Editorial Académica.
Brown, T. (2019). Sistemas numéricos y su aplicación en la ingeniería.
Springer.
Johnson, K. (2018). Fundamentos de las funciones matemáticas. Wiley & Sons.
Universidad Nacional (2022). Material de estudio: Lógica y matemáticas
aplicadas.
