ACTIVIDAD EVALUATIVA

La actividad pretende reconocer diferentes elementos de la lógica proposicional y el cálculo

proposicional, que los estudiantes elaboren diferentes rutas para la consecución, análisis e inferencia y
poder resolver situaciones problema. Con las cuales se tendrá como finalidad enriquecer los argumentos
de los estudiantes y sus formas de explicación.

Los estudiantes deben resolver las siguientes preguntas y ejercicios.

1. ¿Qué entiendes por lógica?

2. Elabora un resumen sintético de la historia de la lógica.
3. Simbolizar las siguientes proposiciones, utilizando los símbolos de las siguientes proposiciones
simples:
• Estoy en la casa o en la universidad.
• Gabriela está trabajando.
• Si gano suficiente, voy a un viaje.
• Una fracción es impropia cuando el numerador es mayor o igual al denominador.
• Si multiplicamos por cero, el producto siempre es igual a cero.

4. Complete la tabla de verdad 1

5. Simbolice las siguientes proposiciones

• Daniel está cantando, bailando y divirtiéndose.

• Samuel vive en Santa Marta o en Bogotá.
• Lorena no perderá el curso de lógica matemática.
• Esta noche nos iremos de fiesta y no al cine.
• La calificación final dependerá del esfuerzo y la dedicación, no de qué tan bien le
caes al profesor.

1
 6. Sea p: Llueve, q: hace frío, r: voy al parcial. Exprese en lenguaje cotidiano las siguientes
proposiciones:
1. (p → q) → ~r
2. (p ʌ q) → r
3. (~p ʌ ~q) → r
7. ¿Cuáles de los siguientes enunciados compuestos son verdaderos?
1. ~(p v q) ↔ p ʌ ~q
2. ~(p v q) ↔ (p ʌ ~q) v (~p ʌ q)
8. Construya tablas de verdad para las siguientes proposiciones ¿Cuáles de ellas son tautologías?
¿cuáles de ellas son contradicciones?. (Recuerde que una tautología es una proposición cuyos
valores de verdad son verdaderos en todos los casos de su tabla de verdad. Una contradicción es
una proposición cuyos valores de verdad son falsos en todos los casos de su tabla de verdad)
1. p →(p v q)
2. (p v q) → p
3. [(p v q) ʌ ~q] → ~p
4. [(p → r) ʌ (r → q)] → ~(p → q)
5. [(p ʌ ~q) v r] ↔ [(p v r) ʌ (q v r)]

Definición.

Si A es un conjunto finito, llamaremos “cardinal de A ” y lo notamos n ( A ) al número de elementos

de A .

Definición.
Dados A , B , C finitos, se tiene:
1.
2.

Resolver las siguientes situaciones.

9. Una ensambladora de autos recibió una orden de fabricación de 38 automóviles tipo sedán, con
las siguientes características: 18 con aire acondicionado; 23 con vidrios eléctricos y 29 con
cojinería de lujo. De estos, 3 deben tener solamente vidrios eléctricos, 8 deben tener solamente
cojinería de lujo; 9 de los vehículos deben tener solamente vidrios eléctricos y cojinería de lujo, 5
de los vehículos deben tener los tres aditamentos.

Determinar:
• Cuántos vehículos llevan aire acondicionado y cojinería de lujo, solamente?
• Cuántos vehículos llevan aire acondicionado solamente?
• Cuántos vehículos llevan aire acondicionado y vidrios eléctricos solamente?

2
10. La secretaría de educación municipal requiere la provisión de veintinueve cargos docentes en
las siguientes áreas: 13 profesores de matemáticas, 13 profesores de física, y 15 profesores
de Sistemas. Para el cubrimiento de los cargos se requiere que: 6 profesores dicten
matemáticas y física, 4 profesores dicten física y sistemas y 5 profesores dicten matemáticas
y sistemas.

Determinar:

• ¿Cuántos profesores se requiere que dicten las tres áreas?

• ¿Cuántos profesores se requiere para dictar matemáticas únicamente?
• ¿Cuántos profesores se requiere para dictar matemáticas y sistemas, pero no física?

Con relación al problema anterior, En respuesta a la solicitud de trabajo, se seleccionaron

veintinueve aspirantes cuyas solicitudes presentan la siguiente información:

15 pueden dictar física.

16 pueden dictar sistemas.
6 pueden dictar matemáticas y física.
5 pueden dictar física y sistemas.
1 puede dictar las tres áreas.
7 pueden dictar solamente sistemas.

Determinar
• ¿Cuántos aspirantes seleccionados se presentaron para dictar matemáticas?
• ¿Qué puestos no pueden cubrirse?
• ¿Cuántos solicitantes y en qué áreas no pueden ser finalmente admitidos