Taller de Matemática

Computacional
TUDAI – 2018
FCEX - UNICEN
 Docentes

Dr. Diego Dalponte

Ing. Delfina Braggio
Ing. Nicolás Dazeo

Dr. Carlos Bulant Lic. María Laura Maestri

Ing.Lucas
Lic. Ignacio Orlando
Corrales
 Condiciones Aprobación Cursada 2018
Se tomarán 3 parcialitos (evaluaciones temáticas) y un examen parcial integrador con
dos recuperatorios. Los parcialitos se califican con A (aprobado) o D (desaprobado) y no
tienen recuperatorio. La asistencia a clases debe ser como mínimo 60% (para prom.).
Parcial, 1er y 2do recuperatorios se califican con notas entre 1 y 10. Para aprobar en
cualquiera de las tres instancias calificación  4
Nota de cursada C (igual o superior a 4 para estar aprobada):
C = A + 0,70 * B siendo
A = cantidad de evaluaciones prácticas aprobadas
B = nota de parcial, 1º o 2º recuperatorio, siendo B  4

Cantidad de evaluaciones Nota parcial o recuperatorios Cursada

prácticas aprobadas
0 5 ó menos Desaprobada
0 6 ó más Aprobada
1 4 ó menos Desaprobada
1 5 ó más Aprobada
2ó3 Menos de 4 Desaprobada
2ó3 4 ó más Aprobada

PROMOCIÓN: Se promociona la materia si se logra la nota de cursada C 7 en la instancia

de parcial. No se puede promocionar en recuperatorio o prefinal.
 Matemática y Computación
La matemática, lógica y computación se
encuentran fuertemente vinculadas.

¿Hay algún error?

¿Qué conclusiones podemos sacar?

¿Estamos en condiciones de afirmar o negar algo?
 Lógica
• La lógica estudia la
forma del
razonamiento.

• En matemática, para
demostraciones y
problemas.

• En computación,
elaboración y revisión
de programas.
 Lógica
• En física, para establecer el procedimiento para
llevar a cabo un experimento e interpretar los
resultados obtenidos.

• En la vida
cotidiana, para
poder establecer
una comunicación.
Lógica
 Lógica
Filosofía Griega
Maestro de
Maestro de

Sócrates (470-399 a.C.) Platón (427-347 a.C.) Aristóteles (384-322 a.C.)

Siglo XX: creación Peano

y desarrollo de la Leibniz Lógica Aristotélica.
computadora. Boole Introduce los cuantificadores.
De Morgan
Russell
…

¿Qué edades tenían cuando murieron?

 Lógica - Proposiciones
Una proposición es una oración, frase o expresión
matemática que puede ser verdadera o falsa, pero
no ambas a la vez.

p: Aristóteles tenía más de 70 años cuando murió.

q: A Juan le encanta TMC.
Las proposiciones p y q son proposiciones válidas.
r: Pensá qué querés decir antes de hablar.
La proposición r no es una proposición válida.
(aunque sea un buen consejo).
 Lógica – Proposiciones Compuestas
Existen operadores lógicos que permiten formar
proposiones compuestas. Sean p y q proposiciones
válidas:
• NOT (negación): p. Tiene como función negar una proposición.
• AND (conjunción): pq. Se utiliza para conectar dos
proposiciones que se deben cumplir para que se pueda obtener
un resultado verdadero.
• OR (disyunción): pq. Se obtiene un resultado verdadero cuando
alguna de las proposiciones es verdadera.
• XOR (disyunción exclusiva): pq. El resultado es verdadero si
alguna de las proposiciones es cierta, pero no ambas.
• CONDICIONAL (o implicancia): pq. Se lee “si p entonces q”.
• BICONDICIONAL (sí y sólo si): pq. Se lee “p sí y sólo si q”.
 Lógica – Tablas de Verdad
Utilizando las tablas de verdad es posible mostrar los resultados
obtenidos al aplicar cada uno de los operadores lógicos.

AND: p q pq NOT: p p

0 0 0 0 1
0 1 0 1 0
1 0 0
1 1 1
XOR:
OR: p q pq p q pq
0 0 0 0 0 0
0 1 1 0 1 1
1 0 1 1 0 1
1 1 1 1 1 0
 Lógica – Tablas de Verdad
IMPLICANCIA:
p q pq
p: Juan estudia TMC
0 0 1
q: Juan aprobará TMC
0 1 1
1 0 0
Digamos que el profesor afirma:
1 1 1
Si Juan estudia TMC, aprobará TMC
1. p  0, q  0: Juan no estudió y tampoco aprobó, por lo tanto la
afirmación del profesor es verdadera.
2. p  0, q  1: Juan no estudió y aprobó. A pesar de no haber
estudiado, aprobó. Puede deberse a alguna circunstancia
independiente al hecho de haber estudiado (suerte, se copió,
etc.). Por lo tanto la afirmación sigue siendo verdadera.
3. p  1, q  0: La afirmación del profesor es falsa. Juan estudió y no
aprobó, por lo tanto en este caso 10  0.
4. p  1, q  1: Juan estudió y aprobó, por lo tanto resulta verdadera
la afirmación del profesor.
 Lógica – Tablas de Verdad
Las tablas de verdad permiten ver el resultado de una
proposición compuesta para cada una de las
proposiciones simples que la componen.
SÍ Y SÓLO SI:
p q pq qp (pq)(qp)  (pq)
0 0 1 1 1
0 1 1 0 0
1 0 0 1 0
1 1 1 1 1

Regla general: Cantidad de filas de la tabla = 2n, donde n

es el número de proposiciones diferentes que integran la
proposición compuesta.
 Lógica – Tablas de Verdad
Al llevar a cabo una evaluación, se debe tener en cuenta la
precedencia de los operadores.
Precedencia Operador
1 ()
2 
3 
4 
5  

Además, es conveniente colocar los valores de las proposiciones en

cierto orden. Si bien el resultado no se altera, se gana el legibilidad.
Se recomienda ordenar las proposiciones de alfabéticamente y los
valores de las mismas de menor a mayor (000,001,010,011,…,111).
 Lógica – Tablas de Verdad
Ejemplo:

Construir la tabla de verdad para la siguiente proposición:

[(pq)  (q  r)]  (rq)

En este caso son tres las proposiciones (p, q, r) que integran la

composición compuesta. Si bien q se encuentra en la proposición,
se entiende que conociendo q es posible conocer q, por lo tanto se
trata de la misma proposición.
 Lógica – Tablas de Verdad
La tabla resultante es la siguiente:
[(pq)  (q  r)]
p q r q (pq) (q  r) (pq)  (q  r) (rq)
 (rq)

0 0 0 1 1 0 1 1 1

0 0 1 1 1 1 1 0 0

0 1 0 0 1 0 1 1 1

0 1 1 0 1 0 1 1 1

1 0 0 1 0 0 0 1 0

1 0 1 1 0 1 1 0 0

1 1 0 0 1 0 1 1 1

1 1 1 0 1 0 1 1 1
 Lógica – Tautología
Tautología es aquella proposición que es verdadera
para todos los valores de sus variables.
 Lógica – Tautología
Tautología es aquella proposición que es verdadera
para todos los valores de sus variables.

Tautologías comunes:
• Adición: p  ( p  q )
• Simplificación: p  ( p  q )
• Absurdo: (p  0)  p
• Modus ponens: [p  (p  q)]  q
• Modus tollens: [(p  q)  q]  p
• Dilemas constructivos:
• [(p  q)  (r  s)]  [( p  r )  ( q  s )]
• [(p  q)  (r  s)]  [( p  r )  ( q  s )]
 Lógica – Contradicción
Una proposición es una contradicción o “absurdo”
si al evaluarla el resultado es falso, para todos los
posibles valores de verdad de sus variables.
 Lógica – Contingencia

Se denomina contingencia a una proposición

compuesta cuyos valores resultantes en la tabla de
verdad son ceros y unos.
 Lógica – Equivalencia

Dos proposiciones son lógicamente equivalentes si

coinciden sus resultados para los mismos valores
de verdad
p q p q pq qp qp (pq)(qp) (pq)
0 0 1 1 1 1 1 1 1
0 1 1 0 1 0 1 0 0
1 0 0 1 0 1 0 0 0
1 1 0 0 1 1 1 1 1

Equivalentes Equivalentes
 Lógica – Cuantificadores

Existencial  (existe al menos un …) : se utiliza para

indicar que existen uno o más elementos en un
conjunto con una condición o propiedad
determinada.

Universal (para todo…): se utiliza para afirmar que

TODOS los elementos de un conjunto, cumplen con
una condición o propiedad determinada.
Lógica – Relación entre Cuantificadores