Octubre 2019 Ing. Alejandro Gonzales ESTRUCTURAS DISCRETAS
➢ LÓGICA MATEMÁTICA
➢ CONJUNTOS
➢ RELACIONES Y FUNCIONES
➢ ALGEBRA BOOLEANA
➢ TEORÍA DE GRAFOS
➢COMBINATORIA Criterios de verificación 1. Plantea de forma ordenada y lógica situaciones cotidianas en concordancia con las leyes y propiedades de la Lógica matemática y teoría de conjuntos. 30%
2. Representa mediante grafos y el álgebra de Boole
relaciones entre conjuntos de datos en base a las propiedades de relaciones y funciones. 40%
3. Aplica técnicas de combinatoria como base para
obtener algoritmos de solución a problemas simples y complejos en concordancia con las leyes que rigen la teoría combinatorio. 30% Elementos de lógica Objetivos generales
Presentar intuitivamente los principios del razonamiento
lógico e introducir los conceptos de teorema y demostración matemática en ámbitos variados; particularmente en:
▪ la lógica simbólica (o modelo de los enunciados),
▪ la teoría de conjunto (o modelo cualitativo del universo), y
▪ en los conjuntos numéricos conocidos.
INTRODUCCION La matemática estudia las propiedades de ciertos objetos, tales como números, operaciones, conjuntos, etc.
Es necesario por lo tanto contar con un lenguaje
apropiado para expresar estas propiedades de manera precisa. Desarrollaremos aquí un lenguaje que cumpla estos requisitos, al cuál llamaremos lenguaje matemático. LENGUAJE MATEMATICO
El lenguaje matemático está formado por una
parte del lenguaje natural, al cuál se le agregan variables y símbolos lógicos que permiten una interpretación precisa de cada frase. Proposiciones. Llamaremos proposiciones a aquellas frases del lenguaje natural, las cuales podamos afirmar que son verdaderas o falsas.
Ejemplos de proposiciones: Dos es par Tres es mayor que diez Tres más cuatro es nueve Una proposición es simple o atómica, si ninguna parte de ella es a su vez una proposición.
Ejemplos de proposiciones simples o atómicas:
“Dos es un número par".
"Tres es mayor que cuatro". "Tres más cinco es mayor que cuatro".
Se usan letras minúsculas p, q, r, s,...etc., para denotar
proposiciones simples o atómicas. La propiedad fundamental de una proposición, es que ella puede ser verdadera o falsa, pero no ambas cosas a la vez.
El valor de verdad de una proposición simple depende
exclusivamente del enunciado de la proposición.
“Dos es un número par". Es verdadero.
"Tres es mayor que cuatro". Es Falso. "Tres más cinco es mayor que cuatro". Es verdadero. Algunos enunciados o proposiciones son compuestos, es decir, están formados de proposiciones simples y de conectivos que los unen.
2 es un número entero y es positivo
Si llueve, el piso se moja
Si es un entero, entonces es real
Si estudio y hago los ejercicios, entonces
apruebo y paso de curso El valor de verdad de una proposición compuesta depende completamente del valor de verdad de cada proposición simple y del modo como se les reúne o conecta para formar la proposición compuesta. Conectivos Negación. Es aquel conectivo que niega la proposición, y normalmente se utiliza anteponiendo “no”, o anteponiendo la frase es falso que. Conjunción. Es aquel conectivo que une dos proposiciones, incluyéndolas obligatoriamente a ambas.
Se utiliza “y” como conectivo de conjunción.
"dos es par y tres es impar
Simbólicamente la conjunción “y” se representa en
lenguaje matemático con el símbolo
y Disyunción. Es aquel conectivo que une dos proposiciones ofreciendo una alternativa entre una proposición o la otra, así como también ofrece la posibilidad que sean ambas.
"dos es mayor que siete o siete es mayor que dos".
La proposición está compuesta por las proposiciones
simples "dos es mayor que siete" junto con " siete es mayor que dos", conectadas por la palabra "o“, que constituye el conectivo de disyunción, y su símbolo es “” Disyunción EXCLUYENTE • Es la disyunción pero que su valor de verdad acepta una sola proposición como verdadera. • No pueden ocurrir las dos proposiciones al mismo tiempo. • Ejemplo: Me caso con Rosita o con Doris • Hoy a las 3 voy al Cine o a la cancha.
• Su notación es: p q Implicación o Condicional
Es aquél conectivo en el que se establece una condición
para que se cumpla la otra proposición.
normalmente se establece como:
“Si se cumple p, entonces se cumple q”
p → q ó p ⟹ q Bicondicional o doble implicancia
Es aquel conectivo de la forma:
“se cumple p si y solamente si se cumple q”. p q ó p ⟺ q
Esto significa que también se cumple la situación
inversa,
es decir que “como se cumple q, también se
cumple p”. TABLAS DE VERDAD
Valores de verdad de la negación:
p p V F F V Valores de verdad de la conjunción:
p q pq V V V V F F F V F F F F Valores de verdad de la disyunción:
p q pq
V V V V F V F V V
F F F Valores de verdad Disyunción excluyente
p q p q
V V F V F V F V V
F F F Valores de verdad de la implicancia:
p q p⟹q V V V V F F F V V F F V Valores de verdad de la bicondicional:
p q p⟺q
V V V V F F F V F F F V Verdad lógica o Tautología.
Son aquellas proposiciones que siempre son
verdad, sin importar los valores de verdad de las proposiciones que la componen. Consideremos la proposición ((p q) ⟹ p)
p q p q (pq) ⟹ p V V V V V F F V F V F V F F F V Contingencia Son aquellas proposiciones que pueden ser verdad o falso, dependiendo de los valores de verdad de las proposiciones que le componen. Contradicciones. Son aquellas proposiciones que siempre son falsas, sin importar los valores de verdad de las proposiciones que la componen. Álgebra de proposiciones p→q pq
p q p→q p pq V V V F V V
V F F F V F
F V V V V V
F F V V V V Verdades lógicas usuales.
Ley de Idempotencia pp⟺p pp⟺p
Ley Asociativa (p q ) r ⟺ p (q r) (p q) r ⟺ p (q r)
Ley Conmutativa pq⟺qp p q ⟺ q p Ley Distributiva a (b + c ) ⟺ (a b) + (a c)
p (q r) ⟺ (p q) (p r)
p (q r) ⟺ (p q) (p r)
Leyes de DeMorgan Ley de Identidad pF ⟺p (p q) p q pV ⟺p (p q) p q
Implicancia Ley de Dominación p → q pq pV ⟺V pF ⟺F p q (p → q) (q → p) Ley de Absorción Ley Involutiva p (p q) ⟺ p p (p q) ⟺ p
Definición condicional Leyes del Complemento p p V p p F Definición Disyunción Excluyente p ⟺p V F F V p →qpq Definición bicondicional (p q) (p q)
p q ((p q) (q p) (p → (q q)) p Utilizando las equivalencias lógicas p →qpq p → q pq Implicancia
p →q pq Negación
p →qpq DeMorgan Utilizando las equivalencias lógicas (p → q) (p → q) q
F ( q V ) q F q q q Proposiciones lógicamente verdaderas ((p → q) p) → q ((p → q) (q → r)) (p → r) ((p q) (q r)) (p r) (p → q) ( p q) (p q) (p → q) (q → p) ((p → q) (q → r) (r → p)) ((p q) (q r)) ((p → q) ( p → q)) q ((p → q) (r → q)) ((p q) → q) ((p → (q r)) ((p → q) (p → r)) ((p → (q r)) ((p → q) (p → r)) ((p r) → q)) (p → (r → q)) Modus Ponendo Ponens El condicional o implicación es aquella operación que establece entre dos enunciados una relación de causa- efecto. La regla ‘ponendo ponens’ significa, “afirmando afirmo” y en un condicional establece, que si el antecedente (primer término, en este caso p) se afirma, necesariamente se afirma el consecuente (segundo término, en este caso q).
(p → q) ∧ p q
Si llueve la calle se moja. Llovió, entonces la calle se mojó
Si el impuesto a la bencina baja, gastamos menos
dinero en transportarnos. El impuesto bajó, entonces gasto menos dinero. Modus Tollendo Tollens ‘Tollendo tollens’ significa “negando, niego”, y se refiere a una propiedad inversa de los condicionales, a los que nos referíamos en primer lugar.
(p → q) ∧ q p
Si de un condicional, aparece como premisa el
consecuente negado (el efecto), eso nos conduce a negar el antecedente (la causa), puesto que si un efecto no se da, su causa no ha podido darse.
Si aumenta el I.V.A. los precios suben.
Los precios no han subido, por lo tanto el I.V.A. no ha aumentado. MODUS TOLLENDO PONENS (TP)
si uno de los miembros de una disyunción es negado, el
otro miembro queda automáticamente afirmado, ya que uno de los términos de la elección ha sido descartado.
