Lgica de proposiciones.

Tambin llamada lgica de grado cero (u orden cero), lgica coligativa, lgica sentencial, lgica de enunciados, lgica conectiva. Es parte de la lgica clsica que efecta el clculo lgico en base a proposiciones sin analizar donde no hay cuantificacin alguna. Considera a la proposicin como elemento mnimo y su relacin con otras proposiciones. El aparato de dicho clculo, as, se compone de variables proposicionales, que representan proposiciones atmicas; metavariables, que se refieren a proposiciones compuestas; operadores lgicos didicos y mondicos, que significan las diversas funciones veritativas tomadas en cuenta para el clculo; signos auxiliares como los parntesis, las llaves, los corchetes; y reglas de formacin, que norman la construccin correcta de frmulas. Esta lgica es decidible por medio de las tablas de verdad o con el uso de la forma normal conjuntiva. A continuacin pondremos una lista de casos en los que se formaliza enunciados haciendo uso de esta lgica. 1) O Rabat es la capital de Kenya o Sudn, o no es la capital de Kenya ni de Sudn. 1*) ( p q ) ( p q) 2) Juan no es economista ni consultor, pero tampoco matemtico ni investigador, sino abogado y escritor. 2*) [ ( p q) ( r s)] (t u) 3) Se dice que existe probabilidad de que ocurra un hecho o que un hecho es probable, cuando hay en alguna medida razones o fundamentos para afirmar su ocurrencia, pero sin llegar al nivel de la certeza o de la seguridad. 3*) Forma lgica: Si hay en alguna medida razones o fundamentos para afirmar la ocurrencia de un hecho, entonces se dice que existe probabilidad de que ocurra un hecho o que un hecho es probable, pero no se llega al nivel de la certeza o sin llegar al nivel de la seguridad 3**) ( p q ) [ ( r s ) ( t u)]

4) Aun cuando Pedro vaya a la oficina de Juan cuando ste no se encuentre ocupado, no ser atendido si no tiene una cita previa. 4*) Forma lgica: Si Pedro no tiene una cita previa entonces si Juan se encuentra ocupado y Pedro va a la oficina entonces no ser atendido y si Juan no se encuentra ocupado y Pedro va a la oficina entonces no ser atendido 4**) p { [ (q r) s ] [ ( q r) s]} 5) Si dices ser lingista o antroplogo, y si no conoces el mtodo estructuralista ni ningn otro, y tampoco sabes cmo hacer trabajo de campo ni de investigacin, entonces no eres ni lingista ni antroplogo. 5*) [ ( p q ) ( r s) ( t u)] ( p q) 6) Si hay evidencia recogida por la polica judicial, declaraciones de los testigos, y una investigacin de la fiscala; entonces, el juez tendr una visin privilegiada de los hechos. Por lo tanto, se considera que el argumento de la defensa es vlida, no obstante la peticin de principio. 6*) [ ( p q r ) s ] ( t u )

7) Si Juan es amable, Pap Noel le regalar una bicicleta, sea que la quiera o no 7*) [ (p q) r] [ ( p q) r] 8) Si tanto mi padre como mi madre van, entonces yo no ir, pero si solo si padre va, entonces yo ir tambin 8*) [ (p q) r] [ (p q) r] 9) Si no estamos en verano, entonces est hmedo y hace fro, si es de tarde o de noche 9*) p [ ( r s ) ( q t ) ] 10) Si t no me ayudas, si yo te necesito, no te ayudar si t me necesitas Este enunciado es ambiguo porque admite dos lecturas 10A) (p q) (s r) 10B) (p q) (s r) Lgica de primer grado. Tambin llamada lgica de primer orden. Es parte de la lgica clsica que, a diferencia de la lgica de grado cero, toma en cuenta no slo la estructura externa de las proposiciones sino tambin la estructura interna de las proposiciones al momento de efectuar el clculo lgico. Por ello, en este contexto (tomando como base las variables proposicionales, los operadores lgicos y los signos auxiliares) se incorporan nuevas expresiones simblicas: constantes individuales, variables individuales, variables predicativas, variables relacionales, variables funcionales y cuantificadores. En relacin con el uso de estos ltimos se aaden, adems, algunas reglas operativas. Se debe indicar que la silogstica aristotlica es tan solo un trozo de la lgica de primer grado, especficamente se constituye como lgica de predicados unarios (o mondicos o no-relacionales) de primer grado. En ella no slo los adjetivos, sino tambin los nombres comunes y aun algunos verbos son asumidos como propiedades de objetos y procesos. Los cuantificadores ( y ), precisamente, son empleados para delimitar el mbito de los individuos, toda vez que en este sector de la lgica se opera, bsicamente, con proposiciones categricas: proposiciones que exhiben trminos como todos, algunos o sus respectivas negaciones (A, E, I y O). Por ello, se dice que la lgica de primer grado cuantifica sobre individuos pero no sobre conjuntos como lo hace la lgica de segundo grado. El uso de relaciones y funciones ausente en la teora del silogismo ser implementado por el clculo deductivo de primer grado de Frege (1879) y ser desarrollado por Hilbert, Ackermann, Gdel y Tarski. Asimismo, podemos afirmar que esta lgica cumple con el teorema de completud semntica, pero no es decidible. Para finalizar pondremos algunos ejemplos del uso de este lenguaje para que sea visible su eficacia. 1) Ningn padre puede tener como padre a su propio hijo 1**) Ningn padre puede ser hijo de su hijo 1***) x y [ Pxy Pyx ], donde P=ser padre de 2) Los padres de todos los primos son hermanos 2*) w x y z [ ( Pwx Pyz Rxz) Hwy ], donde P=ser padre de, R=ser primo de, y H=ser hermano de 3) Los ngulos opuestos de algunos polgonos son iguales

3*) x y z [(Px Ayx O=ser el opuesto de

Azx

Oyz)

y=z], donde P=ser polgono, A=ser ngulo de,

4) Existe un nmero entero que es menor que todos 4*) x y (x<y), donde x e y varan sobre nmeros enteros 5) Existe el mayor nmero primo 5*) xPx z [ ( Pz x z ) Gxz ], donde P=ser primo, y G=ser mayor que 6) Algn nmero no es el mayor nmero primo 6*) xPx z [ Pz Gzx ], donde P=ser primo, y G=ser mayor que 7) No existe ningn nmero primo que sea el mayor de todos 7*) x [ Px z (Pz Gzx) ], donde P=ser primo, y G=ser mayor que 8) Todo nmero tiene un sucesor inmediato 8*) y x ( x= y+1), donde x e y varan sobre nmeros naturales 9) Principio de Accin-Reaccin Para toda fuerza existe otra fuerza igual y opuesta 9*) x [ Fx y ( Fy y=x Oyx ) ], donde F=ser fuerza, O=ser opuesta a 10) El autor de El Tungsteno era un poeta 10*) El nico individuo que escribi El Tungsteno era un poeta 10**) x (Tx y ( Ty y=x ) Px), donde T=ser autor de El Tungsteno, P=ser poeta

11) El actual rey de Per no es canoso Este enunciado es ambiguo porque admite dos lecturas 11A) Existe un nico individuo que es actualmente el rey de Per pero no es verdad que ese individuo sea canoso 11A*) x (Px y ( Py y=x ) Cx), donde P=ser rey de Per, C=ser canoso 11B) No es verdad que exista un individuo que sea actualmente el nico rey de Per y sea canoso 11B*) x (Px y ( Py y=x ) Cx), donde P=ser rey de Per, C=ser canoso 12) Algunos miembros de la comunidad son adultos, pero no todos 12*) x Ax x Ax 13) Algunos adultos son calvos, pero no todos los adultos lo son 13*) x (Ax Cx) x (Ax Cx) 14) Todos los adultos de la comunidad que llevan barba son tutor de alguien, pero no todo tutor de alguien lleva barba 14*) x [ (Ax Bx) y Txy ] x ( y Txy Bx ) 15) Todo tutor de un menor le ensea 15*) x y [ ( Txy My ) Exy ]

16) Algn miembro de la comunidad tiene ms de un tutor 16*) x y z (Txz Tyz x y) 17) Hay una nica persona que es el director de la comunidad 17*) x [ Dx y ( Dy x=y ) ] 18) Todo objeto es un nmero natural 18*) x ( x=1 x=2 x=3 ) 19) En toda familia de ms de un hijo, de cada dos hijos siempre uno es superior jerrquico del otro 19*) x Fx [ y z (y z Hyx Hzx) (Syz Szy) ] 20) Todos los chicos estn enamorados de una chica Este enunciado es ambiguo porque admite dos lecturas 20A) Para todo chico existe alguna chica de la que el chico est enamorado 20A*) x [ Ox y ( Cy Exy ) ] 20B) Hay una chica tal que todos los chicos estn enamorados de ella 20B*) y [ Cy x ( Ox Exy ) ] 21) Condicin de Unicidad A lo sumo una sola cosa tiene la propiedad A 21*) x y ( Ax Ay x=y ) 22) El lucero de la maana es el lucero de la tarde 22*) x z ( { [ Lx y ( Ly x=y ) ] [ Tz w ( Tw 23) Rommel es el zorro del desierto 23*) x { [ Zx y ( Zy y=x ) ]

z=w ) ] }

x=z )

x=r }

24) Simetra: Si un objeto es idntico a otro, este otro es idntico al primero 24*) x y ( x=y y=x ) 25) Reflexividad: Todo objeto es idntico a s mismo 25*) x (x=x) 26) Transitividad: Si dos objetos son idnticos a un tercero, entonces son idnticos entre s x y z [ ( x=y y=z ) x=z ] 27) Todos le dieron algo a Pedro 27*) y [ Py x (Cx Dyxp) ] 28) Todo aquel que promete cualquier cosa debe hacerla 28*) x y [ Px Ay z (Pz Oxyz) ] Hxy 29) Si t ves a cualquiera no debes entregarle ninguna carta 29*) x [ ( Px Vtx ) y (Cy Dtyx) ]

30) Quien no es dueo de un automvil, es dueo de una motocicleta 30*) x { [ Px y (Ay Dxy) ] y (My Dxy) } 31) Dos nios estn sentados sobre una cerca 31*) x ( Cx y1 y2 { y1 y2 z [ ( Nz Szx )

( z=y1

z=y2 ) ] } )

32) Si dos personas se pelean por alguna cosa, otra persona la obtendr 32*) x y z [ ( Px Py x y Cz Lxyz ) w (Pw w x w y 33) Hay cuanto mucho dos reinas 33*) x y z [ (Rx Ry Rz) (x=y

Owz) ]

x=z

y=z) ]

34) Si dos personas realizan un intercambio, entonces una de las dos saldr perjudicada 34*) x y { ( x y Ixy ) [ ( Px Py ) ( Px Py ) ] } 35) Toda persona tiene dos progenitores 35*) x y z { y z w [ Pxw ( w=y

w=z ) ] }

36) Cada uno ama a una persona distinta 36*) y z [ y z w z ( w z Axw 37) Los altruistas se aman mutuamente 37*) y z [ ( Lx Ly x y ) ( Axy

Ayz ) ]

Ayx ) ]

38) Las personas que se aman mutuamente son felices 38*) y z [ ( Axy Ayx x y ) ( Fx Fy ) ] 39) Exactamente dos cocineros viven en Lima 39*) x y { x y Lx Ly z [ Lz ( z=x

z=y ) ] }

40) Hay un nico ser que todo lo engendra o transforma, pero que no es engendrado ni transformado 40*) x { y [ z ( Exz Txz ) x=y ] v [ v x ( Evx Tvx ) ] } Lgica de grado superior. En la lgica de primer grado hablamos solo de las cosas, animales o personas asumindolos como individuos, diciendo que tienen tales o cuales propiedades o que estn en tales o cuales relaciones. En la lgica de segundo grado tratamos las mismas propiedades y relaciones asumindolas como individuos, diciendo que tienen tales o cuales propiedades o que estn en tales o cuales relaciones. Es decir, en la lgica de segundo grado se estudian las propiedades de propiedades, propiedades de relaciones, relaciones entre propiedades o relaciones entre relaciones. En otras palabras se cuantifican smbolos para predicados y smbolos para relaciones (lo cual puede implicar que la lgica de segundo grado sea una teora de conjuntos pues al cuantificar sobre los predicados se est presuponiendo la existencia del universo de los conjuntos). Anlogamente, en la lgica de tercer grado se estudiarn las propiedades de propiedades de propiedades, propiedades de propiedades de relaciones, relaciones de propiedades de propiedades, relaciones existentes en relaciones entre relaciones, etc. Para nombrar un caso se puede referir que la teora de los tipos de Russell se vale de la

lgica de segundo grado. Esta teora de los tipos sirve, entre otras cosas, para poder frenar el impacto negativo que las paradojas lgicas producen con respecto a las bases fundamentales de la matemtica y la semntica. La lgica de segundo grado tiene una capacidad expresiva excesiva pero no tiene (ni podra tener) un clculo deductivo semnticamente completo y tampoco es decidible. Con ella podemos formalizar varios enunciados propios de la teora de conjuntos. Pondremos algunos ejemplos simples y complejos para mostrar su uso. 1) Napolen tena todas las cualidades de un buen general 1*) Z [ x (Bx Zx) Zn], donde B = ser buen general, n=Napolen, y Z=propiedad cualquiera 2) Ayudar al prjimo es bueno 2*) x y [ Axy B(A) ], donde A = ayudar a, B=ser bueno 3) El magnetismo es una propiedad de algunos metales 3*) P[ P(G) x( Mx Gx) ], donde P=ser propiedad, G=ser magntico y M=ser metal 4) Si no hay tres individuos en una cierta relacin no hay relacin ternaria 4*) y z R (xyz) R T(R), donde R= relacionar con, y T=ser propiedad ternaria 5) La relacin cuaternaria es ms compleja que la relacin binaria 5*) R S { [C(R) B(S)] M(RS) }, donde R=relacin cualquiera, S=relacin cualquiera, C=ser relacin cuaternaria, B=ser relacin binaria, y M=ser ms compleja que 6) Principio de Identidad entre individuos: Dos individuos son idnticos si y solo si comparten todas sus mismas propiedades 6*) x y [ x=y P (Px Py) ], donde P=propiedad cualquiera 7) Principio de induccin aritmtica: Toda propiedad que posean tanto el cero como el siguiente de cualquier nmero, es una propiedad que poseen todos los nmeros 7*) Z ( Zc { x [Zx Z (x+1)] x Zx } ), donde Z=propiedad cualquiera, c=cero, y x vara sobre nmeros naturales 8) Hiptesis generalizada del continuo: Si un conjunto A tiene un cardinal dado por entonces el conjunto potencia de A tiene un cardinal dado por 8*) [ card(A) = card (P(A)) = , donde A=conjunto, el alfsimo nmero transfinito, P(A)= conjunto potencia de A, y vara sobre nmeros ordinales 9) Biyectabilidad Una funcin es biyectiva cuando i) para todo par de elementos distintos del dominio, se da que sus imgenes son distintas ii) su conjunto de llegada es cubierto por el rango X Y def W ( x y z { [(Wxy Wxz) y=z] [(Wyx Wzx) y=z] u [Xu x (Wux Yx)] x [Yx u (Wxu Xu)] } )

10) Infinitud Inf(X) def Y [ z (Yz

Xz)

z (Xz

Yz)

X Y]

11) Conjunto potencia El conjunto potencia de X es Y, es decir, pot(X,Y) pot(X,Y) def W { u (Xu z Wuz) u (Yu z Wzu) v x (Zx Wxv) ] u v [ x (Wxu Wxv) u=v ] } 12) Hiptesis generalizada del continuo: X Y Z { [ Inf(X) pot(X,Y) Z<Y] Z X } Donde la menor o igual cardinalidad (inyectabilidad) es

Z [ u (Yz

Xu)

, la menor cardinalidad <