Lgica Matemtica Profesor: Larry F.

Jagey Camarena

Ejemplo muy sencillo de la tarea 3

Integrantes del equipo:

I. Contexto:

En el curso de Lgica Matemtica IV se establece la siguiente forma de evaluacin: 20%

para prcticas y tareas, 20% para el proyecto y 60% para un examen global. Sin
embargo, el profesor impone la siguiente restriccin: aunque el estudiante alcance un
promedio aprobatorio (mayor o igual a 6/10) es condicin necesaria que apruebe el
examen global para pasar el curso. Esto quiere decir que si Pepe saca 5 en el examen,
aunque tenga todos los puntos correspondientes al proyecto y a las tareas y prcticas
no pasa el curso, aun sumando una calificacin de 7. No hay restricciones adicionales
por lo que Luis, el mejor amigo de Pepe, observa que basta sacar 10 en el examen para
pasar el curso (a Luis no le gusta hacer tareas). Por otro lado, Rosita antes del final del
semestre tiene una calificacin de 7 en el examen global, lo cual le da 4.2 puntos, y slo
entreg la mitad de las tareas y prcticas (1 punto). Necesita 0.8 puntos para aprobar
el curso por lo que necesita sacar al menos un 4 en el proyecto final. Al enterarse de
esto, Luis dice aliviado, ya que sabe que Rosita es buena con los proyectos de clase:
Rosita, basta con que saques una calificacin aprobatoria en el proyecto.

II. Identificacin de condiciones necesarias y suficientes:

1. Es condicin necesaria pasar el examen global para pasar el curso.

(Ojo: en este ejemplo, pasar el examen, sin especificar la calificacin, no es condicin

suficiente para pasar el curso)

2. Sacar 10 en el examen global es suficiente para pasar el curso.

(Ojo: Sacar 10 en el examen no es condicin necesaria para aprobar el curso)

3. En el caso de Rosita, es condicin necesaria entregar el proyecto para aprobar el

curso.

(Ojo: No es condicin suficiente. Si lo entrega, pero obtiene una calificacin menor a 4

no alcanza el puntaje mnimo que le haca falta.)

4. En el caso de Rosita, es condicin necesaria y suficiente para pasar el curso, sacar al

menos un 4 en el proyecto final.

5. Nuevamente con Rosita, le basta (es decir, es condicin suficiente) aprobar el proyecto
para pasar el curso.

III. Simbolizacin

Del nmero 1:

P: Yo paso el curso de lgica matemtica IV.

Lgica Matemtica Profesor: Larry F. Jagey Camarena

Q: Yo paso el examen global del curso de lgica matemtica IV.

P Q
Ojo: Es importante decir explcitamente qu proposicin estamos poniendo en lugar de
P y Q. En este caso eleg referirlo a m como el hipottico alumno del curso en cuestin.
Tambin habra sido correcto referirlo a alguno de los sujetos del ejemplo o en general:
Si el alumno x del curso de LM IV pasa el curso, entonces pasa el examen global.
Donde P: el alumno x pasa el curso de LM IV y Q: el alumno x pasa el examen global
de LM IV. Claro que aqu depende quin sea el x al que nos referimos para poder decir
si la proposicin es verdadera o falsa pero lo importante es hacer explcita la estructura
del enunciado.

Del nmero 4:

R: Rosita pasa el curso

S: Rosita saca al menos 4 en el proyecto final
RS
Ojo: Noten que la proposicin R que dice que Rosita pasa el curso presupone
implcitamente el contexto que fue explicado ms arriba (que hasta antes del proyecto
ha acumulado 5.2 puntos). Como an no pasamos al tema de anlisis de argumentos
podemos tomarnos la libertad de asumir que la proposicin R tal como se propuso
resume la situacin dada en el contexto. Por ello es importante para esta tarea que el
contexto que expliquen sea claro y explcito.

Tienen que simbolizar todos los enunciados que identifiquen en el apartado II.