LGICA PROPOSICIONAL

La Lgica es la ciencia que estudia los modos y formas de raciocinio. La lgica es una ciencia auxiliar de la Matemtica, pues ayuda a comprenderla, razonarla, etc. Para iniciar los estudios de la lgica, es necesario analizar oraciones particulares de las cuales se pueden decir que son VERDADERAS O FALSAS y reciben el nombre de proposiciones.Por ejemplo !l n"mero # es un n"mero natural

$oda proposicin es representada por las "ltimas letras min"sculas del abecedario p, q, r, s, t, w

CONECTIVOS LOGICOS
%e denominan conecti&os lgicos, a s'mbolos que permiten formar proposiciones con otras proposiciones. !stos son

Conectivo

Nombre NO O INCLUYENTE Y ENTONCES O IMPLICA S Y SOLO S O E CLUYENTE

!stos conecti&os lgicos tienen una jerarqu'a en las operaciones, esta es el () en primer lugar, luego el ) *(+L,-!($! y el -, luego el *MPL*+., le sigue el %/ %)L) %/ y por "ltimo el ) !0+L,-!($!.P1)P)%*+*)(!% %*MPL!% - +)MP,!%$.% ,na proposicin se dice que es simple si no est afectada por conecti&os lgicos2 caso contrario, se dice que es compuesta. Proposicin simple p Proposicin compuesta p q

TA!LA "E VALORES "E VER"A"

,na tabla de &alores de &erdad de una proposicin compuesta, es una tabla que se arma con los posibles &alores de &erdad de las proposiciones simples para determinar el &alor de &erdad de la proposicin compuesta.

OPERACIONES PROPOSICIONALES
LA NEGACIN La negacin de la proposicin p es p, cuya tabla de &alores de &erdad es la siguiente
# V $ # $ V

!sta tabla pro&iene de 3acer un anlisis simple de una proposicin cualquiera, por ejemplo p el ! es un n"mero natural# !sta proposicin es 4!15.5!1.. - negando la proposicin p queda

p NO ES CIER$O que el ! es un n"mero natural. !sta proposicin es 6.L%.

.3ora, busquemos una proposicin falsa, por ejemplo p el %& es un n"mero natural. !sta proposicin es 4!15.5!1.. - negando la proposicin p queda

p NO ES CIER$O '(E el & es un n"mero natural. Lo cual es 6.L%.

DIS)(NCIN O S(*A LOGICA

La disyuncin o suma lgica de las proposiciones p y q, es # %, donde p y q se denominan disyunti&os, cuya tabla de &alores de &erdad es la siguiente .ntes de armar esta tabla de &alores de &erdad, debemos saber como se obtiene la cantidad de &alores de &erdad de la proposicin dada para ello se recurre al anlisis combinatorio, y concluimos que los &alores de &erdad se repiten y no interesa el orden, por lo tanto estamos en presencia de un arreglo con repeticin de n elementos tomados de 2 en 2, o sea

V&'ore( )e ver)&) * +n,mero )e #ro#o(icione(

!n nuestro caso particular, tendr'amos que la 4.L)1!% 7 8 87 9

# V V $ $

% V $ V $

# % V V V $

!sta tabla se explica con un ejemplo fcilmente p estu+io q ,eo tele,isi-n p q estu+io O ,eo tele,isi-n +omo este :o; es incluyente, lo que significa que L. 4!15.5 se dar cuando realice al menos una de las acciones. %e tiene que la primera l'nea es 4!15.5!1. por que estoy !%$,5*.(5) - 4*!(5) $42 la segunda l'nea es 4!15.5!1. ya que si bien no &eo $4 pero estoy !%$,5*.(5)2 la tercera l'nea es similar a la anterior y en la cuarta l'nea se tiene <,! () !%$)- 1!.L*=.(5) (*(>,(. 5! L.% 5)% .++*)(!%, por lo tanto es 6.L%.. Como conclusi-n se pue+e +ecir que la +is.unci-n es ,er+a+era si al menos unos +e los +is.unti,os tam/i0n lo es. CON1(NCIN O 2ROD(C$O LGICO La conjuncin o producto lgico de las proposiciones p y q, es # %, donde p y q se denominan conjunti&os, cuya tabla de &alores de &erdad es la siguiente
# V V $ $ % V $ V $ # % V $ $ $

!sta tabla, al igual que la anterior, se explica con un ejemplo fcilmente p estu+io q ,eo tele,isi-n # % estu+io ) ,eo tele,isi-n !l :y; nos est indicando que la proposicin ser 4!15.5!1. si ambas acciones se cumplen. %e tiene que la primera l'nea es 4!15.5!1. por que estoy !%$,5*.(5) - 4*!(5) $42 la segunda l'nea es 6.L%. ya que no &eo $4 aunque est? !%$,5*.(5)2 la tercera l'nea es similar a la anterior y en la cuarta l'nea se tiene

<,! () !%$)- 1!.L*=.(5) (*(>,(. 5! L.% 5)% .++*)(!%, por lo tanto es 6.L%..Como conclusi-n se pue+e +ecir que la con3unci-n es ,er+a+era si am/os con3unti,os tam/i0n lo son. LA I*2LICACIN O CONDICIONAL La implicacin o condicional de las proposiciones p y q, es # % donde p se denomina antecedente y q consecuente, y cuya tabla de &alores de &erdad es la siguiente
# V V $ $ % V $ V $ # % V $ V V

!sta tabla de &alores de &erdad se la puede interpretar con el siguiente ejemplo p aprue/o q te presto el li/ro O sea que la proposicin ser: aprue/o, EN$ONCES te presto el li/ro La 4!15.5 del condicional est basada en el cumplimiento del compromiso de aprobar. ) sea que en la primera l'nea aprob? y le prest? el libro, por lo tanto es 4!15.5!1.2 en la segunda l'nea aprob? y no le prest? el libro, lo que significa que no cumpl' con el compromiso, por lo tanto es 6.L%.2 el la tercera l'nea no aprob? y le prest? el libro, pero el 3ec3o de no aprobar no est inserto en el compromiso, por lo tanto cuando no apruebe, queda librado a prestar o no el libro, lo que significa que ser 4!15.5!1) al igual que la l'nea cuatro. En conclusi-n, la implicaci-n es FALSA cuan+o el antece+ente es ,er+a+ero . el consecuente es 4also. LA DO5LE I*2LICACIN O EL 5ICONDICIONAL La doble implicacin o el bicondicional de las proposiciones p y q es # %, cuya tabla de &alores de &erdad es la siguiente
# V V $ $ % V $ V $ # % V $ $ V

!sta operacin proposicional se la puede entender con el siguiente ejemplo p te presto el li/ro q aprue/o (uestra proposicin ser te presto el li/ro SI ) SOLO SI aprue/o La 4!15.5 de esta proposicin se basa en el compromiso doble que existe, o sea que el pr?stamo del libro se basa en la aprobacin solamente, lo que queda excluido el 3ec3o de no aprobar, por lo tanto en la primera l'nea aprob? y le prest? el libro, lo que es 4!15.5!1.2 en la segunda l'nea aprob? y no le prest? el libro, lo indica que romp' el compromiso, por lo tanto es 6.L%., en la tercera fila no aprob? y le prest? el libro, lo que es 6.L%. ya que el 3ec3o de no aprobar tambi?n est en el compromiso2 y la cuarta l'nea es 4!15.5!1., ya que no aprob? y no le prest? el libro.Como conclusi-n se pue+e +ecir que la con+icional es VERDADERO cuan+o am/as proposiciones que lo componen son +e i6ual ,alor +e ,er+a+ . LA DIFERENCIA SI*7$RICA La diferencia sim?trica de las proposiciones p y q es # %, cuya tabla de &alores de &erdad es la siguiente
# V V $ $ % V $ V $ # % $ V V $

La explicacin de esta tabla de &alores de &erdad se basa en que este :o; es en sentido excluyente, lo que significa que se puede dar :una o bien la otra; accin. Como conclusi-n se pue+e +ecir que la +i4erencia sim0trica es VERDADERA, si am/as proposiciones que la componen tienen +istinto ,alor +e ,er+a+ .CONDICIONES NECESARIA ) S(FICIEN$E !n la tabla de &alores de &erdad del condicional, existen tres l'neas donde es 4!15.5!1. @primera, segunda y terceraA, pero de ellas, la tercera y la cuarta p es falsa y en la primera es &erdadera, entonces se dice que el : antecedente p es condicin suficiente para q- .3ora, si el antecedente p es &erdadero, el consecuente q debe ser necesariamente &erdadero para que la implicacin lo sea, entonces se dice que el :consecuente q es condicin necesaria para el antecedente p;.

TAUTOLOGA. CONTRA"ICCIN Y CONTINGENCIA ,na proposicin compuesta se dice que es una t&/to'o01& si es 4!15.5!1. independientemente de los &alores de &erdad de las proposiciones simples que la componen. Por ejemplo la siguiente proposicin 2# %3 # v % Para resol&er esta tabla de &alores de &erdad, se debe comenzar por el par?ntesis de la izquierda de la doble implicacin, teniendo en cuenta que es una conjuncin, luego se sigue por su negacin. Luego seguimos con la parte derec3a de la doble implicacin, o sea con la negacin de p y de q, luego con estos &alores se resuel&e la disyuncin. Por "ltimo se resuel&e la doble implicacin @operacin principalA con el "ltimo resultado de la derec3a @la negacin del par?ntesisA y el "ltimo de la izquierda @la disyuncinA
# V V $ $ % V $ V $ - 2# %3 $ V V V $ V V $ V V $ V -# $ $ V V v -% $ $ V V V $ V V

,na proposicin es una contr&)iccin si es 6.L%. independientemente de los &alores de &erdad de las proposiciones simples que la componen. Por ejemplo
# V V $ $ % V $ V $ # % V $ $ $ -# v -% $ $ $ $ $ $ V V $ V V $ $ V V V

,na proposicin es una contin0enci& si no es ni 4!15.5!1. ni 6.L%.. Por ejemplo

# V V $ $ % V $ V $ #% V $ $ $ $ V V V - #v -% $ $ $ $ V V V V $ V V V

LEYES LOGICAS %e llaman leyes lgicas a todas aquellas proposiciones que son &erdaderas. 4- INVOLUCIN La negacin de la negacin de una proposicin es equivalente a la misma proposicin. -2-#3 # 5emostramos esta ley usando la tabla de &alores de &erdad
# V $ V $ 2- #3 $ V V V # V $

+- LA I"EMPOTENCIA De la disyuncin: La disyuncin de una misma proposicin, es equivalente a la misma proposicin, o sea: #v## 5emostramos con una tabla de &alores de &erdad
# V $ 2# v #3 V $ V V # V $

De la conjuncin: La conjuncin de una misma proposicin, es equivalente a la misma proposicin, o sea: # # # 5emostramos con una tabla de &alores de &erdad
# V $ 2# #3 V $ V V # V $

5- ASOCIATIVI"A" La disyuncin y la conjuncin son asociativas. O sea que: 2# v %3 v r # v 2% v r3 Para armar esta tabla se debe tener en cuenta que las proposiciones simples son tres, por lo tanto tendrn B &alores por cada proposicin dispuestas de la siguiente forma
# V V V V $ $ $ $ % V V $ $ V V $ $ r V $ V $ V $ V $ 2# v %3 V V V V V V $ $ v r # v 2% v r3 V V V V V V V V V V V V V V V $ V V V V V V V V V V V V $ V $ $

2# %3 r # 2% r3 Para armar esta tabla se debe tener en cuenta que las proposiciones simples son tres, por lo tanto tendrn B &alores por cada proposicin dispuestas de la siguiente forma
# V V V V $ $ $ $ % V V $ $ V V $ $ r V $ V $ V $ V $ 2# %3 r V V V $ $ $ $ $ $ $ $ $ $ $ $ $ # V V V $ V $ V $ V $ V $ V $ V $ 2% r3 V $ $ $ V $ $ $

6 CONMUTATIVI"A" La disyuncin y la conjuncin son conmutativas #v%%v# %e demuestra con una tabla de &alores de &erdad
# V V $ $ % V $ V $ #v% V V V $ %v# V V V V V V V $

P%%# %e demuestra con una tabla de &alores de &erdad

# V V $ $ % V $ V $ #% %# V V V $ V $ $ V $ $ V $

7- "ISTRI!UTIVI"A" De la con3unci-n con respecto a la +is.unci-n: la conjuncin es distri utiva con respecto a la disyuncin. 2# %3 r 2# r3 v 2% r3

# V V V V $ $ $ $

% V V $ $ V V $ $

r V $ V $ V $ V $

V V V V V V $ $

2# %3 r V V $ V V V $ V V V $ V $ V $ V

2# r3 v 2% r3 V V V $ $ $ V V $ $ $ $ $ V V $ $ $ $ $ $ $ $ $

De la +is.unci-n con respecto a la con3unci-n: la disyuncin es distri utiva con respecto a la conjuncin. 2# %3 v r 2# v r3 2% v r3
# V V V V $ $ $ $ % V V $ $ V V $ $ r V $ V $ V $ V $ 2# %3 v r V V V V $ V $ $ $ V $ $ $ V $ $ V V V V V V V V 2# v r3 V V V V V V V $ V V $ $ V V $ $ 2% v r3 V V V $ V V V $

8- IMPLICACIONES ASOCIA"AS %i se tiene en cuenta la implicacin y las posibilidades de negar o cambiar el antecedente por el consecuente yCo &ice&ersa, podemos concluir en lo siguiente # % !mplicacin Directa % # !mplicacin "ec#proca -# -% !mplicacin $ontraria -% -# !mplicacin $ontra % rec#proca

+on estas implicaciones podemos armar un cuadro &isualmente entendible

Las implicaciones contra & rec#procas son equivalentes' o sea que: # % -% -# 5emostramos esta ley lgica usando una tabla de &alores de &erdad
# V V $ $ % V $ V $ # % -% V V $ $ V V V V $ V V V -# V $ V V

$ $ V V

9- LA "O!LE IMPLICACIN - L. *MPL*+.+*D( La do le implicacin es equivalente a la conjuncin de la implicacin y su rec#proca. O sea: # % 2# %3 2% #3 %e demuestra usando una tabla de &alores de &erdad.
# V V $ $ % V $ V $ 2# %3 V $ $ V V V V V 2# %3 V $ V V V $ $ V 2% #3 V V $ V

:-

LA "I$ERENCIA SIM;TRICA Y LA "O!LE IMPLICACIN

La diferencia sim(trica es equivalente a la negacin de la do le implicacin. O sea que: # % -2# %3 %e demuestra con una tabla de &alores de &erdad
# V V $ $ % V $ V $ #% $ V V $ V V V V - 2# %3 $ V V $ V $ $ V

<-LEYES "E ="E MORGAN> De la conjuncin: La negacin de una conjuncin, es equivalente a la disyuncin de las negaciones. O sea que: -2# %3 -# -% 5emostramos esta ley usando la tabla de &alores de &erdad
# V V $ $ % V $ V $ - 2# %3 $ V V $ V $ V $ V V V V -# $ $ V V $ V V V -% $ V $ V

De la disyuncin: La negacin de una disyuncin, es equivalente a la conjuncin de las negaciones. O sea que: -2# %3 -# -%
# V V $ $ % V $ V $ - 2# %3 $ V $ V $ V V $ -# -% V $ $ V $ $ V V $ V V V

$ V $ V

4?- NEGACION "E UNA IMPLICACIN La negacin de una implicacin es equivalente a negacin de la disyuncin de la negacin del antecedente y el consecuente. O sea: -2# %3 -2-# %3
# V V $ $ % V $ V $ 8 2# %3 $ V V V $ V $ V V $ V V - 2- # %3 $ $ V V

$ V $ $

V $ V V

)*ora, aplicando la ley de De +organ e !nvolucin en la disyuncin, queda: -2# %3 # -% O sea que se puede decir que la negacin de una implicacin tam i(n es equivalente a la conjuncin del antecedente y la negacin de consecuente. )*ora negando la negacin de la implicacin queda: -@-2# %3A -@ -2-# %3A -# % ,ero la negacin de la negacin de la implicacin queda: # % -# % O sea que la implicacin tam i(n es equivalente a la disyuncin de la negacin de antecedente y el consecuente.& )*ora, partiendo de la negacin de la negacin de una implicacin y aplicando involucin y ley de De +oran, queda: -@-2# %3A -@ -2-# %3A -2# -%3 O sea que: # % -2# -%3

http://matematicasq.blogspot.com/2012/03/logica-proposicional-problemas.html?spref=bl ESTA !A"#$A T#E$E A%E&AS A'"( %E (T)AS &ATE)#AS* ESTA +#E$. !E)( ESTA SA'#( %E A,-.: http://librosp/f1.blogspot.com/2012/03/logica-proposicional-problemas.html en ella se p0e/e 1er libros gratis /e f2sica* matem3tica* etc. etc.. Esta /irecci4n tiene canciones antig0as en 5o0t0be. http://666.5o0t0be.com/6atch?1=+m0(%o)-7oo8feat0re=relate/ http://666.5o0t0be.com/6atch?1=m9:;m<5'q,,8feat0re=relate/ 'a q0e sig0e tiene 0n mi= /e lammba/a http://666.5o0t0be.com/6atch?1=!qs-0!>!03g8feat0re=relate/ esta es b0ena9a pero es /e mas /e 1hora. http://666.5o0t0be.com/6atch?1=-0?@nA9+0ng8feat0re=relate/ esta q0e sig0e tiene m0chas pero me9clas /e to/a mBsica http://666.5o0t0be.com/6atch?1=AC#1DE62l%#8feat0re=relate/