PROF. LUCIANA GMEZ ASIGNATURA: FILOSOFA REPARTIDO N: II GRUPO:. LGICA PROPOSICIONAL O SIMBLICA Un poco de historia...

La lgica simblica o matemtica, no es una lgica distinta de la lgica clsica o aristotlica, sino que ms bien, se trata de dos momentos en el desarrollo de una lgica, dos momentos histricos. La lgica en su presentacin clsica, como silogstica, obedeca a la obra de Aristteles (filsofo y cientfico griego, 3 !"3## a.$%, pero &ant (filsofo alemn, '(#!" ' )!%, en el siglo *+,,,, afirmaba que, desde ese inicio, la lgica no haba dado un paso adelante ni atrs. -n realidad, esta afirmacin .antiana no se ale/aba de la realidad. -0cepto por alg1n intento solitario de 2. Leibni3 (filsofo alemn, '4!4"'('4%, pretendiendo crear una especie de lengua/e uni5ersal, al modo de las matemticas, con el que seg1n su autor, todos los problemas podan ser resueltos de un modo mecnico como clculo, la lgica no haba reali3ado grandes progresos desde Aristteles. 6in embargo, a fines del s. *,* y comien3os del **, la lgica e0perimeta un 5ertiginoso a5ance, difcil de pre5eer desde la perspecti5a de la lgica clsica. -ste a5ance obedece, en buena medida, a los aportes de 7oole (lgico y matemtico britnico, ' '8"' 4!%, 9e :rege (matemtico y filsofo alemn, ' ! "';#8%, entre otros. -stos aportes consisten, a grandes rasgos, en lle5ar a cabo una completa formali3acin del lengua/e. $omo consecuencia de ello, se puede considerar la lgica desde una perspecti5a matemtica, lo cual confiere otro rigor y precisin. $on estos nue5os elementos, la nue5a lgica mostrar otro alcance y profundidad, pudindose reali3ar en ella, no solo todas las operaciones que se podan reali3ar en la lgica clsica, sino que adems, es posible solucionar problemas que sta no solucionaba y tambin anali3ar nue5os tpicos. Caractersticas de la lgica simblica o matemtica: La lgica simblica, se distingue por el uso de instrumentos ms refinados que la lgica clsica, antes que por el ob/eto de sus estudios. Algunas de sus caractersticas distinti5as son< La lgica simblica se construye de un modo totalmente formali3ado, o sea que utili3a los smbolos como si fueran signos materiales, sin tener en cuenta su significacin. 6i bien la lgica clsica posea cierto grado de formali3acin, presentaba e0presiones del lengua/e natural que hacan ambiguas algunas de sus consideraciones. -l tratamiento tcnico que es posible darle a las argumentaciones obedece a la formal !a" #$. Las e0presiones se transforman mediante la aplicacin de reglas de operacin e0actas y e0plcitas. -sto permite operar en la lgica como un "%l"&lo. La utili3acin de una simbologa para el proceso de la formali3acin se lle5a a cabo de manera consecuente y completa. -sta caracterstica se conoce como ' m(ol !a" #$. Las caractersticas anteriores permiten presentar muchos captulos de la lgica simblica como sistemas a0iomticos. La lgica proposicional: La lgica proposicional, tambin llamada =lgica de enunciados= o =lgica de conecti5as interproposicionales=, es la parte de la lgica que estudia el modo de construccin de enunciados a partir de otros enunciados. >o le interesar, el modo en que se construyen enunciados a partir de elementos que no sean ellos mismos enunciados. -n este dominio lgico, nos ocuparemos de las proposiciones considerndolas como un =todo=, o sea, sin descomponerlas en sus partes, en este sentido prescindiremos de la estructura

'

interna de las proposiciones y consideraremos proposiciones a lo que entendamos por enunciados, o sea, las afirmaciones susceptibles de ser declaradas 5erdaderas o falsas. -n este sentido son proposiciones o enunciados, e0presiones tales como =la miel es dulce=, =llue5e=, =# 0 3 ? 4=. Gramtica lgica: @ara e0presar las proposiciones, en este ni5el lgico utili3aremos las letras min1sculas del alfabeto latino< =p=, =q=, =r=, =s=, etc. Proposiciones atmicas y moleculares: Atmicas: 6on aquellas que no estn afectadas por ninguna conecti5a. -/< =llue5e=, representada por la letra =p=. Moleculares: 6on aquellas que aparecen afectadas por conecti5as lgicas, pudindose obtener de ms de un modo< por e/, =no llue5e=, que e0presa la negacin del enunciado o cuando relacionamos ms de un enunciado mediante conecti5as o constantes lgicas, por e/, =llue5e y hace fro=. Conecti as o constantes lgicas: -stas e0presiones, /unto alas que e0presan 5ariables, nos permiten la construccin de enunciados comple/os. -stas e0presiones tienen un comportamiento constante, son partculas sintcticas o lgicas. -sta es la lista de las que utili3aremos<
Nom(r) *) la "o$)"+ ,a !egacin Co$3&$" #$ D '5&$" #$ / $"l&' ,a1 D '5&$" #$ /)6"l&' ,a1 Co$* " o$al B "o$* " o$al S-m(olo l#. "o S-m(olo /Fr).)0 P)a$o0 l#. "o R&'')ll1 /2 l()r+1 4 4 A A Lo"&" #$ )$ l)$.&a3) &'&al >o ...y... ...o... Il&'+ra" #$ )$ L)$.&a3) &'&al S m(ol !a" #$ "p pq p q @Aq pq pq

>o llue5e Llue5e y truena -staba triste o preo" cupado (o ambas $osas% ...o... ,remos al cine o al o...o... teatro (pero no a ambos lados% 6i...entonces... 6i llue5e, entonces 6i...., ....... habr cosecha. ...si y slo si... Babr cosecha si y slo si llue5e

Codas estas conecti5as (con e0cepcin de la primera%, son binarias, esto es, permiten unir entre s, dos proposiciones. $on respecto al =no= ella afecta siempre a una proposicin, es una conecti5a mondica. "obre el uso de par#ntesis: Al igual que en las matemticas, los parntesis tienen la funcin de unir o separar e0presiones. @or lo tanto, de aparecer una negacin precediendo un parntesis, sta afecta al resultado de todo e mismo y ya no slo a las 5ariables que aparece inmediatamente a se derecha. @or e/< "(p.q%D la negacin no afecta slo a p, sino a toda la e0presin.

$ablas de erdad: %unciones eritati as: Ena proposicin molecular puede descomponerse pues, en proposiciones atmicas y conecti5as proposicionales. 6abemos que toda proposicin posee, por definicin, un 5alor 5eritati5o< es 5erdadera (+% o falsa (:%. F9epender el 5alor 5eritati5o de una proposicin molecular del 5alor de 5erdad de las atmicas que la componenG. Comemos el caso de la proposicin molecular ms simple posible, la negacin de una atmica, por e/emplo< '. >o llue5e ("p% #. -staba ebrio y colrico (p.q% 3. -staba ebrio o colrico (p 5 q% -n el caso ', es claro que el 5alor de 5erdad de ="p= depende del de =p=, pues si =p= es 5erdadera (es decir, si llue5e%, ="p= es falsa (es falso que no llue5e% y si =p= es falsa (esto es, si no llue5e%, ="p= es 5erdadera (es 5erdadero que no llue5e%. -n el caso #, la proposicin resultar falsa en todos los casos, excepto en uno: cuando ambas atmicas son 5erdaderas. -n el caso 3, ser 5erdadera en todos los casos excepto en aquel en que ambas atmicas fueran falsas. A continuacin se muestran cules son los resultados que las diferentes conecti5as arro/an para las mismas combinaciones de 5alores de 5erdad, en las que denominamos tablas de 5erdad. 7 : F : F 8 : : F F 7.8 : F F F 7,8 : : : F 798 F : : F 7 8 : : F : 7 8 : F F :

-l caso de negacin es ms sencillo< 7 : F 47 F :

"imboli&acin de proposiciones y tablas de erdad: F$mo simboli3ar proposiciones moleculares, que combinan ms de una conecti5aG< -/emplifiquemos< '.=>o fue al cine, pero concurri al teatro=, incluye una negacin y una con/uncinD la con/uncin afecta a la primera proposicin solamente, en este caso. -sta proposicin se simboli3a ="p.q=. #. @ero la proposicin =>o es cierto que fui al cine y al teatro=, se ad5ierte que la negacin afecta a la con/uncin en su con/untoD esta proposicin se simboli3a ="(p.q%=. Los parntesis y lla5es indican el alcance de la conecti5a, de modo similar como en matemtica determinan el alcance de una operacin. H se debe aclarar tambin que cuando una proposicin atmica se repite, debe repetirse la 5ariable proposicional que la simboli3a. Cambin se debe tener presente que estamos traba/ando con una lgica bivalente, lo cual significa que los 5alores de 5erdad que se le asignen a cada 5ariable proposicional, tendrn como base el n1mero dos, ele5ado a la cantidad de 5ariables proposcionales que se tengan, y eso determinar la cantidad de hileras de 5alores de 5erdad y falsedad que se deben colocar.

-/emplos< '. p.q, aqu, son dos 5ariables proposicionales, por lo tanto es # # ? !, y la tabla quedar de la siguiente manera<
7 : F : F 8 : : F F 7.8 : F F F

#. (p.q% r, aqu son tres las 5ariables proposicionales, por lo tanto, # 3 ? , y su tabla<
7 : F : F : F : F 8 : : F F : : F F r : : : : F F F F 7.8 : F F F : F F F /7.81 r : : : : F : : :

$autologa' contingencia y contradiccin: -l resultado que nos puede ofrecer una tabla de 5erdad, puede asumir tres combinaciones de 5alores diferentes< '% que nos d siempre 5erdaderoD #% que nos d siempre falsoD 3% que en algunos casos d 5erdadero y en otros falso. -stos tres resultados dan lugar a tres tipos de e0presiones diferentes que llamaremos, por su orden, tautologa, contradiccin y contingencia. (alide& y erdad: La 5erdad de las e0presiones moleculares dependa de los 5alores de 5erdad de los enunciados atmicos componentes. 9e este modo cuando seIalamos qu 5alores deben tomar los enunciados componentes para que el compuesto sea 5erdadero estamos dando las condiciones de 5erdad del compuesto. Codos los compuestos que consideramos eran tales que .resultaban 5erdaderos para algunas asignaciones de 5alor a sus enunciados componentes y falsos para otras. 6in embargo hay enunciados compuestos que resultan 5erdaderos para cualquier asignacin de 5alores de 5erdad a sus componentes. $uando un enunciado resulta falso para cualquier 5alor de 5erdad de sus componentes decimos que es inconsistente. A su 5e3 cuando resulta 5erdadero para toda asignacin de 5alores a sus componentes decimos que es 5lido. $ablas de e)ui alencia *$+,: Jhemos presentado un procedimiento que dada una e0presin cualquiera nos permita determinar su 5alide3 y a partir de sta las relaciones de implicacin y equi5alencia. 6in embargo, no cabe duda de que dicho procedimiento resultara bastante tedioso, e incluso engorroso, cuando tratramos con enunciados que contu5ieran cuatro o ms enunciados atmicos distintos como componentes. $onsidrese que si el enunciado contiene cinco enunciados componentes distintos tendramos que considerar # 8?3# combinaciones de 5alores de 5erdad, lo cual dara una tabla con 3# lneasD y si contu5iese seis enunciados atmicos distintos tendramos #4?4! lneas, y es e5idente que una tabla con 3# o 4! lneas es algo cuya construccin resulta muy poco edificante. J@or e/emplo, si tenemos la siguiente con/uncin Kp . qL y sabemos que KqL tiene el 5alor + es ob5io que el 5alor de la con/uncin ser el mismo que el de la e0presin KpL ya que si KpL es + los dos componentes de Kp . qL tendran el 5alor + y por lo tanto Kp . qL tomara el

5alor +D por otra parte se KpL es :, entonces Kp . qL tomara el 5alor : a1n cuando KqL sea +. A su 5e3, si sabemos que KqL es :, entonces cualquiera sea el 5alor de KpL, Kp . qL tomar el 5alor : ya que una con/uncin uno de cuyos componentes es : toma el 5alor :. @odemos hacer el mismo ra3onamiento con cada una de las conecti5as fundamentales. $omo resultado de ese anlisis obtendremos la siguiente tabla< 7: 7F :8 F8 7: 7F :8 F 8 7.: 7.F :.8 F.8 7,: 7,F :,8 F,8 4: F 4F : -n esta tabla en la columna de la i3quierda anotamos el enunciado compuesto por un enunciado atmico y un 5alor de 5erdad (en realidad debe entenderse que no es un 5alor de 5erdad lo que figura como componente, sino un enunciado que posee un 5alor de 5erdad% y en la columna derecha la e0presin a la cual la misma es equi5alente. Anlisis eritati o -uncional: Ahora que hemos construido la tabla (C-% estamos en condiciones de dar un procedimiento que nos permitir decidir la 5alide3 de enunciados cualesquiera y que resulte ms simple, en el caso de enunciados con muchos enunciados componentes distintosJ 6upongamos que nos interesa determinar si el siguiente enunciado es 5lido< " ( p . q % ( "p 5 Mq % 7 F 8 F : 7 : 8 : 47 8 : 7 47 8 48

-n este caso tra3aremos deba/o del enunciado en cuestin dos columnas y escribiremos en la columna de la i3quierda el resultado de sustituir en ese enunciado la letra KpL por + y en la columna derecha el resultado de sustituir KpL por :. " ( p . q % ( "p 5 Mq %

" ( + . q % ( "+ 5 Mq % " ( : . q % ( : 5 Mq % Luego simplificaremos las e0presiones as obtenidas por medio de las equi5alencias presentadas en la tabla (C-%. As, por e/emplo, como K+.qL es equi5alente a KqL escribiremos en el lugar de M (+ . q% (en el miembro i3quierdo del bicondicional de la columna i3quierda% Mq. @or otra parte, en el miembro derecho del mismo bicondicional tenemos K( "+ 5 q %L que es equi5alente a K(: 5 Mq%L que a su 5e3 se reduce a K"q "qL. @or otra parte el miembro i3quierdo del bicondicional de la columna derecha se reduce a M: y este a su 5e3 a +. -l miembro derecho se reduce tambin a +, ya que ( ": 5 Mq % da lugar a ( + 5 Mq % que se reduce a +, ya que + + se reduce a +.

"( p . q % ( "p 5 Mq % "(+ . q % ("+ 5 Mq % "q ( : 5 Mq % "q "q "( : . q % ( ": 5 Mq% ": ( + 5 Mq % ++ +

$omo resultado de estas transformaciones la columna derecha termina en +, pero en la de la i3quierda a1n sigue apareciendo una letra, a saber KqL. Luego debemos subdi5idir la columna i3quierda y escribir en cada una de las nue5as columnas los resultados de sustituir + por q en una y : por q en la otra. Ena 5e3 hecho esto 5ol5emos a simplificar la e0presin con ayuda de la tabla (C-%. "( p . q % ( "p 5 Mq % "( + . q% ("+ 5 Mq % "q ( : 5 Mq% "q "q "+ "+ ": ": : : + + ": + + "( : . q % (": 5 Mq % ": ( + 5 Mq % ++ +

$omo podemos 5er cada una de las columnas cierra en + y por lo tanto la e0presin resulta ser 5lida. 6i las columnas hubieran cerrado algunas en + y otras en : la e0presin habra resultado consistente y si el cierre de todas las columnas hubiese sido en : resultara inconsistente. Una interpretacin alternati a: Basta ahora hemos 5enido interpretando las letras KpL, KqL, KrL, etc., como estando en lugar de enunciados atmicos, y las distintas conecti5as como corresopondiendo a e0presiones del tipo KpL, KoL, KnoL, etc. 6in embargo, sta no es la 1nica interpretacin posible del denominado clculo proposicional. Ha que el propio 7oole ' haba seIalado la importancia del desarrollo de un lgebra abstracta que admitiera 5arias interpretaciones distintas y el clculo desarrollado en su obra, presentado en principio como un lgebra de clases, admite tambin una interpretacin como lgica de proposiciones y como un lgebra de los n1meros ' y ) #. 6in embargo aqu presentaremos otra interpretacin que se debe a $laude -. 6hannon 3, la cual consiste en considerar las distintas e0presiones del clculo proposicional como circuitos que componen redes elctricas. A los efectos es importante seIalar que un circuito elctrico tiene precisamente un carcter bi5alente, ya que admite dos estados distintos KencendidoL y KapagadoL. 9e modo que as como las frmulas lgicas admiten dos 5alores de 5erdad, 5erdadero o falso, los circuitos elctricos tambin admiten dos estados distintos. @ero estas no son las 1nicas analogas entre las frmulas lgicas y las redes elctricas. 9el mismo modo que las frmulas moleculares estn compuestas por enunciados atmicos y su 5alor de 5erdad depende del 5alor de 5erdad de estos 1ltimosD los circuitos estn compuestos por contactos cuya situacin de encendidos o apagados determina el pasa/e o no de la corriente por la red. H finalmente al igual queJlas frmulas compuestas pueden ser reescritas en base a los signos conecti5os K5L, K.L y K" LD los circuitos elctricos se reducen a la disposicin en serie o en paralelo.
' #

2eorge 7oole. KAnlisis matemtico de la lgicaL. -d. $tedra, Nadrid, ';(;. $f. $arosi, $arlos, -. K2eorge 7oole y los orgenes de la lgica simblicaL Oe5ista sinta0is, Ndeo, ';(4, p.';"#(. 3 6hannon, $laude, -. KA symbolic analysis of relay and sAitching circuitsL, KCransactions of the American ,nstitute of -lectrical -ngineers, 5ol.8( (';3 %L.

Ahora bien, dado que como hemos 5isto, los enunciados atmicos tienen dos 5alores posibles y los contactos dos estados, podemos ahora interpretar las letras KpL, KqL, KrL, etc., que representaban en nuestra primera interpretar las letras KpL, KqL, KrL, etc., que representaban en nuestra primera interpretacin enunciados atmicos, como contactos, de acuerdo con esto Kp K, KqL, KrL, estarn en lugar de contactos que representaremos por figuras como las que siguen<

A su 5e3, la con/uncin Kp . qL se representar por dos contactos dispuestos en serie<

La disyuncin Kp 5 qL ser interpretada como disposicin en paralelo de los contactos KpL y KqL<

H finalmente la negacin K"pL ha de entenderse como un contacto que se enciende cuando el contacto KpL se apaga y 5ice5ersaD de modo que su representacin ser igual a la del contacto simple!<

9ebe entenderse que estos contactos estn dispuestos en un circuito que comunica una fuente de energa, por e/emplo una batera, con una terminal, por e/emplo una lmpara elctricaD de modo que el que los contactos se encuentren encendidos o apagados determinar el pasa/e del flu/o de corriente que encender o no la lmpara seg1n el caso. 6upongamos por e/emplo que un circuito en serie de los contactos KpL y KqL. @odra representarse del siguiente modo<

lmpara $omo puede obser5arse, pueden darse cuatro situaciones< que KpL y KqL estn en posicin de encendido, en cuyo caso la lmpara recibir corriente y se encenderD que KpL est en posicin de apagado y KqL en posicin de encendido y que tanto KpL como KqL estn en posicin de apagado. -n cualquiera de estos tres 1ltimos casos parece ob5io que la lmpara no recibir corriente y se encontrar por tanto apagada.
!

-s importante notar que en la medida en que cualquier enunciado (y cualquier conecti5a% puede escribirse usando slo los signos concecti5os K"L, K.L y K5L, podemos constituir el circuito correspondiente a cualquier e0presin en base a los tres circuitos presentados. @ara ello ser suficiente lle5ar la e0presin del caso a su :>9 y luego traducirla a un circuito compuesto solo por los tres circuitos que hemos presentado.

Oepresentmonos esta situacin en un cuadro< p -ncendido -ncendido Apagado Apagado q -ncendido Apagado -ncendido Apagado lmpara -ncendido Apagado Apagado Apagado

6i comparamos esta tabla con la de la con/uncin e interpretamos + como encendido y : como apagado 5eremos que describen e0actamente la misma situacin. $onsideremos ahora el caso de la disposicin en paralelo de los contactos KpL y KqL.

Lmpara -n este caso parece claro que si uno de los dos contactos est en posicin de encendido la lmpara est encendida y que la disposicin en paralelo permite el flu/o de la corriente de la batera a la lmpara a1n en el caso de que uno de los contactos se encuentre apagado. Luego de la situacin ser< p -ncendido -ncendido Apagado Apagado q -ncendido Apagado -ncendido Apagado lmpara -ncendido -ncendido -ncendido Apagado

6i comparamos ahora este cuadro con la tabla de la disyuncin y 5eremos que describen e0actamente la misma situacin. Leyes del clculo proposicional: +eamos ahora algunas leyes del clculo proposicional. -n algunas de estas usaremos los smbolos K'L y K)L en lugar de K+L y K:L. -l signo K'L puede entenderse seg1n la interpretacin que deseamos como K+L o como K-ncendidoL y el smbolo K)L como K:L o como KApagadoL. -n adelante y en 5irtud de la simplicidad usaremos siempre los smbolos K'L y K)L. '% p . ' ? p #% p . ) ? ) 3% p 5 ' ? ' !% p 5 ) ? p -stas cuatro primeras leyes no son ms que cuatro de las equi5alencias establecidas en la tabla de equi5alencias (C-% planteada ms arriba. 6lo difieren de stas en que usamos el smbolo K'L en lugar de K+L y K)L en lugar K:

8% p . Mp ? ) 4% p 5 p ? ' (% " "p ? p % ( p . q % ? (q . p % ;% ( p 5 q % ? ( q 5 p % ')% p . ( q . r % ? ( p . q % . r ''% p 5 ( q 5 r % ? ( p 5 q % 5 r

@rincipio de contraccin @rincipio del tercero e0cludo ,dempotencia de la negacin @ropiedad conmutati5a de la con/uncin @ropiedad conmutati5a de la disyuncin @ropiedad asociati5a de la con/uncin @ropiedad asociati5a de la disyuncin

'#% p . ( q 5 r % ? ( p . q % 5 ( p . r % @ropiedad distributi5a de la con/uncin respecto a la disyuncin '3% p 5 ( q . r % ? ( p 5 q % . ( p 5 r % @ropiedad distributi5a de la disyuncin respecto de la con/uncin '!% p . p ? p '8% p 5 p ? p '4% p . ( p 5 p % ? p '(% p 5 ( p . q % ? p ' % M ( p . q % ? ( " p 5 M q% ';% M ( p 5 q % ? ( " p . M q % #)% P ( p . q % 5 ( p . M q %Q ? p ,dempotencia de la con/ucin ,dempotencia de la disyuncin Ley de Absorcin Ley de Absorcin Ley de 9emorgan Ley de 9emorgan

Circuitos correspondientes a -rmulas: Cracemos ahora el circuito correspondiente a la frmula< P(p.q%5(p5q%Q.Pq5(p.q%Q

F-s posible construir un circuito ms simple que ste y que sea equi5alente en el sentido de que se enciende e0actamente en las mismas situaciones y se apague tambin en las mismas situacionesG A los efectos de responder a esta pregunta podemos tomar la frmula original y tratar de simplificarla usando las leyes ' a ';. si podemos transformar dicha frmula en una ms simple podremos tambin simplificar el circuito en consideracinD y precisamente la frmula simplificada de ese circuito ser la frmula obtenida a partir de la original. As, por e/emplo< :rmula original< P ( p . q % 5 ( p 5 q % Q . P q 5 ( p . q % Q @or ley '( y @or ley '# @or ley ') @or ley '! @or ley '4 @or ley '( P ( p . q % .5 ( p 5 q % Q . q P(p.q%.qQ5P(p5q%.qQ Pp.(q.q%Q5P(p5q%.qQ {(p.q% 5P(p5q%.qQ} (p.q%5q q

9e acuerdo con eso, el circuito original es equi5alente al circuito<

-sto quiere decir que cuando KqL est encendido el circuito original est encendido y cuando KqL est apagado, el circuito original est apagado. -n 5irtud de esto, en lugar de construir el comple/o circuito original, podemos construir el 1ltimo circuito que siendo mucho ms simple cumple con las mismas funciones.
B (l o.raf-a &+ l !a*a: $aorsi, $. K,ntroduccin a la lgica y sus aplicacionesL. $opi, ,. K,ntroduccin a la lgicaL. >udler. KCemas de lgicaL. >udler. K-lementos de lgica simblicaL.

')

''