TMC - Clase 1 - Lógica - 2018

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
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.
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.
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).
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.
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

TMC - Clase 1 - Lógica - 2018

Cargado por

Copyright:

Formatos disponibles

TMC - Clase 1 - Lógica - 2018

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

TMC - Clase 1 - Lógica - 2018

Cargado por

Copyright:

Formatos disponibles

Taller de Matemática

Dr. Diego Dalponte

Dr. Carlos Bulant Lic. María Laura Maestri

Cantidad de evaluaciones Nota parcial o recuperatorios Cursada

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

¿Hay algún error?

¿Qué conclusiones podemos sacar?

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

Siglo XX: creación Peano

¿Qué edades tenían cuando murieron?

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

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

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

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

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

Se denomina contingencia a una proposición

Dos proposiciones son lógicamente equivalentes si

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

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

También podría gustarte