Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

Articulo unidad 1

203 views

Published on

Articulo Relacionado a aspectos importantes, de las estructuras discretas en primeros puntos a estudiar sobre la misma

  • Be the first to comment

  • Be the first to like this

Articulo unidad 1

  1. 1. Univers idad Fermín Toro Facultad De Ingeniería C abudare E s tado Lara A lumnoLuis B riceño C .I: 19.713.885
  2. 2. S e trata d e u n te m a h ib rid o, cu yo conte nid o fu nd am e ntal e s d e m ate m áticas , au nqu e m u ch as d e s u s ap licacione s , p e rte ne ce n a la cie ncia d e la com p u taci ón. C om o cons e cu e ncia, la cu id ad os a m otivación d e los te m as y re vis ione s p re p aratorias d e las ap licacione s s on e s trate gias im p ortante s y ne ce s arias . As p e cto re s altante e n e s ta u nid ad e s la lógica e s te s e b as a d e los p rincip ios d e l razonam ie nto valid o y la infe re ncia, com o tam b i én d e la cons is te ncia, s olid e z y com p le titu d . U n e j m p lo, e n la m ayoría d e los s is te m as e n la lógica, la le y d e P e irce , e (((P →Q )→P )→P ) e s u n te ore m a. E n lógica clás ica, p u e d e s e r fácilm e nte ve rificad o con u na tab la d e ve rd ad . E l e s tu d io d e las d e m os tracione s m ate m áticas e s p articu larm e nte im p ortante e n lógica y tie ne ap licacione s e n la d e m os traci ón au tom ática d e te ore m as y ve rificación form al d e s oftware .D e e s ta form a e l te ne r y forj u n nive l lógico s ólid o, facilitara e l e s tu d io d e la e s tru ctu ra ar d is cre ta, tom and o e n cu anta cu and o u na p rop os ici ón e s fals a o ve rd ad e ra, e l p u nto a lo qu e s e re fie re u na conj gaci ón, m ane j d e u na form a h áb il e l afirm ar cu and o u na u ar cond ición e s Ve rd ad e ra con u n 1 y fals a cu and o e s 0.
  3. 3. E j m p lo claro e s te con la s igu ie nte tab la. e S e an p y q d os p rop os icione s . La conj nción d e p y q e s la p rop os ición p Ù q , qu e s e le e "p y q ", y u cu yo valor lógico e s tá d ad o con la tab la o igu ald ad s igu ie nte : VL(p ^q) = m in (VL(p ), VL(q)) e n o tras p alab ras e l m e nor valor d e lo s n úm e ros d ad o s . E j m p lo e S i, p : E l N e gro P rim e ro p e le ó e n C arab ob o. q: Bolívar m u rió e n C olom b ia. r: M irand a nació e n C o ro.E ntonce s 1 . p ^ q: E l N e gro P rim e ro p e le ó e n C arab ob o y Bolívar m u rió e n C olom b ia. Ad e m ás , VL(p ^ q) = 1 , ya qu e VL(p )= 1 y VL(q)= 1 . 2. q ^ r: B olívar m u rió e n C olom b ia y Mirand a nació e n C oro. Ad e m ás , VL(q ^ r) = 0, ya qu e VL(q)= 1 y VL(r)= 0. E s tas s e rian form as d e e s tab le ce r cu and o cie rtas cond icione s s on ve rd ad e ras o fals as d e m ane ra m ate m ática, inte re s ante y a la ve z p on e a p ru e b a nu e s tro razonam ie nto lógico. Tom and o e n cu e nta la e xte ns ión q u e tie ne e s te te m a d e la e s tru ctu ra d is cre ta j e ga tam b ién u n u p ap e l im p ortante e n Le ye s d e l Alge b ra d e P rop os icione s , ap lic ánd os e e n le ye s conm u tativas , as ociativas , d e id e ntid ad e n fin U na d e las grand e s u tilid ad e s d e las le ye s d ad as ante riorm e nte e s q u e n os p e rm ite n s im p lificar p rop os icio ne s . E l p roce d im ie nto e s p rob ar q u e u na p rop os ición e s e q u ivale nte a otra u s and o las le ye s d e l álge b ra p re p os icional, e s llam ad a p ru e b a d e d u ctiva.

×