UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias básicas tecnologías e Ingeniería
Lógica Matemática

Trabajo grupal de calificación individual No.1

Nombre de curso: 90004 – Lógica Matemática

Temáticas revisadas: UNIDAD 1

Políticas para el desarrollo de la actividad:
Querido estudiante, tres son las condiciones que deben ser cumplidas para recibir nota por el desarrollo de este trabajo colaborativo:

1. Que el estudiante presente una solución individual oportuna de la actividad
2. Que el estudiante tenga participaciones significativas, continuas y oportunas debatiendo sus propuestas con las propuestas de sus compañeros.
3. Que el equipo haya hecho entrega de un producto final consolidado en la plantilla diseñada con este fin.

GUÍA DE ACTIVIDADES

Profundización de la Unidad 1: Queridos estudiantes, a través de esta actividad realizaremos el proceso de transferencia de los temas de la primera unidad.
Para lograrlo desarrollaremos la actividad.

La invitación es a realizar la lectura consciente y completa de las páginas de esta guía de actividades. Especificaciones de la entrega de la actividad:





El informe grupal debe contener:

1. Portada
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias básicas tecnologías e Ingeniería
Lógica Matemática

2. Introducción
3. Desarrollo de la actividad
4. Conclusiones
5. Referencias
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias básicas tecnologías e Ingeniería
Lógica Matemática

Fase 1. Saberes previos para la unidad: Teoría de conjuntos



1.1. En un aula hay un cierto número de alumnos que hemos de determinar. Se sabe que cada uno de los alumnos presentes en el aula estudia, al menos,
una de las tres asignaturas siguientes: Matemáticas, físicas y química. Pues bien en sucesivas veces se pide que levanten la mano los que estudian:
- Matemáticas, y lo hacen 48
- Física, y lo hacen 45
- Química, y lo hacen 49
- Matemáticas y física, y lo hacen 28
- Matemáticas y química, y lo hacen 26
- Física y química, y lo hacen 28
- Las tres asignaturas, y lo hacen 18

Se pregunta:

1/ ¿Cuántos alumnos hay en el aula?
2/ ¿Cuántos estudian matemáticas y física, pero no química?
3/ ¿Cuántos estudian nada más que química?











Representa mediante el siguiente diagrama de ven la información anterior y responde las preguntas.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias básicas tecnologías e Ingeniería
Lógica Matemática






1 R/ 78
2 R/ 29
3 R/ 13





12
8
10
13
10
18
7
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias básicas tecnologías e Ingeniería
Lógica Matemática

Fase 2. Principios de lógica
2.1. En su aporte individual, cada estudiante debe plantear diez expresiones relacionadas con su programa de estudio, tal que cinco de las expresiones
correspondan a proposiciones lógicas y cinco expresiones que no puedan ser clasificadas como proposiciones. De éstas expresiones, el equipo debe elegir
una de las propuestas por cada participante:


Nombre del estudiante Son proposiciones
lógicas:
No son proposiciones
lógicas
Jair Orozco Torres Jair estudia Ingeniería de
Alimentos
Consumes leche
El alimento es vital para el
cuerpo
Estudia todo el día
En las matemáticas solo se
usan números
Va todo el día al laboratorio
La vitamina “c” está
presente en la naranja
Utiliza el módulo de lógica
matemática
la lógica matemática se
estudia en el programa de
ingeniería de alimentos
Presta los libros



UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias básicas tecnologías e Ingeniería
Lógica Matemática

2.1. A continuación se propone identificar los conectivos lógicos y proposiciones simples presentes en cada expresión, posteriormente plantearán una
expresión equivalente en lenguaje simbólico:

Expresión premisas Lenguaje simbólico
Si hay tolerancia,
entonces hay paz
p = hay tolerancia
q = hay paz
p  q
Para aprender
matemáticas es
necesario ser ordenado
y constante.
p= aprender matemáticas
q=ser ordenado
r= ser constante
p ↔ q ^ r
Te llevaré al baile; si
me prometes ser
puntual
p=te llevare
q=ser puntual
P ↔ q
Ana tiene
perseverancia, orden y
amor por la tarea.
p=tiene perseverancia
q=tiene orden
r= tiene amor
P ^ q ^ r








UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias básicas tecnologías e Ingeniería
Lógica Matemática

2.2 Las tablas de verdad nos permiten conocer el valor de verdad de una proposición compuesta para cada valor posible de las proposiciones simples que
la conforman. A continuación, el equipo debe elaborar la tabla de verdad de las siguientes proposiciones lógicas, finalmente, deben clasificar la
proposición como tautología, contradicción o contingente de acuerdo al resultado:
( ) | | ( ) ( ) s q r p ¬q q p . ÷ . . v v


p q r s (p ѵ q) ¬ q (p ѵ q) ѵ ¬ q (p ^ r) [(p ѵ q) ѵ ¬ q] ^ (p
^ r)
(q ^ s) [(p ѵ q) ѵ ¬ q] ^ (p ^ r) → (q ^
s)
V V V V V F V V V V V
V V V F V F V V V F F
V V F V V F V F F V V
V V F F V F V F F F V
V F V V V V V V V F F
V F V F V V V V V F F
V F F V V V V F F F V
V F F F V V V F F F V
F V V V V F V F F V V
F V V F V F V F F F V
F V F V V F V F F V V
F V F F V F V F F F V
F F V V F V V F F F V
F F V F F V V F F F V
F F F V F V V F F F V
F F F F F V V F F F V




[( p÷q) .(r ÷s)].( p v r )}÷(q v s)
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias básicas tecnologías e Ingeniería
Lógica Matemática




p q r s (p→q) (r→s) [(p→q) ^ (r→s)] (p v r) [(p→q) ^ (r→s)] ^ (p v
r)
(q v
s)
(p v r) → (q v s) (p→q) ^ (r→s) ^ (p v r) → (q v
s)
V V V V V V V V V V V V
V V V F V F F V F V V V
V V F V V V V V V V V V
V V F F V V V V V V V V
V F V V F V F V F V V V
V F V F F F F V F F F V
V F F V F V F V F V V V
V F F F F V F V F F F V
F V V V V V V V V V V V
F V V F V F F V F V V V
F V F V V V V F F V V V
F V F F V V V F F V V V
F F V V V V V F F V V V
F F V F V F F V F F F V
F F F V V V V V V V V V
F F F F V V V F F V V V

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias básicas tecnologías e Ingeniería
Lógica Matemática

2.3Mediante una tabla de verdad, evalúa la equivalencia entre las siguientes dos proposiciones: ¿Son equivalentes?

Primera proposición: ( ) q p ÷ segunda proposición: ˄q


2.4Proposiciones contraria, recíproca y contrarrecíproca. A continuación el equipo debe plantear las proposiciones contraria, recíproca y contrarrecíproca de la
expresión: “Si pones atención, aprenderás más pronto”

Directa Si pones atención, aprenderás más pronto
Contraria Si no pones atención, no aprenderás más pronto
Recíproca aprenderás más pronto Si pones atención
Contrarrecíproca no aprenderás más pronto Si no pones atención



Fase 3. Reflexión grupal
Finalmente, en esta fase, el equipo propondrá una reflexión en una página sobre la evolución histórica de la lógica, el equipo no debe hacer un recuento
histórico con fechas, el propósito es plantear una reflexionar sobre la evolución del pensamiento, descubriendo qué necesidades humanas han conducido al
desarrollo de la lógica.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias básicas tecnologías e Ingeniería
Lógica Matemática


El nacimiento de la lógica propiamente dicho está directamente relacionado con el nacimiento intelectual del ser humano. La l ógica emerge como mecanismo
espontáneo en el enfrentamiento del hombre con la naturaleza, para comprenderla y aprovecharla. Poncairé destaca cinco etapas o revoluciones en ese proceso
que se presentan entre dos grandes tópicos: del rigor y la formalidad, a la creatividad y el caos. Las etapas se identifican como: Revolución Matemática,
Revolución Científica, Revolución Formal y Revolución Digital además de la próxima y prevista Revolución Lógica.
La lógica matemática cuestiona con rigor los conceptos y las reglas de deducción utilizados en matemáticas lo que convierte la lógica en una especie de
metamatemática. Una teoría matemática considera objetos definidos -enteros, por ejemplo- y define leyes que relacionan a estos objetos entre sí, los axiomas de
la teoría. De los axiomas se deducen nuevas proposiciones -los teoremas-, y a veces, nuevos objetos. La construcción de sistemas formales -formalización,
piedra angular de la lógica matemática-, permite eliminar la arbitrariedad en la elección de los axiomas y definir explícita y exhaustivamente las reglas de la
deducción matemática.