1. Univers idad Fermín Toro
Facultad De Ingeniería
C abudare E s tado Lara
A lumno
Luis B riceño C .I: 19.713.885
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. 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.