ESTRUCTURA DISCRETA TEMTICA UNIDAD I

Alumna:
Paola Briceo. C.I 19.827.415.

Luego de haber ledo todo el contenido respectivo a la Unidad I, me parece importante resaltar los aspectos ms sobresalientes, algunos con sus ejemplos, de entre los cuales puedo mencionar los siguientes: Las Proposiciones Una proposicin se refiere a un enunciado que puede ser verdadero o falso, generalmente una oracin enunciativa, base de lo que constituye el lenguaje formal de la lgica simblica. Las Proposiciones y operaciones lgicas Una proposicin o enunciado es una oracin que puede ser falsa o verdadera pero no ambas a la vez. La proposicin es un elemento fundamental de la lgica matemtica. La verdad en lgica, es toda aquella afirmacin a la que se le puede asignar un grado de certeza. Al ser procesada por las facultades racionales, ejecutadas por las facultades fsicas y puestas a prueba segn al criterio de la persona, esta puede tomar un valor verdadero o falso. As podremos tener proposiciones certeramente falsas y/o certeramente verdaderas. La falsedad, es igualmente toda negacin o falta de verdad o autenticidad. Para definir si existe o no una verdad o falsedad absoluta Por lo general, a las proposiciones se las representa por las letras del alfabeto desde la letra p, es decir, p, q, r, s, t,... etc. As, por ejemplo, podemos citar las siguientes proposiciones y su valor de verdad: a se puede ejemplificar proposiciones tales como: p: Las estrellas son verdes. (F)

q: 5+6= 11(V) r: Paola sacara 20pts en el examen. s: Ven a comer por favor. t: Cmo te fue en clases? Si observamos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son proposiciones validas. El inciso r tambin es una proposicin valida, aunque el valor de falso o verdadero depende despus de que se presente el examen, es decir se tendr que esperar el resultado de la calificacin. Sin embargo los enunciados s y t no son vlidos, ya que no pueden tomar un valor de falso o verdadero, uno de ellos es una orden y el otro una pregunta, y pasan hacer Expresiones no Proposicionales. Considerando los casos anteriores se pone en duda si existes o no una verdad o una falsedad absoluta, esto quiere decir que tendra que ver con el valor de verdad de la proposicin por lo tanto podemos concluir que no existe ni verdad ni falsedad absoluta. Las Expresiones no Proposicionales Estas expresiones representan aquellos enunciados a los que no se les puede asignar un valor de verdad. Entre ellos tenemos a los exclamativos, interrogativos o imperativos. Ejemplos de estos son: p: Qu cenaste anoche? q: Es increble! r: Haz lo que te he dicho!

Se Denominara el Valor Lgico de una proposicin, el cual denotaremos por VL, al valor 1 si la proposicin es verdadera; y 0 si es falsa, como ejemplo: p: el cielo es azul q: 4-3=5

De las proposiciones anteriores, podemos decir que VL (p)=1, VL (q)= 0

La Notacin y los Conectivos Lgicos Son operaciones con proposiciones, y para ello se utilizan ciertos smbolos llamados conectivos lgicos. A continuacin vemos una concreta definicin de cada uno:

1. La Conjuncin: Smbolo: ^ Notacin: (p ^ q) Significados: Y, Adems, Tambin, Pero, Sin embargo. Ejemplo: "El cuadrado tiene cuatro lados y el tringulo 3 lados". Su tabla de verdad
p V V F F Q V F V F p q V F F F

La tabla que define esta operacin, establece que la conjuncin es verdadera slo si lo son las dos proposiciones componentes. En todo otro caso, es falsa.

2. La Disyuncin Inclusiva: Smbolo: v Notacin: (p v q) Significados: o Ejemplo: "Tomamos t o caf" Su tabla de verdad
p q V V V F

p V V F F

q V F V F

La tabla nos muestra que la disyuncin slo es falsa cuando ambas proposiciones son falsas.

3. La Disyuncin Exclusiva: Smbolo: v Notacin: (p v q) Significados: O....o Ejemplo: "O es de da o es de noche"

4. El Condicional: Smbolo: Notacin: (p q) Significados: Entonces, Por lo tanto, En consecuencia, Por consiguiente, Si..., ; Si..., entonces.

Ejemplo: "Si estudias, aprobars la asignatura. Su tabla de verdad

p q V F V V

p V V F F

Q V F V F

La proposicin p se llama antecedente, y la proposicin q se llama consecuente del condicional. La tabla nos muestra que el condicional slo es falso si el antecedente es verdadero y el consecuente es falso.

5. El Bicondicional: Smbolo: Notacin: (p q) Significados: Si y solo si, solamente si, cuando y solo cuando, solamente cuando, nicamente cuando. Ejemplo: "Pierdes peso si y solo si haces dieta " Su tabla de verdad
p q V F F V

p V V F F

q V F V F

Bicondicional slo es verdadera si ambas proposiciones tienen el mismo valor de verdad.

6. La Negacin: Smbolo: Notacin: (-p) Significados: No, es falso que, no ocurre que, no sucede que, no es el caso que. Ejemplo: "Mara no present la prueba de lgica" Su tabla de verdad
p V F ~p F V

Observamos aqu que al valor V de p, la negacin le hace corresponder el valor F, y viceversa. Se trata de una operacin unitaria, pues a partir de una proposicin se obtiene otra, que es su negacin.

La Implicacin Lgica Es cuando en una proposicin p implica q y denotaremos p q cuando el condicional p q es siempre verdadero, es decir, nunca se da que siendo el antecedente verdadero el consecuente es falso.

Se simboliza

Se lee Si A entonces B A implica B

Ejemplo
"Si hoy es Martes entonces maana es Mircoles". "Hoy es Martes", por tanto "maana es Mircoles".

Ejemplo: Si consideramos (p q) (p decimos que (p (p

q), notamos ella es siempre verdadera. Luego

q) implica (p q), y escribimos:

q) (p q)

Las Tablas de Verdad de Proposiciones Las tablas nos manifiestan los posibles valores de verdad de cualquier proposicin molecular, as como el anlisis de la misma en funcin de las proposiciones que la integran. Las leyes del Algebra Proposicional En el clculo proposicional existen algunas tautologas especialmente tiles cuya demostracin se reduce a la confeccin de su correspondiente tabla de verdad, a saber:

La Involucin: ~ (~ p) p (se lee "no, no p, equivale a p")

La Idempotencia: (p ~ p) p (p ~ p) p La Conmutatividad: a) de la disyuncin: p

q q p

b) de la conjuncin: p q q p La Asociatividad: a) de la disyuncin: (p q) r p (q r) b) de la conjuncin: (p q) r p (q r) La Distributividad: De la conjuncin respecto de la disyuncin:

(p q) r (p r) (q r)

De la disyuncin respecto de la conjuncin:

(p q) r (p r) r (p r)

Leyes de De Morgan
~ (p q) ~ p ~ q

"La negacin de una disyuncin equivale a la conjuncin de las negaciones"

~ (p q) ~ p ~ q

"La negacin de una conjuncin equivale a la disyuncin de las negaciones" Negacin de una Implicacin Las proposiciones p q y ~ (p ~ q) son equivalentes, entonces su tabla de verdad seria la siguiente:

(p q)

(p ~ q)

~(p ~ q)

p q ~(p ~ q)

V V F F

V F V F

V F V V

F V F F

V F V V

V V V V

La demostracin y sus Mtodos La demostracin, es un razonamiento o serie de razonamiento que prueba la validez de un nuevo conocimiento estableciendo sus conexiones necesarias con otros conocimientos.

La demostracin consta de tres partes: a) El conocimiento que se trata de demostrar, es decir la proposicin (teorema) cuya validez se trata de probar. b) Los fundamentos empleados como base de la demostracin. c) El procedimiento usado para lograr que el conocimiento quede demostrado. Los procedimientos de demostracin permiten establecer la conexin lgica entre los fundamentos y sus consecuencias sucesivas, hasta llegar como conclusin final a la tesis que as se demuestra. Una tesis puede ser demostrada mediante distintos procedimientos.

La Demostracin directa

Cuando se parte de un conjunto de postulados o de proposiciones cuya validez ha sido probada, para inferir como consecuencia la TESIS, a travs de una serie de inferencias, se establece una Demostracin Directa. En ella se prueba la validez de una tesis estableciendo que sta es una consecuencia necesaria de los fundamentos de la disciplina correspondiente (matemtica en nuestro caso).

La Demostracin Indirecta

Si se tiene dificultades en la construccin de una demostracin directa, se puede a veces obtener resultados ms importantes y mejores, empleando algunos otros mtodos.

Cuando se establece validez de una tesis T probando, que las consecuencias de su contraria son falsas, entonces se realiza una demostracin indirecta.

El mtodo de demostracin indirecta se basa en el hecho de que si es falsa, entonces es verdadera (negar-negando). La mejor manera de hacerlo es mostrando que no es compatible con las afirmaciones dadas en la hiptesis La Reduccin al absurdo Este mtodo suele ser confundido con el mtodo de contradiccin. Cuando se realiza una prueba utilizando reduccin al absurdo se suele seguir el siguiente modelo.

La gran diferencia con el mtodo de contradiccin es que en este mtodo se utiliza la hiptesis y la negacin de la contradiccin para llegar a un absurdo.

Los Circuitos Lgicos Un circuito lgico es un dispositivo que tienen una o ms entradas y exactamente una salida. En cada instante cada entrada tiene un valor, 0 o 1; estos datos son procesados por el circuito para dar un valor en su salida, 0 o 1.

Redes de Conmutacin A continuacin desarrollaremos una aplicacin importante de la lgica proposicional en la construccin y simplificacin de redes de conmutacin. Una red de conmutacin est formada por cables e interruptores que conectan dos terminales T1 y T2. Si un interruptor est abierto, entonces no pasa la corriente

por l y lo indicaremos con un 0, mientras que un 1 indicar que el interruptor est cerrado y por consiguiente pasa la corriente por l.

http://www.slideshare.net/zamanthag/taller2-logica-proposicional