leydy

Introducción

La lógica matemática consiste en el estudio matemático de la lógica y en la aplicación de este

estudio a otras áreas de las matemáticas. En esta actividad presentaremos una solución
individual completa y oportuna de la misma, tendremos en cuenta la participación significativa,
continuas y oportunas debatiendo las propuestas frente a las propuestas de los compañeros.

Toda metodología basada en la teoría del aprendizaje significativo facilita a que nosotros como
alumnos en el aprendizaje tengamos una mejor y calidad sobre unas bases fundamentales para
un buen proceso pedagógico donde se obtiene el fortalecimiento lógico matemático cuando se
aplica una unidad didáctica basada en la teoría del aprendizaje significativo donde se fortalecen
mejores relaciones en el mundo externo.
Objetivos

1. Profundizar sus conocimientos en matematicas y poder descubrir las aplicaciones

concretas en la ciencia que estudia.
2. Trabajar colaborativamente
3. Mejorar su capacidad para resolver problemas, implementando procedimientos
matemáticos de aplicación, que le serán útiles tanto en otras asignaturas como en su
desarrollo profesional.
Ejercicios de la tarea 3:

Ejercicio 1: Proposiciones categóricas.

Proposiciones categóricas:

B).

p: Algunos docentes son ingenieros industriales

q: Ningún docente es ingeniero industrial

 Definición de la estructura de la proposición categórica

Cuantificador Término Sujeto Cualidad o Cúpula Término Predicado

Algunos docentes son Ingenieros industriales

 Determinar el tipo de proposición (A, E, I, O).

Clasificación de p: Proposición tipo “I”.

Particular afirmativa. Cuantificador particular y cualidad afirmativa.

 Definición de la estructura de la proposición categórica

Cuantificador Término Sujeto Cualidad o Cúpula Término Predicado

Ningún docente Es Ingeniero industrial

 Determinar el tipo de proposición (A, E, I, O).

Clasificación de q: Proposición tipo “E”.

Universal negativa. Cuantificador universal y cualidad negativa.

  Establecer si las proposiciones son contrarias, de contingencia o subcontrarias.

q
p

De acuerdo al esquema propuesta p y q son contradictorias

Ejercicio 2: Razonamiento Deductivo e Inductivo

B. De todos los felinos, el león es el rey de la selva, ya que es el felino más grande de África
y por su melena pareciera que tuviese corona. Su único potencial depredador es la hiena,
pero solo si ésta lo ataca en grupo; de lo contrario, hiena contra león tendrá como muy
probable vencedor al león.

A partir del razonamiento que haya seleccionado, deberá dar respuesta a los siguientes ítems:
 Identificar si el razonamiento es deductivo o inductivo.

Para el ejercicio anterior el razonamiento identificado es el deductivo

 Argumentar la respuesta con sus propias palabras.

Se identifica que es deductivo puesto que con los argumentos presentados más los
conocimientos adquiridos por las lecturas realizadas anteriormente se llega a la conclusión que
el mismo argumento presenta la cual es: Ya que el león es el felino más grande de africa, hiena
contra león tendrá como muy probable vencedor al león
Ejercicio 3: Problemas de aplicación

B. Expresión simbólica: [(𝑝 ∧ ¬𝑞) ∧ (𝑝 → ¬𝑟) ∧ (𝑞 ∨ ¬𝑠)] ⟶ (¬𝑟 ∧ ¬𝑠)

 Premisas:
P1: 𝑝 ∧ ¬𝑞
P2: 𝑝 → ¬𝑟
P3: 𝑞 ∨ ¬𝑠

Conclusión: ¬𝑟 ∧ ¬𝑠

 Proposiciones simples

P= Thomas enseña filosofía

q= Thomas enseña ingles

r= Thomas enseña español

s= Thomas enseña matemáticas

conclusión= Thomas no enseña español y no enseña matemáticas.

 Lenguaje natural

Thomas enseña filosofía y no enseña inglés. Si Thomas enseña filosofía entonces no enseña
español. Thomas enseña inglés o no enseña matemáticas; entonces no enseña español y no
enseña matemáticas.

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico

(En Word, Excel o foto del desarrollo manual).
 Resultado de la tabla de verdad: TAUTOLOGÍA

 Generar la tabla de verdad con el simulador Lógica UNAD

  Demostración por leyes de inferencia

P1= p ˄ ̴q

P2= p → ̴ r

P3= q v ̴ s

P4= p simplificación de 1

P5= ̴ r modus ponens 2 y 4

P6= ̴q simplificación1

P7= ̴s silogismo disyuntivo3 y 6

P8= ̴r ˄ ̴s adjunción 5y 7
Conclusion

 la logica matematica nos ayuda a realizar los procesos de pesamiento

encontrando sentido a lo que normalmene realizamos.
 La utiliacion de la logica tiene sus ventajas y desventajas y por lo tanto hay que
conocerla y analizarlas
 La proposicion es el elemento esencial de la logica para la matematica
 Un argumento logico es un razonemiento que parte de una serie de ununciados
llamados premisas se pueden llegar a un resultado llamado conclusion