Universidad Nacional del Sur

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "Universidad Nacional del Sur"

Transcript

1 Universidad Nacional del Sur Tesis de Magister en Matemática Reductos hilbertianos de las álgebras de Lukasiewicz-Moisil de orden 3 Juan Sebastián Slagter Director: Dr. Aldo Figallo Orellano Bahía Blanca 2016 Argentina

2 Prefacio Esta tesis es presentada como parte de los requisitos para optar al grado académico de Magister en Matemática de la Universidad Nacional del Sur y no ha sido presentada previamente para la obtención de otro título en esta Universidad u otras. La misma contiene los resultados obtenidos en investigaciones llevadas a cabo en el Departamento de Matemática durante el período comprendido entre mayo de 2014 y mayo de 2016, bajo la dirección del Dr. Aldo Figallo Orellano, profesor adjunto del Departamento de Matemática. i

3 Agradecimientos En primer lugar expreso mi agradecimiento al Dr. Aldo Figallo Orellano, por el gusto con que me enseñó, por su energía y paciencia, por su incondicional dedicación al trabajo. Por haberme iniciado en la investigación. Por ser quien hizo esto posible. Agradezco enérgicamente al Dr. Aldo V. Figallo por la fe depositada, a la Dra. Alicia Ziliani y al Dr. Martín Figallo por el apoyo brindado y acompañar en el trayecto de formación. Por su generosidad tanto intelectual como personal. Quiero expresar mi agradecimiento al profesor Sergio Celani por su curso sobre representaciones topológicas, que motivó el desarrollo del capítulo 5 de esta tesis. Sus comentarios y charlas sobre el tema permitieron mi entendimiento sobre el trabajo topológico del álgebra, que será de gran utilidad en mis estudios posteriores. Agradezco a la Comisión de Investigaciones Científicas de la provincia de Buenos Aires, por haberme otorgado la beca que posibilitó realizar el trabajo de investigación desarrollado en esta tesis y en particular, a quien fue su Vicepresidente y miembro del directorio, Dr. Alfredo Juan por su apoyo y estímulo para que lograse desarrollar mis estudios. También quiero brindar mi reconocimiento a todos mis amigos del Departamento de Matemática de la UNS, principalmente a mis compañeros de oficina y a mis grandes compañeros de la vida, Juan Marcelo, Dante, Juan y Lucas. A mis padres, Mariné y Hermann, y mis hermanos, Diego y Caro, por estar siempre y apoyar cada proyecto emprendido. Por su amor incondicional. ii

4 Introducción En 1923, D. Hilbert sugirió, por considerarlo interesante, tomar como axiomas un cierto conjunto de fórmulas del cálculo proposicional Intuicionista en el que sólo participa el conectivo de implicación, lo que permitiría desarrollar un fragmento de dicho cálculo. El mismo es conocido con el nombre de cálculo proposicional implicativo positivo y su estudio lo inician, en 1934, D. Hilbert y P. Bernays. En 1950, L. Henkin introdujo la noción de modelo implicativo como contrapartida algebraica de este cálculo. Posteriormente, en 1960 A. Monteiro denominó álgebras de Hilbert a las álgebras duales de los modelos implicativos y fue A. Diego, en 1966, uno de los autores que realizó una contribución fundamental al desarrollo de la teoría de estas álgebras en su tesis doctoral, presentada en la UBA bajo la dirección de Antonio Monteiro. Por otra parte, varios autores aceptaron como evidente que la clase de las álgebras de Hilbert en las que todo par de elementos tiene ínfimo, coincide con la clase de las álgebras de Hertz, los semiretículos implicativos o los semiretículos de Brouwer llamadas así por H. Porta, H. Curry y P. Köhler respectivamente. Este hecho es falso como lo señaló por primera vez E. Marsden en 1973 (para más detalles ver [27]). Lo que motivó el estudio de álgebras de Hilbert con ínfimo por A.V. Figallo, G. Ramón y S. Saad en [29] y con supremo por S. Celani y D. Montangie en [20]. Por otro lado, G. Moisil introdujo a las álgebras de Lukasiewicz 3-valentes como los modelos algebraicos de la lógica trivalorada propuesta por Lukasiewicz ([33]). Recordemos que un álgebra de Lukasiewicz 3-valente es un álgebra A,,,,, 0, 1 que satisface las siguientes identidades: (L0) x 1 = 1, iii

5 (L1) x (x y) = x, (L2) x (y z) = (z x) (y x), (L3) x = x, (L4) (x y) = x y, (L5) x x = 1, (L6) x x = x x, (L7) (x y) = x y. A Finales de los años 60, Antonio Monteiro probó que la implicación definida por x y = x y ( x y) es la expresión de la implicación intuicionista, y por lo tanto, convierte el álgebra de Lukasiewicz en un álgebra de Hilbert especial. A partir de estas consideraciones M. C. Canals Frau y A.V. Figallo en [10] se propusieron estudiar algebraicamente el fragmento {, } de la lógica de Lukasiewiz 3-valente. Este fragmento puede ser axio-matizado por medio de la lógica implicativa positiva con el axioma de Ivo Thomas ([39]) para el caso n = 3. Estas estructuras algebraicas fueron denominadas álgebras de Hilbert trivalentes modales. En esta tesis se expondrán los resultados de [10] y de [11], uno de los objetivos es dar difusión al material existente en la literatura sobre la temática de la tesis, dado que esos trabajos fueron publicados en la Universidad Nacional de San Juan y que son de difícil acceso. Lo que permitirá exhibir nuevos cálulos estilo Hilbert correctos y completos con respecto a semánticas algebraicas, en su versión débil. Además, las estructuras estudiadas en [11], serán presentadas por medio de la axiomática de las álgebras de Hilbert con ínfimo. También, se expondrán nuestros estudios sobre el fragmento {,, }, para lo cual se introducirá una nueva estructura algebraica. Por otra parte, se introducirá y estudiará un nuevo reducto de las álgebra de Lukasiewicz de orden 3. Se exhibirán los cáculo proposicionales que tenga como semánticas al nuevo fragmento, y posteriormente se etudirá la lógica de primer orden de estos cálculos. Por último, se expondrá la dualidad topológica para los semiretículos implicativos dada por S. Celani en [17] donde en nuestro caso prescindiremos de un espacio topológico ordenado inicial, para lo cual deberemos trabajar con el orden que se define en un espacio sober. iv

6 Hemos organizado la tesis en 6 capítulos. El capítulo I podemos dividirlo en dos secciones, en la primera parte repasaremos definiciones y resultados bien conocidos en álgebras de Hilbert, que han sido incluidos tanto para facilitar la lectura posterior como para fijar las notaciones y definiciones que utilizaremos a lo largo de la tesis. En la segunda parte de nuestro primer capítulo nos enfocaremos en las álgebras de Hilbert trivalentes y las Álgebras de Lukasiewicz de orden 3. En el capítulo II comenzamos el estudio de las álgebras de Hilbert trivalentes modales en donde desarrollaremos detalladamente el contenido del trabajo [10]. Además, presentaremos la demostración de la semisimplicidad de la variedad por medio de las técnicas desarrolladas por A. Monterio ([34]) para estructuras algebraicas que posean una implicación y que sus sistemas deductivos determinen las congruencias, estas técnicas generales han sido muy usadas por otros autores, por lo cual detallaremos su prueba, con el objetivo de exponer las condiciones mínimas que debe cumplir dicha implicación. Por otra parte, expondremos un nuevo cálculo estilo Hilbert que sea la contraparte algebraica de las álgebras de Hilbert trivalentes modales, con la respectiva prueba. En este trabajo se expondrán las demostraciones que se precisan para probar la completitud y correctitud del cálculo implicativo positivo con las álgebras de Hilbert, que según nuestro conocimiento, no se encuentran en la literatura. En el capítulo III expondremos los resultados de [11] en donde se estudia el {,,, 1}-reducto de las álgebras de Lukasiewicz-Moisil de orden 3. Estos autores denominan a dichos reductos semiretículos implicativos modales trivalentes, nosotros vamos a presentar una axiomática acorde a nuestros objetivos. Es decir, nos interesaremos en estudiar reductos donde aparezcan operaciones reticulares en álgebras de Hilbert, para lo cual trabajaremos con álgebras que las posean. Un hecho interesante es que a las álgebras de Hilbert con ínfimo trivalentes se les puede definir el supremos ( ), en términos de la implicación y la negación. Por lo tanto, en este caso estariamos trabajando en los denominados retículos del Hílbert ([28]), este resultado fue suministrado por el Dr. Sergio Celani, jurado de esta tesis. De esto último, queda claro que el fragmento que en definitiva estamos estudiando es {,,,, 1}, con lo que se observa la imposibilidad de tratar el ínfimo de manera individual. Por otro lado, se probó que dicho retículo es distributivo. Cabe destacar que la axiomática permite probar que los operadores son homomorfismos de retículos. Por otra parte, presentaremos un nuevo cálculo estilo Hilbert que tenga como semántica la estructura algebraica. La completitud y la correctitud presentadas son sólo v

7 para el caso débil. Por último, En el capítulo IV, se introducen las álgebras de Hilbert con supremo trivalentes modales, se estudian sus propiedades algebraicas con el objeto de presentar una lógica proposicional que sea correcta y completa con respecto a las álgebras introducidas; es de destacar, que dada una álgebra de la clase el ínfimo entre dos elementos no siempre existe. Con lo cual, podemos concluir que en este trabajo se presentan todos los reductos con operaciones reticulares que se pueden estudiar sobre las álgebras de Lukasiewicz de orden 3. Las técnicas usadas para este trabajo son los conocidos procesos de Lindenbaum-Tarski. En la segunda parte de este capítulo presentaremos nociones adecuadas de la teoría de modelos para poder tratar e introducir la lógica de primer orden sin identidades. Con recursos algebraicos pudimos probar un Teorema de Correctitud, para este trabajo nos apoyamos en los libros [22, 14] y la tesis de doctorado [25]. Posteriormente, extendemos el lenguaje con un bottom y agregamos un axioma que caracteriza la nueva constante. Luego, consideramos una negación fuerte a partir del bottom, es de destacar que la nueva negación no es una negación de De Morgan. Esta nueva negación permite caracterizar adecuadamente la noción de consistencia y probar una completitud al estilo Henkin, por medio de la construcción de una teoría maximal consistente que sea extensión de una teoría consistente dada, en dicha construcción se extiende el lenguaje con un conjunto de constantes (numerable), es importante observar que la noción de testigo y la posterior construcción del modelo solo necesita de una condición sobre el cuantificador existencial, a pesar que el lenguaje no tiene disyunción y que la lógica no tiene teoremas que permitan relacionar los cuantificadores. Por lo tanto, para esta nueva lógica con negación conseguimos probar Teoremas de Completidud y Compacidad, y por supuesto, de Correctitud. El asunto de caracterizar la consistencia sin una negación en el lenguaje, será motivo de investigaciones futuras. En el Capítulo V exhibiremos la dualidad topológica obtenida por S. Celani [17] para los semiretículos implicativos, en nuestra presentación utilizaremos el orden que se les puede definir a los espacios T 0. Para lo cual debemos axiomatizar los espacios sobers y así obtener los IS-espacios que permitan una representación topológica y una dualidad. Además, nos apoyaremos en las notas del curso del profesor Celani dictado en el segundo semestre de 2015 ([16]). Por último, en el capítulo VI se expondrá el trabajo a desarrollar en el futuro. vi

8 Resumen Es bien sabido que en las álgebras de Lukasiewiwz-Moisil ( LM) (ver [5]) de orden n 5, se puede definir una implicación de Lukasiewicz y una implicación de Heyting, y en el caso general solo se puede definir la de Heyting. Por otra parte, las implicaciones de Heyting que se pueden definir en cadenas coindiden con la implicación de Gödel (ver [27])(o implicación trivial de Hilbert), este hecho permite axiomatizar a los respectivos fragmentos implicativos de las álgebras LM por medio de álgebras de Hilbert n-valentes (ver [38]). Estos comentarios fueron, de alguna manera, las motivaciones de los trabajos fundacionales de M. Canals Frau y A. V. Figallo (ver [12, 13]). En esta tesis nos proponemos estudiar los fragmentos en los que intervienen la implicación de Hilbert para el caso n = 3, de las álgebras de Lukasiewicz-Moisil, que se encuentran disponibles en la literatura. vii

9 1 Contenidos Prefacio Agradecimientos ii Introducción Resumen Capítulo I Tópicos sobre álgebras de Hilbert Sistemas deductivos y núcleos de un homomorfismo Álgebras de Hilbert trivalentes Álgebras de Lukasiewicz de orden Capítulo II Álgebras de Hilbert trivalentes modales Sistemas deductivos modales y congruencias Propiedades Sistemas deductivos débiles, ligados y maximales La semisimplicidad de la variedad de las H 3 -álgebras Álgebras Simples Cálculo estilo Hilbert para las H 3 -álgebras Capítulo III Álgebras de Hilbert con ínfimo trivalentes modales Cálculo estilo Hilbert para las ih ih 3 -álgebras con primer elemento ih 3 -álgebras con un conjunto finito de generadores Cálculo de L(n) i iii vii -álgebras Capítulo IV Álgebras de Hilbert con supremo trivalentes modales Lógica proposicional para las H, 3 -álgebras Teoría de modelos y lógica de primer orden de H, 3 sin identidades

10 Teorema de Correctitud Completitud y Compacidad: modelos construidos a partir de constantes Capítulo V Dualidad topológica Conceptos preliminares Dualidad topológica para semiretículos implicativos Dualización de los morfismos Capítulo VI Conclusiones y trabajo futuro Referencias 130

11 3 1. Capítulo I 1.1. Tópicos sobre álgebras de Hilbert En esta sección repasaremos definiciones y resultados bien conocidos en álgebras de Hilbert, lo que permitirá el desarrollo posterior. Definición Un álgebra de Hilbert es un álgebra (A,, 1) (o H-álgebra) de tipo (2, 0) tal que para todo x, y, z A se verifican: (H1) x (y x) = 1, (H2) (x (y z)) ((x y) (x z)) = 1, (H3) Si x y = 1, y x = 1, entonces x = y. Indicaremos con H a la clase de álgebras de Hilbert. A continuación presentaremos algunos ejemplos ilustrativos de álgebras de Hilbert. Ejemplo Sea (A, ) un conjunto ordenado con último elemento 1. Entonces si definimos: 1 si x y x y = y caso contrario, Entonces (A,, 1) es un álgebra de Hilbert. En efecto, veamos que se cumplen (H1), (H2) y (H3). Sean x, y A. Entonces:

12 4 (H1) Como A es un conjunto ordenado tenemos que y x ó y x. Si ocurre y x, entonces y x = 1. Por lo tanto, x (y x) = x 1, y como 1 es último elemento, x 1 = 1. Por lo tanto, x (y x) = 1. Ahora si ocurre y x, tenemos que y x = x, entonces x (y x) = x x. Como x x, entonces tenemos que x x = 1, de lo que se concluye que x (y x) = x 1. Además, como x 1 = 1 entonces x (y x) = 1. (H2) Supongamos x y = 1 e y z = 1. Entonces, x y e y z de lo que resulta inmediato que x z y por lo tanto x z = 1. (H3) Si suponemos ahora que x y = 1 e y x = 1. Es claro que x y e y x, y por lo tanto, tenemos que x = y. En particular, si tomamos el conjunto A = {a, b, 1} con el orden dado por el diagrama de Hasse : 1 a b Entonces el orden esta dado por la siguiente tabla: a b 1 a 1 b 1 b a a b 1 La implicación que se puede determinar a partir del orden no es única. En lo que sigue ilustraremos esta situación con un ejemplo dado por A. Diego en [24]. Ejemplo Sea el conjunto A = {0, a, b, 1}, sobre A consideraremos el siguiente orden:

13 5 1 a b 0 (A, ) Además, sobre A, podemos considerar las siguientes operaciones de implicación dadas por las tablas: 0 a b a 0 1 b 1 b 0 a a b 1 0 a b a b 1 b 1 b a a a b 1 Se puede probar sin dificultad que (A,, 1) y (A,, 1) son álgebras de Hilbert. La primer implicación corresponde a la implicación booleana y la segunda a la definida en el Ejemplo En lo que sigue presentaremos una lista de propiedades cuya demostración es computacional. Lema En toda álgebra de Hilbert se verifican las siguientes condiciones: (H4) Si x = 1 y x y = 1 entonces y = 1, (H5) La relación definida: x y si y sólo si, x y = 1, es un orden sobre A y 1 es último elemento, (H6) x x = 1,

14 6 (H7) x y x, (H8) x (y z) (x y) (x z), (H9) x 1 = 1, (H10) Si x y, entonces z x z y, (H11) x y z, entonces y x z, (H12) x ((x y) y) = 1, (H13) 1 x = x, (H14) x y, entonces y z x z, (H15) x (y z) = y (x z), (H16) x (x y) = x y, (H17) (x y) ((y x) x) = (y x) ((x y) y), (H18) x (y z) = (x y) (x z), (H19) ((x y) y) y = x y. Demostración: (H4) Por las hipótesis x = 1 y x y = 1 tenemos: (1) 1 y = 1. Remplazando en (H1) a x por y, e y por 1 tenemos (2) y (1 y) = 1. De (1) y (2), resulta (3) y 1 = 1. Luego, por (1), (3) y (H3) inferimos que y = 1. (H5) (O1) x x. En efecto, por (H1) tenemos (1) x (x x) = 1 y también, x ((x x) x) = 1. Por otra parte, por (H2) tenemos (3) x ((x x) x)) ((x (x x)) (x x)) = 1. Luego, de (1), (2) y (3) inferimos que 1 (1 (x x)) = 1. Por lo tanto, como x x = 1, entonces x x. (O2) Si x y e y x entonces x = y. Es consecuencia inmediata de (H3).

15 7 (O3) Si x y e y z entonces x z. Por hipótesis x y = 1, y x = 1. Entonces, de (H2) concluimos (x (y z)) ((x y) (x z)) = 1,y por lo tanto, (1) (x 1) (1 (x z)) = 1. Luego, por (H4) y como 1 (x 1) = 1, entonces (3) x 1 = 1. Luego, de (1) y (3) concluimos 1 (1 (x z)) = 1. De esto último y (H4), podemos escribir 1 (x z) = 1. Por lo tanto, x z. Luego, de (O1), (O2) y (O3) es relación de orden. (H6), (H7), (H8) y (H9): Inmediato de las propiedades del orden definido a partir de la implicación. (H10) Por hipótesis x y, entonces x y = 1. Por lo tanto, z (x y) = z 1. De (H9), z 1 = 1, entonces z (x y) = 1. Por (H8), 1 = z (x y) (z x) (z y). Pero como 1 es último elemento (z x) (z y) 1. Entonces (z z) (z y) = 1. Por lo tanto, z x z y. (H11) Tenemos x y z, entonces x (y z) = 1. Por (H8), 1 (x y) (x z). Al ser 1 último elemento, x y x z. Por (H10), y (x y) y (x z), y por (H7), 1 y (x z). Al ser 1 último elemento tenemos que y (x z) = 1. Luego y x z. (H12) Por (H6), x y x y y por (H11), x (x y) y. Luego x ((x y) y) = 1. (H13) Por (H7), x 1 x, luego, por (H12) 1 ((1 x) x) = 1. Además, por (P 1) tenemos que (1 x) x = 1, entonces 1 x x, como también x 1 x tenemos que 1 x = x. (H14) De la hipótesis tenemos que x y = 1, y por (H7), y z x (y z). Por (H8), y z (x y) (x z). Como x y = 1, y z 1 (x z) y utilizando (H13), tenemos que y z x z. Luego y z x z. (H15) Por (H8) x (y z) (x y) (x z), pero por (H7), y x y, entonces utilizando (H14), (x y) (x z) y (x z). Como es transitiva, x (y z) y (x z). Luego, por (H7) sabemos que x y x, entonces

16 8 por (H14) (y x) (y z) x (y z). Nuevamente por la transitividad de, tenemos que y (x z) x (y z). Luego, x (y z) = y (x z). (H16) Por (H8), inferimos que x (x y) (x x) (x y), utilizando (H6) tenemos que x (x y) 1 (x y). Luego, por (H13), x (x y) x y. Como por (H7) x y x (x y), tenemos que x (x y) = x y. (H17) Por (H15) tenemos que (x y) ((y x) x) = (y x) ((x y) x). Utilizando (H6) y (H8), concluimos que 1 = (x y) (x y) ((x y) x) ((x y) y). Entonces, por (H9) obtenemos que ((x y) x) ((x y) y) 1 = 1, entonces ((x y) x) ((x y) y) 1. Luego, ((x y) x) ((x y) y) = 1, así (x y) x (x y) y. Utilizando (H11), inferimos (y x) ((x y) x) (y x) ((x y) y). Por lo tanto, (x y) ((y x) x) (y x) ((x y) y). Además, por (H15), (y x) ((x y) y = (x y) ((y x) y) y entonces, a partir de (H6) y (H8), inferimos que 1 = (y x) (y x) ((y x) y) ((y x) x). Luego, por (H9), ((y x) y) ((y x) x) 1 = 1. Entonces, (y x) y (y x) x. Luego, por (H10) obtenemos que (x y) ((y x) y) (x y) ((y x) x), entonces (y x) ((x y) y) (x y) ((y x) x). Por lo tanto, (x y) ((y x) x) = (y x) ((x y) y). (H18) Por (H8), y x y, entonces de (H14), (x y) z (y z). Utilizando (H10), x ((x y) z) x (y z). Entonces, de (H15), (x y) (x z) x (y z). Luego, por (H8), x (y z) (x y) (x z). Por lo tanto, x (y z) = (x y) (x z). (H19) Por (H15) (x y) (((x y) y) y) = ((x y) y) ((x y) y), y por (H6) ((x y) y) ((x y) y) = 1, por lo tanto, por (H5) x y ((x y) y) y. Veamos ahora la otra desigualdad. Por (H15) (((x y) y) y) (x y) = x ((((x y) y) y) y), y por (H18) x ((((x y) y) y) y) = (x (((x y) y) y)) (x y), y nuevamente por (H18) (x (((x y) y) y)) (x y) = ((x ((x y) y)) (x y)) (x y), de esta forma, por (H15) ((x ((x y) y)) (x y)) (x y) = (1 (x y)) (x y), y

17 9 por (H13), (1 (x y)) (x y) = (x y) (x y), además, por (H6), (x y) (x y) = 1, luego por (H5), ((x y) y) y x y. Por lo tanto ((x y) y) y = x y. En [24] se probó que la clase de las álgebras de Hilbert es una clase ecuacional y por lo tanto constituye una variedad. El siguiente teorema nos muestra las ecuaciones que definen a la clase. Teorema Sea (A,, 1) un álgebra de tipo (2, 0). Entonces, las siguientes condiciones son equivalentes: (i) A H. (ii) A verifica: (D1) x x = 1. (D2) 1 x = 1. (D3) x (y z) = (x y) (x z). (D4) (x y) ((y x) x) = (y x) ((x y) y) Demostración: (i) (ii) Inmediato de las propiedades (H6), (H13), (H18) y (H17) demostradas en el Lema (ii) (i) (H1) Por (D3), x (y x) = (x y) (x x). Y nuevamente por (D3) tenemos que (x y) x = ((x y) x)) ((x y) x) Luego, por (D1) ((x y) x)) ((x y) x) = 1. Por lo tanto, x (y x) = 1. (H2) Por (D1), (x (y z)) (x (y z)) = 1, y como por (D3), x (y z) = (x y) (x z) entonces, (x (y z)) ((x y) (x z)) = 1.

18 10 (H3) Por hipótesis, x y = y x = 1. Por (D4), (x y) ((y x) x) = (y x) ((x y) y), entonces 1 (1 x) = 1 (1 y). Luego, por (D2), 1 x = 1 y, y nuevamente por (D2), x = y Sistemas deductivos y núcleos de un homomorfismo Definición Sea A un álgebra de Hilbert y D A. Diremos que D es un sistema deductivo (S.D.) si verifica: D 1 ) 1 D, D 2 ) Si x, x y D, entonces y D. Notaremos con D(A) al conjunto de todos los sistemas deductivos de A. Por otra parte, si A, B son dos álgebras de Hilbert notaremos con Hom(A, B) al conjunto de los homomorfismos de A en B. Definición Sean A, B H, h Hom(A, B). Llamaremos Núcleo de h, y lo notaremos Nuc(h), al conjunto Nuc(h) = {x A : h(x) = 1}. A 1 h 1 B Lema Si A, B H, h Hom(A, B), entonces Nuc(h) D(A). Demostración: D 1 ) Como h Hom(A, B), entonces h(1) = 1. Por lo tanto 1 Nuc(h).

19 11 D 2 ) x, x y Nuc(h), entonces h(x) = 1 y h(x y) = 1. Como h Hom(A, B), h(x y) = h(x) h(y), luego h(x) h(y) = 1. Por (H4) h(y) = 1. Por lo tanto y Nuc(h). Observación Es claro que Nuc(h) = {x A : h(x) = 1} = h 1 ({1}). Notaremos Ref(X), Sim(X), T ran(x) y EQ(X) al conjunto de todas las relaciones reflexivas, simétricas, transitivas y de equivalencias definidas sobre un conjutnto X respectivamente. Definición Sea A un álgebra de Hilbert y R EQ(A). Diremos que R es una congruencia sobre A, si R es una relación de equivalencia sobre A y, además, es compatible con las operaciones de implicación. Es decir, si (a, b), (c, d) R y la operación binaria, entonces (a c, b d) R. Indicaremos con Con(A) al conjunto de todas las congruencias de A. Lema Sean A, B H, h Hom(A, B), entonces R h Con(A). Con R h = {(x, y) A 2 : h(x) = h(y)}. Demostración: Debemos probar que R h es una relación de equivalencia. (EQ1) Sea x A, como h Hom(A, B), entonces h(x) = h(x), por lo tanto (x, x) R h. (EQ2) Por hipótesis (x, y) R h, entonces h(x) = h(y), lo que es igual a decir que h(y) = h(x), por lo tanto (y, x) R h. (EQ3) Por hipótesis (x, y), (y, z) R h, entonces h(x) = h(y) y h(y) = h(z), luego h(x) = h(z). Por lo tanto (x, z) R h. Por hipótesis ar h b y cr h d, entonces h(a) = h(b) y h(c) = h(d). Luego h(a) h(c) = h(b) h(d). Como h Hom(A, B), entonces h(a c) = h(b d). Por lo tanto (a c)r h (b d).

20 12 Lema Sea A un álgebra de Hilbert y D un sistema deductivo de A. Entonces, si x y, y z D implica x z D. Demostración: Por (H1) sabemos que (y z) (x (y z)) = 1, y como por D 1 ), 1 D, y por hipótesis y z D, por D 2 ), x (y z) D. Además, por (H18), x (y z) = (x y) (x z), entonces (x y) (x z) D, luego como por hipótesis x y D, entonces, por D 2 ), x z D. Teorema Si A es un álgebra de Hilbert, entonces D(A) con la inclusión es isomorfo al retículo de todas las congruencias sobre A. El isomorfismo en cuenstión es h : D(A) Con(A) que verifica D h(d) = {(a, b) A A : a b, b a D} y su inversa es h 1 : Con(A) D(A) tal que Θ h 1 (Θ) = {a A : (a, 1) Θ}, donde h 1 (Θ) D(A). Demostración: Sea Θ = {(a, b) A A : a b, b a D}. (i) Reflexiva: Por (H6) tenemos que 1 = a a D. Luego (a, a) Θ. (ii) Simétrica: Inmediata de la definición. (iii) Transitiva: (1) Sea (a, b), (b, c) Θ, [hip.] (2) a b, b a, b c, c b D, [(1)] (3) a 1 = 1, [(H9)] (4) (b c) (b c) = 1, [(H6)] (5) a ((b c) (b c)) = 1, [(3),(4)] (6) (b c) (a (b c)) = 1, [(5),(H15)] (7) (b c) ((a b) (a c)) = 1, [(6),(H18)] (8) (a b) (a c) D, [(2),(7),D 1,D 2 ]

21 13 (9) a c D. [(8),(2),D 2 ] Análogamente se puede probar que c a D. (iv) Θ respeta a. (1) Sea (a, b), (d, c) Θ, (2) a 1 = 1, [(H9)] (3) a ((b c) (b c)) = 1, [(2),(H6)] (4) (b c) (a (b c)) = 1, [(3),(H15)] (5) (b c) ((a b) (a c)) = 1, [(4),(H18)] (6) (a b) ((b c) (a c)) = 1 D, [(5),(H15)] (7) (b c) (a c) D [(1),(6),D 2 ] Por un razonamiento análogo de (1) a (6) tenemos que: (8) (c d) ((a c) (a d)) = 1 D, (9) (a c) (a d) D, [(1),(8)] (10) (b c) (a d) D. [(7),(9),Lema 1.2.7] Análogamente se prueba que (a d) (b c) D. Por lo tanto, (a d)θ(b c). (v) Veamos que [1] Θ = D, (1) Sea x [1] Θ, [hip.] (2) xθ1, [def Θ, (1)] (3) x 1, 1 x D, [(2)] (4) x D. [(3), Lema 1.2.7] Recíprocamente,

22 14 (1) Sea x D, [hip.] (2) x 1 = 1 y 1 x = x, [(H9),(H13)] (3) x 1, 1 x D, [(1),(2),D 1 ] (4) xθ1, [(3)] (5) x [1] Θ, [(4),def Θ] Luego, tenemos: D(A) Con(A) D(A) D Θ [1] Θ = D Para completar la caracterización de las congruencias resta probar que si Θ Con(A) se tiene que [1] Θ D(A) y Θ([1] Θ ) = Θ. (i) Es claro que 1 [1] Θ, veamos que respeta la regla de D 2 (1) Sea x [1] Θ, [hip.] (2) Sea x y [1] Θ. [hip.] (3) x y Θ 1, [(2)] (4) (x y) y Θ 1 y, [(3), Θ Cong.] (5) x ((x y) y) Θ (1 y), [(1), xθ1, Cong.] (6) 1 Θ y, [(5),(H12)] (7) y [1] Θ, Luego, [1] Θ es un sistema deductivo. Probemos que se verifica Θ([1] Θ ) = Θ. (ii) Θ([1] Θ ) = Θ, es claro que

23 15 Θ([1] Θ ) = {(x, y) : x y, y x [1] Θ } = {(x, y) : x y Θ 1, y x Θ 1}. (a) Veamos que Θ Θ([1] Θ ) (1) sea (x, y) Θ, [hip.] (2) x Θ y, [hip.] (3) x x Θ x y, [(2), Θ Con(A)] (4) 1 Θ x y, [(3)] (5) y x Θ y y, [(2)] (6) y x Θ 1, [(5)] (7) x y, y x [1] Θ, [(4),(6)] (8) (x, y) Θ([1] Θ ), (b) Θ([1] Θ ) Θ. (1) Sea (x, y) Θ([1] Θ ), [hip.] (2) x y Θ 1, [(1)] (3) y x Θ 1, [(1)] (4) (y x) x Θ (y x) x, [Θ Con(A)] (5) (x y) y Θ (x y) y, [Θ Con(A)] (6) (x y) ((y x) x) Θ 1 ((y x) x), [(2),(4),Θ Con(A)] (7) (x y) ((y x) x) Θ (y x) x, [(6),(H13)] (8) (y x) ((x y) y) Θ 1 ((x y) y), [(3),(5),Θ Con(A)] (9) (y x) ((x y) y) Θ (x y) y, [(8),(H13)] (10) (x y) y Θ (y x) x, [(7),(9),Θ Con(A)] (11) x Θ x, [Θ Con(A)] (12) (y x) Θ 1 x, [(3),Θ Con(A)] (13) (y x) x Θ x, [(12),(H13)]

24 16 (14) y Θ y, [Θ Con(A)] (15) (x y) y Θ 1 y, [(2),(14),Θ Con(A)] (16) (x y) y Θ y, [(15),(H13)] (17) x Θ y, [(10),(13),(16),Θ Con(A)] (18) (x, y) Θ. [(17)] Luego, tenemos: Con(A) D(A) Con(A) Θ [1] Θ = D Θ([1] Θ ) = Θ Por lo tanto, tenemos probado que la función h del enunciado es tal que h h 1 = I D(A) y h 1 h = I Con(A). Luego, h es biyectiva. Solo resta probar que si D 1 y D 2 D(A) es tal que D 1 D 2 entonces h(d 1 ) h(d 2 ). Para ello consideramos D 1, D 2 D(A), tales que D 1 D 2. Sea (a, b) h(d 1 ), entonces a b, b a D 1, como D 1 D 2, entonces a b, b a también pertenecen a D 2, de esta forma (a, b) h(d 2 ). Por lo tanto h(d 1 ) h(d 2 ) Álgebras de Hilbert trivalentes Es bien sabido que las álgebras de Hilbert constituyen la contraparte algebraica del cálculo implicativo positivo y están caracterizados con los axiomas esquemas siguientes: (E1) α (β α), (E2) (α (β γ)) ((α β) (α γ)). La regla de inferencia modus ponens (R) α, α β. β

25 17 Ivo Thomas en [39] consideró el cálculo implicativo positivo n-valuado como un cálculo cuya matriz característica (C n,, 1) donde: y C n = {0, 1 n 1, 2 n 1,, n 2 n 1, 1} 1 si x y x y =. y y < x Tomando D = {1} como el conjunto de valores distinguidos. Este autor probó que se debe agregar el siguiente axioma: (E3) T n (α 0,, α n 1 ) = β n 2 (β n 3 ( (β 0 α 0 ) )), donde β i = (α i α i+1 ) α 0 para todo i, 0 i n 2. En particular, el caso n = 3 tiene a C 3 definida por: = {0, 1, 1} y la implicación puede ser Tabla 1 Es claro que las álgebras de Hilbert trivalentes se definen como álgebras de Hilbert que verifican (IT3) ((x y) z) ((z x) z) z) = Álgebras de Lukasiewicz de orden 3 Por otro lado, G. Moisil introdujo a las álgebras de Lukasiewicz 3-valentes como los modelos algebraicos de la lógica trivalorada propuesta por Lukasiewicz ([33]). Recordemos que un álgebra de Lukasiewicz 3-valente es un álgebra (A,,,,, 0, 1) que satisface los siguientes identidades:

26 18 (L0) x 1 = 1, (L1) x (x y) = x, (L2) x (y x) = (z x) (y x), (L3) x = x, (L4) (x y) = x y, (L5) x x = 1, (L6) x x = x x, (L7) (x y) = x y, Para algunos aspectos técnicos y propiedades de las álgebras de Lukasiewicz 3-valentes se puede consultar [36]. Además, es bien sabido que las álgebras (A,,,, 0, 1) que satisfacen de (L0) a (L4) son álgebras de De Morgan (ver, por ejemplo, [5, Definition 2.6]). La matriz característica de dicha lógica tiene operaciones,,, (operador de posibilidad) y (operador de necesidad) sobre C 3 = {0, 1, 1} que estan definidos por las 2 siguientes tablas: Tabla 2 x x x x Tabla 3

27 19 Antonio Monteiro en 196? probó que la implicación definida en la Tabla 1 puede obtenerse a partir de las operaciones,,, y por medio de la fórmula: x y = x y ( x y) x y x y x x x y x y x y x y ( x y) Tabla 4 y además se verifica que x = (x x) x. x x x x x (x x) x Tabla 5 A partir de estas consideraciones M. C. Canals Fou y A.V. Figallo en [10] se propusieron estudiar algebraicamente el fragmento (C 3,,, D = {1}). A las estructuras algebraicas correspondientes las llamaron álgebras de Hilbert trivalentes modales.

28 20 2. Capítulo II 2.1. Álgebras de Hilbert trivalentes modales En esta sección desarrollaremos detalladamente el contenido de [10], expondremos las demostraciones faltantes y modernizaremos la presentación. Además, nos proponemos encontrar una lógica que sea la contraparte algebraica de las Álgebra de Hilbert trivalentes modales. Definición Un álgebra (A,,, 1) de tipo (0, 1, 2) es una álgebra de Hilbert trivalente modal (o H 3 -álgebra) si el reducto (A, 1) es un álgebra de Hilbert trivalente y verifica las siguientes igualdades: (M1) x x = 1, (M2) ((y y) (x x)) (x y) = x y, (M3) ( x y) x = x. El ejemplo más simple de H 3 -álgebra donde no es el operador identidad es (C 3, 1,, ) donde C 3 está definido por las tablas 4 y 2 respectivamente. Notaremos con H 3 a la variedad de todas las H 3 -álgebras. Lema Las siguientes propiedades se satisfacen en toda álgebra que pertenece a la variedad H 3.

29 21 (M4) 1 = 1, (M5) x = x, (M6) ((y y) (x x)) (x y) = x y, (M7) (x x) = x x, (M8) (x y) ( x y) = 1, (M9) ( x y) = x y, (M10) Si x y entonces x y, (M11) (x (x y)) = (x y), (M12) (Definición) x = (x x) x, (M13) x = (x x) x, (M14) x x, (M15) x = x, (M16) Si x = x, entonces x = x, (M17) (x (x y)) = x (x y), (M18) x (x y) = (x (x y)), (M19) x (x y) = (x y), (M20) x y (x y), (M21) Si x = y, x = y, entonces x = y, (M22) ( y (x x)) y = y, (M23) (x x) ((x y) y) = (x ( y x)) ((x y) y)), (M24) (x ( y x)) ((x y) y) = (x y) y,

30 22 (M25) (x x) y (x y) y, (M26) Si x y, entonces x y, (M27) x (x y) = (x y), (M28) x ((x y) y) = 1, (M29) x y = (x y), (M30) (x y) = x y, (M31) x (((y y) x) (((x x) y) (x y))) = 1, (M32) ((y y) x) (((x x) y) (x y)) = 1, (M33) x = x, (M34) x = x. Demostración: (M4) Utilizando la propiedad (M2) remplazando x por 1 e y por 1 obtenemos ((1 1) ( 1 1)) ( 1 1) = 1 1. Además (H6) sabemos que 1 1 = 1, por (H13) 1 1 = 1 y por (H9) 1 1 = 1. Por lo tanto ( 1 ( 1 1)) 1 = 1. Por (H16) sabemos que 1 ( 1 1) = 1 1 y remplazando en (M3)a y por 1 y a x por 1 tenemos 1 = 1. (M5) Por (M1) sabemos que x x = 1, pues remplazamos a x por x. Además, remplazando en (M2) a y por x tenemos ((x x) (x x)) (x x) = x x, por (H6) tenemos ((x x) (x x)) 1 = x x, luego por (M4) ((x x) (x x)) 1 = x x. Por (H9) tendremos que 1 = x x, y para finalizar, como tenemos que x x = 1 y x x = 1, por (H3) concluimos que x = x. (M6) Por (M2) sabemos que ((y y) (x x)) (x y) = x y, y como por (M5) x = x, o lo que es equivalente y = y, entonces ((y y) (x x)) (x y) = x y.

31 23 (M7) Por (M1), remplazando x por x x tenemos que (x x) (x x) = 1. Luego por (H6) y (M5) x x = 1, así por (H13) (x x) (x x) = (( x x) (x x)) (x x). Pero esto, por (M5), es igual a (( x x) (x x)) (x x), que resulta de remplazar y por x en (M2). Por lo tanto (x x) (x x) = x x y por (M5) y (H6) resulta que (x x) (x x) = 1. Para finalizar, tenemos (x x) (x x) = 1 y (x x) (x x) = 1, por lo tanto, por (H3) (x x) = x x. (M8) Por (M5) (x y) ( x y) = (x y) (((y y) (x x)) (x y)) y por (H1), remplazando a x por (x y) y a y por (y y) (x x), tenemos que (x y) ( x y) = 1. (M9) Por (M5) x y) = x y, y remplazando a x por x en (M6) tenemos que x y = ((y y) ( x x)) ( x y) Por (M5) y (H6) (y y) ( x x) = 1, por lo tanto x y = 1 ( x y) y por (H9) x y = ( x y). (M10) Por (H5) podemos afirmar que x y = 1, así (x y) = 1, y por (M4) (x y) = 1. Luego, de (M8) sabemos que (x y) ( x y) = 1, entonces 1 ( x y) = 1, y por (H13) x y = 1, luego nuevamente por (H5), x y. (M11) Por (H1), remplazando a x por (x y) y a y por x tenemos (x y) (x (x y)) = 1, y por (H5) podemos afirmar que (x y) x (x y). Luego por (M10) (x y) (x (x y)) y por (M5) obtenemos (x y) (x (x y)). Probaremos a continuación la otra desigualdad. Por (M1), remplazando x por x y tenemos (x y) (x y) = 1, que por (H5) podemos expresar como (x y) x y. De (H10) deduciremos que x (x y) x (x y), y luego, por (H16), x (x y), y por (M10) (x (x y)) (x y). Para finalizar, como tenemos que (x y) (x (x y)) y (x (x y)) (x y), por (H3) (x (x y)) = (x y). (M12) Lo definimos de ese modo, por lo tanto no debemos demostrarlo.

32 24 (M13) Por (M1) sabemos que x x = 1, que por (H5) es equivalente a x x, luego por (H10) (x x) x (x x) x, y por (M12) tenemos que x (x x) x. Veamos ahora la otra desigualdad. Por (H6) sabemos que (x x) (x x) = 1, y por (H18), tomando a x como x x, y como x y z como x, tenemos que ((x x) x) ((x x) x) = 1, luego por (H5) (x x) x (x x) x, y por (M12) es equivalente a (x x) x x. Así por (H3) x = (x x) x. (M14) Por (H7), tomando y como x x tenemos que x (x x) x, y por (M13) tenemos que x x. (M15) Por (M13) x = ((x x) x), luego por (M7), x = ( (x x) x), y por (M9) podemos afirmar que x = (x x) x. Para finalizar, nuevamente por (M7), x = (x x) x, por lo tanto, por (M12), x = x. (M16) Sea x = x, entonces por (M12) x = (x x) x, utilizando nuevamente la igualdad tenemos que x = ( x x) x y, por (M15), x = ( x x) x, luego por (H6), x = 1 x. Así, por (H13), tenemos que x = x. (M17) Sabemos que ((x y) y) y = x y, por ello x (x y) = ((x (x y)) (x y)) (x y), luego por (M12) (x (x y)) = ((x (x y)) (x (x y))) (x (x y)), así por (M11) tendremos ((x (x y)) (x y)) (x y), y por la propiedad mencionada al principio, remplazando y por (x y), (x (x y)) = x (x y). (M18) Por (M15) (x (x y)) = (x (x y)), entonces, por (M17) (x (x y)) = (x (x y)). (M19) Por (M18) x (x y) = (x (x y)), luego, por (M11), x (x y) = (x y). (M20) Por (M19) (x y) (x y) = (x y) (x (x y)), y por (H18) (x y) (x y) = x ( y (x y)), además por (H15) y (x (x y)), así por (M19) y (x y). Además por (H7), y x y entonces,

33 25 por (M10), y (x y), de esta forma, por (H5) y (x y) = 1, por lo tanto (x y) (x y) = 1, y nuevamente por (H5) (x y) (x y). (M21) Por (M6) y (H6) ((y y) (x x)) (x y) = 1, y por (M1), (H10) y (H5) ((y y) (x x)) (x y) ((y y) (x x)) (x y). Entonces 1 = ((y y) (x x)) (x y), luego por (H15) y (H18) 1 = x (((y y) x) y), y como x = y, 1 = x (((y y) y) y), luego por (M12) y la igualdad x = y tenemos que 1 = x ( x y), así, por (M14), (H18) y (H13), 1 = x y, por lo tanto, por (H5), x y. Análogamente podemos probar que y x. Por lo tanto, x = y. (M22) Por (M7) (( y (x x)) y) = (( y (x x)) y), luego por (M9) (( y (x x)) y) = ( ( y (x x)) y), y nuevamente por (M9) (( y (x x)) y) = ( y (x x)) y, y (( y (x x)) y) = ( y (x x)) y, así, por (M3) (( y (x x)) y) = y. Por otro lado, por (M12), (( y (x x)) y) = ((( y (x x)) y) (( y (x x)) y)) (( y (x x)) y), luego por (M7) y (M9), (( y (x x)) y) = ((( y (x x)) y) ( ( y (x x)) y)) (( y (x x)) y), y por (M7), (M9) y (H18), (( y (x x)) y) = ( y (x x)) ((y y) y). Luego, por (M12), (( y (x x)) y) y = (( y (x x)) ((y y) y)) ((y y) y), y por (H15) y (H18) (( y (x x)) y) y = (y y) ((( y (x x)) y) y), y por (M7) y (M13), (( y (x x)) y) y = (y y) ( y y), por lo tanto, por (H6) y (H9), (( y (x x)) y) y = 1, luego por (H5), (( y (x x)) y) y. Más aún, y (( y (x x)) y) = y (( y (x x)) ((y y) y), luego por (M13) y (H1), y (( y (x x)) y) = y (( y (x x)) y) = 1. Luego por (H5), y (( y (x x)) y), entonces (( y (x x)) y) = y, así, por (M21) ( y (x x)) y = y. (M23) Por (H15) sabemos que (x x) ((x y) y) = (x y) ((x x) y), y por (H18) (x y) ((x x) y) = ((x y) (x

34 26 x)) ((x y) y). Nuevamente por (H18) ((x y) (x x)) ((x y) y) = (x ( y x)) ((x y) y). (M24) Utilizando (H15) de forma reiterada podemos afirmar que ((x ( y x)) ((x y) y)) ((x y) y) = ((x y) ((x ( y x)) y)) ((x y) y) = (x y) (((x ( y x)) y) y) = ((x ( y x)) y) ((x y) y) = (( y (x x)) y) ((x y) y), luego por (M22) (( y (x x)) y) ((x y) y) = y ((x y) y) y por (H1) y ((x y) y) = 1, luego por (H5) (x ( y x)) ((x y) y) (x y) y. Para probar la otra desigualdad utilizamos (H1) tomando a x como (x y) y y a y como x ( y x), de esta forma ((x y = y) ((x ( y x)) ((x y) y)) = 1, por lo tanto, por (H5), (x y) y (x ( y x)) ((x y) y). De esta forma obtenemos que (x y) y = (x ( y x)) ((x y) y). (M25) Por (M24), ((x x) y) ((x y) y) = ((x x) y) ((x ( y x)) ((x y) y)), luego por (M23) ((x x) y) ((x ( y x)) ((x y) y)) = ((x x) y) ((x x) ((x y) y)), y por (H15), ((x x) y) ((x x) ((x y) y)) = ((x x) y) ((x y) ((x x) y)), pero por (H1), ((x x) y) ((x y) ((x x) y)) = 1, por lo tanto (x x) y (x y) y. (M26) Como x y, por (H14), y y x y, entonces (x y) y (y y) y, luego por (M13), (x y) y y. Como x y, por (H10) (x x) x (x x) y, entonces por (M13) x (x x) y, pero por (M25) tenemos que, x (x y) y, por lo tanto x y. (M27) Por (M13), x (x y) = x (((x y) (x y)) (x y)), luego por (H15), x (((x y) (x y)) (x y)) = ((x y) (x y)) (x (x y)), y por (H16) ((x y) (x y)) (x (x y)) = ((x y) (x y)) (x y), que por (M13) es igual a (x y). (M28) Por (H12) sabemos que x ((x y) y) = 1, entonces por (H5) x (x y)

35 27 y, luego por (M26), x ((x y) y), entonces, por (H5), x ((x y) y) = 1. (M29) Por (H7), y x y, entonces por (M26), y (x y), luego por (H10), x y x (x y), luego por (M27), x y (x y). Probemos ahora la otra desigualdad. Por (M1) y (H5), y y, luego por (H10), x y x y, así por (M10), (x y) (x y). Por (M7), x y (x y) entonces, por (H10), (x y) (x y) (x y) (x y), y por (H14), ((x y) (x y)) (x y) ((x y) (x y)) (x y), de esta forma, por (M13), (x y) ((x y) (x y)) (x y). Por (H18) tenemos que, (x y) ((x y) (x y)) (x y) = x ((y y) y), luego por (M13), (x y) x y. Por lo tanto, x y = (x y). (M30) Por (M14) y (H14) sabemos que x y x y, luego por (M26), ( x y) (x y), además, como por (H7) y x y, entonces por (M26) y ( x y), luego por (H10) y (M27), x y ( x y), así, x y (x y). Por otro lado, por (M29), (x y) ( x y) = (x y) ( x y), y por (M13) es igual a (x ((y y) y)) ( x ((y y) y)), que por (H10) es igual a ((y y) (x y)) ((y y) ( x y)), luego por (H18) tenemos que es igual a (y y) ((x y) ( x y)). Luego por (H15), (y y) ((x y) ( x y)) = (y y) ( x ((x y) y)) = x ((y y) ((x y) y)) = x ((x y) ((y y) y)), luego por (M13), x ((x y) ((y y) y)) = x ((x y) y), luego por (M29), x ((x y) y) = x ((x y) y), que es igual a 1 por (M28), por tanto por (H5) tenemos la otra desigualdad, concluyendo que (x y) = x y. (M31) Por (H18), x (((y y) x) (((x x) y) (x y)) = (x ((y y) x)) (x (((x x) y) (x y))), luego por (H15) es igual a ((y y) (x x)) (x (((x x) y) (x y))), utilizando (H18), (M9), (H18) y (H16) respectivamente llegamos a que es igual a ((y y) (x x)) (((x x) (x y)) (x y)), luego por (H18) y (H15) = (x ( x y)) (((y y) (x x)) (x y)), y por (M6), = (x ( x y)) ( x y). Así por (H15), (x ( x

36 28 y)) ( x y) = ( x (x y)) ( x y), y por (H18), ( x (x y)) ( x y) = ( x x) ( x y) ( x y), y por (M1) y (H13), es igual a ( x y) ( x y) que por (H6), es igual a 1. (M32) Utilizando (M31), (H15) y (M19) se puede ver con facilidad. (M33) Por (M14) y (M26), x x, luego para la otra desigualdad, por (M13) tenemos que, x x = (( x x) x) x, luego por (M15) esto es igual a (( x x) x) x, que por (H6), (H13) y (H6) es igual a 1, por lo tanto x = x. (M34) Por (M14) x x, luego para la otra desigualdad, por (M13), x x = (( x x) x) x, luego por (M5) esto es igual a (( x x) x) x, y por (H6), (H13) y (H6) esto es igual a 1, por lo tanto, por (H5) se cumple la otra desigualdad, así, x = x Sistemas deductivos modales y congruencias Definición Sea A una H 3 -álgebra y D A. Diremos que D es un Sistema Deductivo Modal (S.D.M.) si es un S.D. que satisface: D 3 ) Si x D, entonces x D Propiedades A continuación presentaremos propiedades de los sistemas deductivos modales. Dado un H 3 -álgebra A y H A, notaremos con [H) al sistema deductivo generado por H y con [H) m al sistema deductivo modal generado por H. Es bien sabido que [H) = {x A : existen h 1,, h k H tal que h 1 (h 2 (h k x) ) = 1} (ver [37, Teorema 4.2.1]). Por otra parte, Busneag en su tesis doctoral ([7]), estudió detalladamente a las álgebras de Hilbert acotadas. Con el propósito de describir propiedades de los sistemas deductivos en las álgebras de Hilbert y de Hilbert acotadas, introdujo la siguiente notación utilizada con frecuencia por diferentes autores:

37 29 x n si n = 1 (x 1,..., x n 1 ; x n ) = x 1 (x 2,..., x n 1 ; x n ) si n > 1. Luego podemos escribir [H) = {x A : existen h 1,..., h k D 1 tal que (h 1,..., h k ; x) = 1}. Proposición Sea A una H 3 -álgebra, H A y a A. Entonces se verifican las siguientes condiciones: (i) [H) m = {x A : existen h 1,, h k H tal que ( h 1,..., h k ; x) = 1}, (ii) [a) m = [ a), donde [b) es la notación de [{b}), (iii) [H {a}) m = [H, a) m = {x A : a x [H) m }. Demostración: (i) ) Sea w [H) m. Veamos que w {x A : existen h 1, h 2,..., h k H : ( h 1, h 2,..., h k ; x) = 1}. Como [H) m es un S.D.M. entonces es fácil verificar que [H) m [H). Luego, existen h 1,..., h k H tales que (h 1,..., h k ; w) = 1, es decir, h 1 (h 2 (... (h k w)...) = 1. Teniendo en cuenta (M4), tenemos que (h 1 (h 2 (... (h k w)...) = 1 = 1, y por (M8) y (H5), obtenemos que (h 1 (h 2 (... (h k w)...) h 1 (h 2 (h 3 (... (h k w)...) h 1 ( h 2 (h 3 (... (h k w)...)... ( h 1,..., h 2 ; w). Luego, ( h 1,..., h 2 ; w) = 1, y por lo tanto w H. Por otro lado, de (M1) y (H5) inferimos que w w. Del razonamiento anterior y (H10) podemos escribir h k w h k w. Repitiendo el razonamiento tenemos que h k 1 ( h k w) h k 1 ( h k w. Luego, es claro que 1 = ( h 1, h 2,..., h k ; w) ( h 1, h 2,..., h k ; w). Por lo tanto, w [H) m. ) Sea w {x A : existen h 1, h 2,..., h k Htalesque( h 1, h 2,..., h k ; x) = 1}, entonces existen h 1,..., h k Htalque( h 1,..., h k ; w) = 1. Entonces, es claro que h 1,..., h k [H) m y por D 3 ) inferimos que h 1,..., h k [H) m. Además, por D 1 ) ( h 1,..., h k ; w) = 1 [H) m. De esta forma, por D 2 )

38 30 obtenemos que: ( h 2,..., h k ; w) [H) m. Como h 2 [H) m y aplicando D 2 ) concluimos ( h 3,..., h k ; w) [H) m Repitiendo este razonamiento obtenemos w [H) m, lo que completa la prueba. (ii) Inmediato de (i) y las definiciones de S.D. generado. (iii) Por (i) sabemos que [H {a}) m = {x A, tal que existen h 1,..., h k H {a} : (h 1,..., h k ; x) = 1}. ) Sea w [H {a}) m, entonces existen h 1,..., h k H {a} tal que (h 1,...h k ; w) = 1 Supongamos h i = a para algún i, entonces ( h 1,..., h i 1, a, h i+1..., h k ; w) = 1, y por (H15) tenemos que: ( h 1,..., h i 1, h i+1, a,..., h k ; w) = 1, repitiendo el razonamiento obtenemos ( h 1,..., h i 1, h i+1,..., h k, a; w) = 1. Luego, por notación podemos escribir ( h 1,..., h i 1, h i+1,..., h k ; a w) = 1, de lo que concluimos a w [H) m, y por lo tanto w {x A : a x [H) m }. Supongamos h 1 a para todo i entonces ( h 1,..., h k ; w) = 1. Como a 1, por (H14) 1 w a w, y por (H13) w a w, luego por (H10) tenemos que: h k w h k ( a w), h k 1 ( h k w) h k 1 ( h k ( a w)),. ( h 1,.., h k ; w) ( h 1,..., h k ; a w), por lo tanto ( h 1,..., h k ; a w) = 1, entonces a w [H) m, luego, w {x A : a x [H) m }. ) Sea w {x A : a x [H) m }. Entonces existen h 1,..., h k H tales que ( h 1,..., h k ; a w) = 1, es decir ( h 1,..., h k, a; w) = 1, por lo tanto w [H {a}) m.

39 31 Lema Sea A un H 3 -álgebra. ( i) Sea D A un S.D.M. entonces, la relación R D = {(x, y) : x y D, y x D} es una congruencia sobre A y R D (1) = D. ( ii) Si R es una congruencia sobre A, entonces R(1) es un S.D.M. de A y R R(1) = R. Demostración: i) Por el Teorema 1.2.8, sabemos que R D EQ(A), respeta la operación y R D (1) = D. Resta probar que respeta la operación. Sea (x, y) R D, x y, y x D. Por D 3 ), tenemos (x y) D, y por (M8) (x y) ( x y) = 1, entonces por D 2 ), x y D. De marera análoga y x D, por lo tanto ( x, y) R D. ii) Veamos que se verifcan D 1 ), D 2 ) y D 3 ). Por el Teorema sabemos que R es S.D. Solo resta probar D 3 ). En efecto, sea x R(1), entonces xr1. Luego, como R respeta la operación, xr 1 = 1, y por lo tanto x R(1). Por lo tanto, R(1) es un S.D.M. de A. Del Teorema es inmediato que R R(1) = R, lo que completa lademostración. Corolario El retículo de las congruencias sobre un H 3 -álgebra A es isomorfa al retículo de los sistemas deductivos modales de A. Demostración: Inmediato del Teorema y el Lema Sistemas deductivos débiles, ligados y maximales Definición Sea A un H 3 -álgebra. Llamaremos implicación débil a la operación binaria definida sobre A por la prescripción x y = x y. Además, si D A diremos que D es un sistema deductivo débil (o S.D.D.) si verifica (D 1 ) 1 D y (D 2) Si x, x y D, entonces y D. Lema Las siguientes propiedades se verifican en toda H 3 -álgebra:

40 32 C1) x (y x) = 1, C2) (x (y z)) ((x y) (x z)) = 1, C3) ((x y) x) x = 1, C4) 1 x = x, C5) x (x y) = x y, C6) x x = 1, C7) x (y z) = y (x z). Demostración: C1) Por la definición sabemos que x (y x) = x ( y x) = x ( y x), luego por (H15) = y ( x x), y por (M1), = y 1 que por (H9) es igual a 1. C2) Utilizando la definición, tenemos que (x (y z)) ((x y) (x z)) = (x ( y z)) (( x y) ( x z)) = ( x ( y z)) ( ( x y) ( x z)) = ( x ( y z)) ( ( x y) ( x z)), luego por (M9) esto es igual a ( x ( y z)) (( x y) ( x z)) = ( x ( y z)) (( x y) ( x z)), luego por (H18) esto es igual a ( x ( y z)) ( x ( y x)) = ( x (( y z) ( y z)) = x ( y ( z z)), y por (M1) y (H9) tenemos que es igual a x ( y 1) = x 1 = 1. C3) Por la definición, ((x y) x) x = ((x y) x) x = ( (x y) x) x = ( ( x y) x) x, luego por (M9) esto es igual a ( ( x y) x) x = (( x y) x) x, luego por (M3) esto es igual a x x que es igual a 1 por (M1). C4) Por la definición 1 x = 1 x, y por (M4) y (H13) es igual a x. C5) Por la definición, x (x y) = x (x y), y por (H18) esto es igual a ( x x) ( x y), luego por (M1), = 1 ( x y), y por (H13) = x y que es igual a x y.

41 33 C6) x x = x x por la definición, y por (H6) esto es igual a 1. C7) Por la definición de y (H15) inducimos que x (y z) = x ( y z) = y ( x z) = y (x z) Lema Sea A una H 3 -álgebra y D A. Entonces las siguientes condiciones son equivalentes: (i) D es un Sistema Deductivo Modal, (ii) D es un Sistema Deductivo Débil. Demostración: (i) (ii) Sea D A un S.D.M., entonces solo debemos probar D 2). Supongamos que x, x y D. Como x y D entonces x y D, y como x D entonces por D 3 ), x D, luego por D 2 ) y D. Por lo tanto D es un S.D.D. (ii) (i) Sea D A un S.D.D. Es claro que D 1 ) se verifica. Sea x D, veamos que x D. En efcto, como x x = x x = 1 entonces x x D, por lo tanto x D, es decir, se cumple D 3 ). Sean x, x y D. Veamos que y D. Por (M8) (x y) ( x y) = 1, entonces (x y) ( x y) = 1. Además, como D es un S.D.D. tenemos que x y D entonces x y D, y como x D, entonces y D. De esto último y (M9) tenemos que x y = ( x y) D, y por (M1) inferimos ( x y) ( x y) = 1 D, entonces x y D, luego x y D, por lo tanto y D, es decir, se verifica D 2 ). Notaremos con D d (A) al conjunto de los sistemas deductivos débiles de la H 3 -álgebra A. Observemos que si el álgebra (A,, 1) de tipo (2, 0) verifica C1), C2) y C4), el retículo de las congruencias es isomorfo al retículo de los sistemas deductivos débiles.

42 34 En efecto, se tiene que a partir de (C1) y (C4) se puede probar x x = 1. De lo anterior y (C1) inferimos que x 1 = 1. Por otra parte, de x 1 = 1 y (C2), tenemos que (x y) ((z x) (z y)) = 1 y por último, de (C1), (C2) y (C4), concluimos que (x y) ((y z) (x z)) = 1. Luego, tenemos probado el siguiente Teorema Sea álgebra (A,, 1) de tipo (2, 0) que verifica (C1), (C2) y (C4). Entonces, el retículo de las congruencias es isomorfo al retículo de los sistemas deductivos débiles. Es claro que las H 3 -álgebras con la implicación, verifican el Teorema Definición Sea M D d (A). Diremos que M es maximal si: (1) M es propio, (2) Si D D d (A) es tal que M D, entonces D = A o M = D. Definición Sea A una H 3 -álgebra, D D d (A) y p A\D. Diremos que D es ligado a p si es maximal entre los sistemas deductivos débiles que no contienen a p. Es decir, D es ligado a p si, y solo si p / D y si D D d (A), tal que D D entonces p D. Lema Sea D 1 D d (A) y p A\D 1. Entonces la familia D d (D 1, p) = {D D d (A) : D 1 D, p / D} con la inclusión es inductiva superiormente. Demostración: Sabemos que D d (D 1, p) pues D 1 D d (D 1, p). Luego, solo resta probar que D d (D 1, p) es una familia de conjuntos inductiva superiormente. Por lo tanto, basta probar que toda cadena de sistemas deductivos débiles {D i } i I D(D 1, p), verifica D = i ID i es una cota superior de {D i } i I en (D(D 1, p), ). (1) D i D para todo i I. Inmediato de la definición de D.

Escenas de episodios anteriores

Escenas de episodios anteriores Clase 09/10/2013 Tomado y editado de los apuntes de Pedro Sánchez Terraf Escenas de episodios anteriores objetivo: estudiar formalmente el concepto de demostración matemática. caso de estudio: lenguaje

Διαβάστε περισσότερα

Lógica Proposicional. Justificación de la validez del razonamiento?

Lógica Proposicional. Justificación de la validez del razonamiento? Proposicional educción Natural Proposicional - 1 Justificación de la validez del razonamiento? os maneras diferentes de justificar Justificar que la veracidad de las hipótesis implica la veracidad de la

Διαβάστε περισσότερα

Lógica Proposicional

Lógica Proposicional Proposicional educción Natural Proposicional - 1 Justificación de la validez del razonamiento os maneras diferentes de justificar Justificar que la veracidad de las hipótesis implica la veracidad de la

Διαβάστε περισσότερα

TRIGONOMETRIA. hipotenusa L 2. hipotenusa

TRIGONOMETRIA. hipotenusa L 2. hipotenusa TRIGONOMETRIA. Calcular las razones trigonométricas de 0º, º y 60º. Para calcular las razones trigonométricas de º, nos ayudamos de un triángulo rectángulo isósceles como el de la figura. cateto opuesto

Διαβάστε περισσότερα

TEMA IV: FUNCIONES HIPERGEOMETRICAS

TEMA IV: FUNCIONES HIPERGEOMETRICAS TEMA IV: FUNCIONES HIPERGEOMETRICAS 1. La ecuación hipergeométrica x R y α, β, γ parámetros reales. x(1 x)y + [γ (α + β + 1)x]y αβy 0 (1.1) Dividiendo en (1.1) por x(1 x) obtenemos (x 0, x 1) y + γ (α

Διαβάστε περισσότερα

Académico Introducción

Académico Introducción - Σε αυτήν την εργασία/διατριβή θα αναλύσω/εξετάσω/διερευνήσω/αξιολογήσω... general para un ensayo/tesis Για να απαντήσουμε αυτή την ερώτηση, θα επικεντρωθούμε πρώτα... Para introducir un área específica

Διαβάστε περισσότερα

την..., επειδή... Se usa cuando se cree que el punto de vista del otro es válido, pero no se concuerda completamente

την..., επειδή... Se usa cuando se cree que el punto de vista del otro es válido, pero no se concuerda completamente - Concordar En términos generales, coincido con X por Se usa cuando se concuerda con el punto de vista de otro Uno tiende a concordar con X ya Se usa cuando se concuerda con el punto de vista de otro Comprendo

Διαβάστε περισσότερα

Métodos Matemáticos en Física L4F. CONDICIONES de CONTORNO+Fuerzas Externas (Cap. 3, libro APL)

Métodos Matemáticos en Física L4F. CONDICIONES de CONTORNO+Fuerzas Externas (Cap. 3, libro APL) L4F. CONDICIONES de CONTORNO+Fuerzas Externas (Cap. 3, libro Condiciones de contorno. Fuerzas externas aplicadas sobre una cuerda. condición que nos describe un extremo libre en una cuerda tensa. Ecuación

Διαβάστε περισσότερα

1 La teoría de Jeans. t + (n v) = 0 (1) b) Navier-Stokes (conservación del impulso) c) Poisson

1 La teoría de Jeans. t + (n v) = 0 (1) b) Navier-Stokes (conservación del impulso) c) Poisson 1 La teoría de Jeans El caso ás siple de evolución de fluctuaciones es el de un fluído no relativista. las ecuaciones básicas son: a conservación del núero de partículas n t + (n v = 0 (1 b Navier-Stokes

Διαβάστε περισσότερα

SOLUCIONES DE LAS ACTIVIDADES Págs. 101 a 119

SOLUCIONES DE LAS ACTIVIDADES Págs. 101 a 119 Página 0. a) b) π 4 π x 0 4 π π / 0 π / x 0º 0 x π π. 0 rad 0 π π rad 0 4 π 0 π rad 0 π 0 π / 4. rad 4º 4 π π 0 π / rad 0º π π 0 π / rad 0º π 4. De izquierda a derecha: 4 80 π rad π / rad 0 Página 0. tg

Διαβάστε περισσότερα

Inmigración Estudiar. Estudiar - Universidad. Indicar que quieres matricularte. Indicar que quieres matricularte en una asignatura.

Inmigración Estudiar. Estudiar - Universidad. Indicar que quieres matricularte. Indicar que quieres matricularte en una asignatura. - Universidad Me gustaría matricularme en la universidad. Indicar que quieres matricularte Me quiero matricular. Indicar que quieres matricularte en una asignatura en un grado en un posgrado en un doctorado

Διαβάστε περισσότερα

PÁGINA 106 PÁGINA a) sen 30 = 1/2 b) cos 120 = 1/2. c) tg 135 = 1 d) cos 45 = PÁGINA 109

PÁGINA 106 PÁGINA a) sen 30 = 1/2 b) cos 120 = 1/2. c) tg 135 = 1 d) cos 45 = PÁGINA 109 PÁGINA 0. La altura del árbol es de 8,5 cm.. BC m. CA 70 m. a) x b) y PÁGINA 0. tg a 0, Con calculadora: sß 0,9 t{ ««}. cos a 0, Con calculadora: st,8 { \ \ } PÁGINA 05. cos a 0,78 tg a 0,79. sen a 0,5

Διαβάστε περισσότερα

La transformada de ondícula continua y algunas clases de operadores de localización

La transformada de ondícula continua y algunas clases de operadores de localización La transformada de ondícula continua y algunas clases de operadores de localización Gerardo Ramos Vázquez Dr. Egor Maximenko Instituto Politécnico Nacional, ESFM diciembre 2016 Contenido El grupo afín

Διαβάστε περισσότερα

Filipenses 2:5-11. Filipenses

Filipenses 2:5-11. Filipenses Filipenses 2:5-11 Filipenses La ciudad de Filipos fue nombrada en honor de Felipe II de Macedonia, padre de Alejandro. Con una pequeña colonia judía aparentemente no tenía una sinagoga. El apóstol fundó

Διαβάστε περισσότερα

Academic Opening Opening - Introduction Greek Spanish En este ensayo/tesis analizaré/investigaré/evaluaré...

Academic Opening Opening - Introduction Greek Spanish En este ensayo/tesis analizaré/investigaré/evaluaré... - Introduction Σε αυτήν την εργασία/διατριβή θα αναλύσω/εξετάσω/διερευνήσω/αξιολογήσω... General opening for an essay/thesis En este ensayo/tesis analizaré/investigaré/evaluaré... Για να απαντήσουμε αυτή

Διαβάστε περισσότερα

Una visión alberiana del tema. Abstract *** El marco teórico. democracia, república y emprendedores; alberdiano

Una visión alberiana del tema. Abstract *** El marco teórico. democracia, república y emprendedores; alberdiano Abstract Una visión alberiana del tema - democracia, república y emprendedores; - - alberdiano El marco teórico *** - 26 LIBERTAS SEGUNDA ÉPOCA - - - - - - - - revolución industrial EMPRENDEDORES, REPÚBLICA

Διαβάστε περισσότερα

Académico Introducción

Académico Introducción - Σε αυτήν την εργασία/διατριβή θα αναλύσω/εξετάσω/διερευνήσω/αξιολογήσω... general para un ensayo/tesis In this essay/paper/thesis I shall examine/investigate/evaluate/analyze Για να απαντήσουμε αυτή

Διαβάστε περισσότερα

Nro. 01 Septiembre de 2011

Nro. 01 Septiembre de 2011 SOL Cultura La Tolita, de 400 ac. a 600 dc. En su representación se sintetiza toda la mitología ancestral del Ecuador. Trabajado en oro laminado y repujado. Museo Nacional Banco Central del Ecuador Dirección

Διαβάστε περισσότερα

ΕΙΣΑΓΩΓΗ INTRODUCCIÓN

ΕΙΣΑΓΩΓΗ INTRODUCCIÓN ΕΝΗΜΕΡΩΣΗ ΚΑΙ ΔΙΑΒΟΥΛΕΥΣΗ ΣΤΑ ΕΥΡΩΠΑΙΚΑ ΣΥΜΒΟΥΛΙΑ ΕΡΓΑΖΟΜΕΝΩΝ (ΕΣΕ) KAI Η ΚΟΙΝΟΤΙΚΗ ΟΔΗΓΙΑ 2009/38 INFORMACIÓN Y CONSULTA EN LOS COMITÉS DE EMPRESA EUROPEOS (CEE) Y LA DIRECTIVA COMUNITARIA 2009/38 Αθανάσιος

Διαβάστε περισσότερα

Το ίκτυο Βιβλιοθηκών του Τµήµατος Κοινωνικού Έργου της Caja Madrid. La Red de Bibliotecas de Obra Social Caja Madrid

Το ίκτυο Βιβλιοθηκών του Τµήµατος Κοινωνικού Έργου της Caja Madrid. La Red de Bibliotecas de Obra Social Caja Madrid Το ίκτυο Βιβλιοθηκών του Τµήµατος Κοινωνικού Έργου της Caja Madrid La Red de Bibliotecas de Obra Social Caja Madrid Το ίκτυο Βιβλιοθηκών αποτελεί τµήµα ενός Χρηµατοπιστωτικού Φορέα που προορίζει ποσοστό

Διαβάστε περισσότερα

TEST DE INDEPENDENCIA EN SERIES TEMPORALES

TEST DE INDEPENDENCIA EN SERIES TEMPORALES TEST DE INDEPENDENCIA EN SERIES TEMPORALES Titulación: Doctorado en Tecnologías Industriales Alumno/a: Salvador Vera Nieto Director/a/s: José Salvador Cánovas Peña Antonio Guillamón Frutos Cartagena, 10

Διαβάστε περισσότερα

ΑΡΧΗ 1 ης ΣΕΛΙΔΑΣ KΕΝΤΡΙΚΗ ΕΠΙΤΡΟΠΗ ΕΙΔΙΚΩΝ ΜΑΘΗΜΑΤΩΝ ΠΑΡΑΣΚΕΥΗ 24 ΙΟΥΝΙΟΥ 2005 ΚΟΙΝΗ ΕΞΕΤΑΣΗ ΟΛΩΝ ΤΩΝ ΥΠΟΨΗΦΙΩΝ ΣΤΑ ΙΣΠΑΝΙΚΑ

ΑΡΧΗ 1 ης ΣΕΛΙΔΑΣ KΕΝΤΡΙΚΗ ΕΠΙΤΡΟΠΗ ΕΙΔΙΚΩΝ ΜΑΘΗΜΑΤΩΝ ΠΑΡΑΣΚΕΥΗ 24 ΙΟΥΝΙΟΥ 2005 ΚΟΙΝΗ ΕΞΕΤΑΣΗ ΟΛΩΝ ΤΩΝ ΥΠΟΨΗΦΙΩΝ ΣΤΑ ΙΣΠΑΝΙΚΑ ΑΡΧΗ 1 ης ΣΕΛΙΔΑΣ KΕΝΤΡΙΚΗ ΕΠΙΤΡΟΠΗ ΕΙΔΙΚΩΝ ΜΑΘΗΜΑΤΩΝ ΠΑΡΑΣΚΕΥΗ 24 ΙΟΥΝΙΟΥ 2005 ΚΟΙΝΗ ΕΞΕΤΑΣΗ ΟΛΩΝ ΤΩΝ ΥΠΟΨΗΦΙΩΝ ΣΤΑ ΙΣΠΑΝΙΚΑ Α. Να αποδώσετε στο τετράδιό σας στην ελληνική γλώσσα το παρακάτω κείμενο,

Διαβάστε περισσότερα

FUNCIONES Y FÓRMULAS TRIGONOMÉTRICAS

FUNCIONES Y FÓRMULAS TRIGONOMÉTRICAS 5 FUNCIONES Y FÓRMULAS TRIGONOMÉTRICAS Página PARA EMPEZAR, REFLEXIONA Y RESUELVE. Aunque el método para resolver las siguientes preguntas se sistematiza en la página siguiente, puedes resolverlas ahora:

Διαβάστε περισσότερα

Εμπορική αλληλογραφία Επιστολή

Εμπορική αλληλογραφία Επιστολή - Διεύθυνση Sr. J. Rhodes Rhodes & Rhodes Corp. 212 Silverback Drive California Springs CA 92926 Sr. J. Rhodes Rhodes & Rhodes Corp. 212 Silverback Drive California Springs CA 92926 Αμερικανική γραφή διεύθυνσης:

Διαβάστε περισσότερα

Tema de aoristo. Morfología y semántica

Tema de aoristo. Morfología y semántica Tema de aoristo Morfología y semántica El verbo politemático Cada verbo griego tiene 4 temas principales. La diferencia semántica entre ellos es el aspecto, no el tiempo. Semántica de los temas verbales

Διαβάστε περισσότερα

Tema 1. Espazos topolóxicos. Topoloxía Xeral, 2016

Tema 1. Espazos topolóxicos. Topoloxía Xeral, 2016 Tema 1. Espazos topolóxicos Topoloxía Xeral, 2016 Topoloxía e Espazo topolóxico Índice Topoloxía e Espazo topolóxico Exemplos de topoloxías Conxuntos pechados Topoloxías definidas por conxuntos pechados:

Διαβάστε περισσότερα

μέλλων τελευτᾶν 0,25 puntos καὶ βουλόμενος 0,25 puntos τοὺς αὐτοῦ παῖδας ἐμπείρους εἶναι τῆς γεωργίας, 0,5 puntos

μέλλων τελευτᾶν 0,25 puntos καὶ βουλόμενος 0,25 puntos τοὺς αὐτοῦ παῖδας ἐμπείρους εἶναι τῆς γεωργίας, 0,5 puntos Materia: GRIEGO II. EvAU CURSO 17/18 CRITERIOS ESPECÍFICOS DE CORRECCIÓN PROPUESTA A: EL LABRADOR Y SUS HIJOS 1.- Traducción íntegra del texto: (4 puntos). Se ponderará, ante todo: - La recta adecuación

Διαβάστε περισσότερα

Catálogodegrandespotencias

Catálogodegrandespotencias www.dimotor.com Catálogogranspotencias Índice Motores grans potencias 3 Motores asíncronos trifásicos Baja Tensión y Alta tensión.... 3 Serie Y2 Baja tensión 4 Motores asíncronos trifásicos Baja Tensión

Διαβάστε περισσότερα

IV FESTIVAL LEA. Concurso entre escuelas de aprendizaje del español

IV FESTIVAL LEA. Concurso entre escuelas de aprendizaje del español IV FESTIVAL LEA El IV Festival Iberoamericano Literatura En Atenas, organizado por la revista Cultural Sol Latino, el Instituto Cervantes de Atenas y la Fundación María Tsakos, dura este año dos semanas:

Διαβάστε περισσότερα

dr 1...dp N exp [ βh ({p}, {r})], (1) p 2 i 2m +Φ(r 1,..., r N ). (2) Z id = N!Λ 3N Z = Q(N,V,T). (6) Z = Z id

dr 1...dp N exp [ βh ({p}, {r})], (1) p 2 i 2m +Φ(r 1,..., r N ). (2) Z id = N!Λ 3N Z = Q(N,V,T). (6) Z = Z id Física de Líquidos L. Mederos Instituto de Ciencia de Materiales de Madrid Consejo Superior de Investigaciones Científicas 5 de abril de 2004 Índice. Descripción microscópica de un líquido. 2.. Conceptos

Διαβάστε περισσότερα

Análisis de las Enneadas de Plotino. Gonzalo Hernández Sanjorge A Parte Rei 20

Análisis de las Enneadas de Plotino. Gonzalo Hernández Sanjorge A Parte Rei 20 Análisis de las Enneadas de Plotino, Tratado Cuarto de la Enneada Primera Acerca de la felicidad1 Gonzalo Hernández Sanjorge La felicidad vinculada al vivir bien: la sensación y la razón. Identificar qué

Διαβάστε περισσότερα

La experiencia de la Mesa contra el Racismo

La experiencia de la Mesa contra el Racismo La experiencia de la Mesa contra el Racismo Informe Di icultad para identi icarse como discriminado Subsistencia de mecanismos individuales para enfrentar el racismo Las propuestas de las organizaciones

Διαβάστε περισσότερα

FL/STEM Σχεδιασμός/Πρότυπο μαθήματος (χημεία) 2015/2016. Μάθημα (τίτλος) Οξυγόνο. Παραγωγή οξυγόνου Επίπεδο επάρκειας γλώσσας < Α1 Α2 Β1 Β2 C1

FL/STEM Σχεδιασμός/Πρότυπο μαθήματος (χημεία) 2015/2016. Μάθημα (τίτλος) Οξυγόνο. Παραγωγή οξυγόνου Επίπεδο επάρκειας γλώσσας < Α1 Α2 Β1 Β2 C1 Μάθημα (τίτλος) Οξυγόνο. Παραγωγή οξυγόνου Επίπεδο επάρκειας γλώσσας < Α1 Α2 Β1 Β2 C1 Τάξη/βαθμίδα: 6η Αριθμός μαθητών στην τάξη: 8 Περιεχόμενο μαθήματος: Οξυγόνο. Θέμα: Άνθρωπος και φύση Ουσίες Προϋποθέσεις

Διαβάστε περισσότερα

TEMA 6.- BIOMOLÉCULAS ORGÁNICAS IV: ÁCIDOS NUCLEICOS

TEMA 6.- BIOMOLÉCULAS ORGÁNICAS IV: ÁCIDOS NUCLEICOS TEMA 6.- BIMLÉCULAS RGÁNICAS IV: ÁCIDS NUCLEICS A.- Características generales de los Ácidos Nucleicos B.- Nucleótidos y derivados nucleotídicos El esqueleto covalente de los ácidos nucleicos: el enlace

Διαβάστε περισσότερα

Εμπορική αλληλογραφία Ηλεκτρονική Αλληλογραφία

Εμπορική αλληλογραφία Ηλεκτρονική Αλληλογραφία - Εισαγωγή ελληνικά Αξιότιμε κύριε Πρόεδρε, ισπανικά Distinguido Sr. Presidente: Εξαιρετικά επίσημη επιστολή, ο παραλήπτης έχει ένα ειδικό τίτλο ο οποίος πρέπει να χρησιμοποιηθεί αντί του ονόματος του

Διαβάστε περισσότερα

Ventiladores helicoidales murales o tubulares, versión PL equipados con hélice de plástico y versión AL equipados con hélice de aluminio.

Ventiladores helicoidales murales o tubulares, versión PL equipados con hélice de plástico y versión AL equipados con hélice de aluminio. HCH HCT HCH HCT Ventiladores helicoidales murales o tubulares, de gran robustez Ventiladores helicoidales murales o tubulares, versión PL equipados con hélice de plástico y versión AL equipados con hélice

Διαβάστε περισσότερα

EXERCICIOS DE REFORZO: RECTAS E PLANOS

EXERCICIOS DE REFORZO: RECTAS E PLANOS EXERCICIOS DE REFORZO RECTAS E PLANOS Dada a recta r z a) Determna a ecuacón mplícta do plano π que pasa polo punto P(,, ) e é perpendcular a r Calcula o punto de nterseccón de r a π b) Calcula o punto

Διαβάστε περισσότερα

Κυρ. Ιωάννου Οδ. Δωριέων 34 Τ.Κ 8068, Λάρνακα. Adam Smith 8 Crossfield Road Selly Oak Birmingham West Midlands B29 1WQ

Κυρ. Ιωάννου Οδ. Δωριέων 34 Τ.Κ 8068, Λάρνακα. Adam Smith 8 Crossfield Road Selly Oak Birmingham West Midlands B29 1WQ - Dirección Κυρ. Ιωάννου Οδ. Δωριέων 34 Τ.Κ 8068, Λάρνακα Formato de dirección de México: Colonia Código postal + Estado, Ciudad. Jeremy Rhodes 212 Silverback Drive California Springs CA 92926 Formato

Διαβάστε περισσότερα

Τραγwδούμενα. EDICIÓN CRÍTICA, TRADUCCIÓN Y COMENTARIO DE LOS FRAGMENTOS ATRIBUIDOS A ASCLEPÍADES DE TRAGILO

Τραγwδούμενα. EDICIÓN CRÍTICA, TRADUCCIÓN Y COMENTARIO DE LOS FRAGMENTOS ATRIBUIDOS A ASCLEPÍADES DE TRAGILO Tesis doctoral Τραγwδούμενα. EDICIÓN CRÍTICA, TRADUCCIÓN Y COMENTARIO DE LOS FRAGMENTOS ATRIBUIDOS A ASCLEPÍADES DE TRAGILO Nereida Villagra Hidalgo Τραγῳδούμενα. EDICIÓN CRÍTICA, TRADUCCIÓN Y COMENTARIO

Διαβάστε περισσότερα

Revista de Filosofía Vol. XXV, N 1, 2013 pp Platão, Filebo -

Revista de Filosofía Vol. XXV, N 1, 2013 pp Platão, Filebo - Revista de Filosofía Vol. XXV, N 1, 2013 pp. 163-181 Platão, Filebo - - - Filebo 164 1 Filebo 2, me resulta especialmente útil la - i.e. interpre- en particular. 1. II 2 Filebo - 3 : ) vêm do um e do múltiplo,

Διαβάστε περισσότερα

Tema 3. Espazos métricos. Topoloxía Xeral,

Tema 3. Espazos métricos. Topoloxía Xeral, Tema 3. Espazos métricos Topoloxía Xeral, 2017-18 Índice Métricas en R n Métricas no espazo de funcións Bólas e relacións métricas Definición Unha métrica nun conxunto M é unha aplicación d con valores

Διαβάστε περισσότερα

90 LIBERTAS SEGUNDA ÉPOCA. Introducción: La necesidad de una Reforma Institucional

90 LIBERTAS SEGUNDA ÉPOCA. Introducción: La necesidad de una Reforma Institucional 1 3 - - Abstract - - - 90 LIBERTAS SEGUNDA ÉPOCA Introducción: La necesidad de una Reforma Institucional - - - - - - - - - UNA PROPUESTA DE REFORMA MONETARIA PARA ARGENTINA 91 1 políticas establecidas

Διαβάστε περισσότερα

TEMA 3. Lípidos. Bioq. Juan Pablo Rodríguez

TEMA 3. Lípidos. Bioq. Juan Pablo Rodríguez TEMA 3 Lípidos Bioq. Juan Pablo Rodríguez Lípidos - Definición Bajo el término Lípidos se agrupan un gran número de compuestos, de estructura química variada, que tienen la propiedad común de ser solubles

Διαβάστε περισσότερα

Για να ρωτήσετε αν κάποιος μπορεί να σας βοηθήσει να γεμίσετε μια φόρμα

Για να ρωτήσετε αν κάποιος μπορεί να σας βοηθήσει να γεμίσετε μια φόρμα - Γενικά Dónde tengo que pedir el formulario/impreso para? Για να ρωτήσετε που μπορείτε να βρείτε μια φόρμα Dónde tengo que pedir el formulario/impreso para? Cuál es la fecha de expedición de su (documento)?

Διαβάστε περισσότερα

bab.la Φράσεις: Προσωπική Αλληλογραφία Ευχές ελληνικά-ισπανικά

bab.la Φράσεις: Προσωπική Αλληλογραφία Ευχές ελληνικά-ισπανικά Ευχές : Γάμος Συγχαρητήρια. Σας ευχόμαστε όλη την ευτυχία του κόσμου. Felicitaciones. Les deseamos a ambos toda la felicidad del mundo. νιόπαντρο ζευγάρι Θερμά συγχαρητήρια για τους δυο σας αυτήν την ημέρα

Διαβάστε περισσότερα

Ταξίδι Τρώγοντας έξω. Τρώγοντας έξω - Στην είσοδο. Τρώγοντας έξω - Παραγγελία φαγητού

Ταξίδι Τρώγοντας έξω. Τρώγοντας έξω - Στην είσοδο. Τρώγοντας έξω - Παραγγελία φαγητού - Στην είσοδο Me gustaría reservar una mesa para _[número de personas]_ a las _[hora]_. Για να κάνετε κράτηση Una mesa para _[número de personas]_, por favor. Για να ζητήσετε τραπέζι Aceptan tarjetas de

Διαβάστε περισσότερα

Taller de cultura TALLER DE LITERATURA

Taller de cultura TALLER DE LITERATURA Taller de cultura TALLER DE LITERATURA Literatura Argentina del s. XX Lo fantástico como elemento inherente a la literatura argentina del s. XX Qué es la literatura fantástica argentina? «Ya Buenos Aires,

Διαβάστε περισσότερα

Κυρ. Ιωάννου Οδ. Δωριέων 34 Τ.Κ 8068, Λάρνακα. Adam Smith 8 Crossfield Road Selly Oak Birmingham West Midlands B29 1WQ

Κυρ. Ιωάννου Οδ. Δωριέων 34 Τ.Κ 8068, Λάρνακα. Adam Smith 8 Crossfield Road Selly Oak Birmingham West Midlands B29 1WQ - Dirección Av. Galileo 110 Colonia Polanco C.P. 12560 México, D.F. Formato de dirección de México: Colonia Código postal + Estado, Ciudad. Av. Galileo 110 12560 Madrid (Madrid) Formato de dirección de

Διαβάστε περισσότερα

PAU XUÑO 2011 MATEMÁTICAS II

PAU XUÑO 2011 MATEMÁTICAS II PAU XUÑO 2011 MATEMÁTICAS II Código: 26 (O alumno/a debe responder só os exercicios dunha das opcións. Puntuación máxima dos exercicios de cada opción: exercicio 1= 3 puntos, exercicio 2= 3 puntos, exercicio

Διαβάστε περισσότερα

LUGARES XEOMÉTRICOS. CÓNICAS

LUGARES XEOMÉTRICOS. CÓNICAS LUGARES XEOMÉTRICOS. CÓNICAS Páxina REFLEXIONA E RESOLVE Cónicas abertas: parábolas e hipérboles Completa a seguinte táboa, na que a é o ángulo que forman as xeratrices co eixe, e, da cónica e b o ángulo

Διαβάστε περισσότερα

PROPIEDADES Y APLICACIONES DE LA FAMILIA DE DISTRIBUCIONES SKEW-NORMAL MULTIVARIADA

PROPIEDADES Y APLICACIONES DE LA FAMILIA DE DISTRIBUCIONES SKEW-NORMAL MULTIVARIADA PONTIFICIA UNIVERSIDAD CATÓLICA DE CHILE FACULTAD DE MATEMÁTICA DEPARTAMENTO DE ESTADÍSTICA PROPIEDADES Y APLICACIONES DE LA FAMILIA DE DISTRIBUCIONES SKEW-NORMAL MULTIVARIADA POR GABRIELA VALDÉS Tesis

Διαβάστε περισσότερα

ΕΞΕΤΑΣΗ ΤΩΝ ΥΠΟΨΗΦΙΩΝ ΣΤΗΝ ΙΣΠΑΝΙΚΗ ΓΛΩΣΣΑ

ΕΞΕΤΑΣΗ ΤΩΝ ΥΠΟΨΗΦΙΩΝ ΣΤΗΝ ΙΣΠΑΝΙΚΗ ΓΛΩΣΣΑ ΑΡΧΗ ΣΕΛΙ ΑΣ 1 ΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ, ΔΙΑ ΒΙΟΥ ΜΑΘΗΣΗΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ ΚΕΝΤΡΙΚΗ ΕΠΙΤΡΟΠΗ ΕΞΕΤΑΣΕΩΝ ΕΙΔΙΚΩΝ ΜΑΘΗΜΑΤΩΝ ΕΛΛΗΝΩΝ ΕΞΩΤΕΡΙΚΟΥ ΕΞΕΤΑΣΗ ΤΩΝ ΥΠΟΨΗΦΙΩΝ ΣΤΗΝ ΙΣΠΑΝΙΚΗ ΓΛΩΣΣΑ Πέμπτη, 15 Σεπτεμβρίου 2011

Διαβάστε περισσότερα

Αιτήσεις Συνοδευτική Επιστολή

Αιτήσεις Συνοδευτική Επιστολή - Εισαγωγή Αξιότιμε κύριε, Επίσημη επιστολή, αρσενικός αποδέκτης, όνομα άγνωστο Αξιότιμη κυρία, Επίσημη επιστολή, θηλυκός αποδέκτης, όνομα άγνωστο Αξιότιμε κύριε/ κυρία, Distinguido Señor: Distinguida

Διαβάστε περισσότερα

Ταξίδι Γενικά. Γενικά - Τα απαραίτητα. Γενικά - Συνομιλία. Παράκληση για βοήθεια. Ερώτηση σε πρόσωπο αν μιλά αγγλικά

Ταξίδι Γενικά. Γενικά - Τα απαραίτητα. Γενικά - Συνομιλία. Παράκληση για βοήθεια. Ερώτηση σε πρόσωπο αν μιλά αγγλικά - Τα απαραίτητα Podría ayudarme? Παράκληση για βοήθεια Habla inglés? Ερώτηση σε πρόσωπο αν μιλά αγγλικά Habla_[idioma]_? Ερώτηση σε πρόσωπο αν μιλά ορισμένη γλώσσα No hablo_[idioma]_. Διασαφήνιση ότι δεν

Διαβάστε περισσότερα

A proba constará de vinte cuestións tipo test. As cuestións tipo test teñen tres posibles respostas, das que soamente unha é correcta.

A proba constará de vinte cuestións tipo test. As cuestións tipo test teñen tres posibles respostas, das que soamente unha é correcta. Páxina 1 de 9 1. Formato da proba Formato proba constará de vinte cuestións tipo test. s cuestións tipo test teñen tres posibles respostas, das que soamente unha é correcta. Puntuación Puntuación: 0.5

Διαβάστε περισσότερα

Metrología Cuántica e Información Cuántica de Fisher.

Metrología Cuántica e Información Cuántica de Fisher. Metrología Cuántica e Información Cuántica de Fisher. Entrelazamiento y Distinguibilidad en Interferometría Atómica. Diego Alejandro Lancheros Seminario de Óptica Cuántica. Universidad de Los Andes. Table

Διαβάστε περισσότερα

CAPÍTULO 6: EL PRONOMBRE DEMOSTRATIVO Y RELATIVO

CAPÍTULO 6: EL PRONOMBRE DEMOSTRATIVO Y RELATIVO CAPÍTULO 6: EL PRONOMBRE DEMOSTRATIVO Y RELATIVO I. EL PRONOMBRE DEMOSTRATIVO Hay dos tipos de pronombres demostrativos: cercanos y lejanos. 1 Normalmente sirven para señalar la cercanía o lejanía de alguien/algo

Διαβάστε περισσότερα

EL MOVIMIE TO DEL U IVERSO Y SUS CARACTERÍSTICAS E LA COSMOLOGÍA DE PLATÓ

EL MOVIMIE TO DEL U IVERSO Y SUS CARACTERÍSTICAS E LA COSMOLOGÍA DE PLATÓ EL MOVIMIE TO DEL U IVERSO Y SUS CARACTERÍSTICAS E LA COSMOLOGÍA DE PLATÓ Resumen Se analiza la constitución del universo tal como es desarrollado en los diálogos de Platón Parménides, Timeo y Teeteto.

Διαβάστε περισσότερα

-νω. - νω. -σκω. - σκω

-νω. - νω. -σκω. - σκω TEMA DE PRESENTE -1- PRESENTES TEMÁTICOS ATEMÁTICOS RADICALES SUFIJADOS RADICALES SUFIJADOS SIN -νω SIN -ν -µι -ν -µαι CON - νω -σκω CON -νη-µι -ν -µαι - σκω - A) Temáticos radicales sin reduplicación

Διαβάστε περισσότερα

Negocios Carta. Carta - Dirección

Negocios Carta. Carta - Dirección - Dirección Mr. J. Rhodes Rhodes & Rhodes Corp. 212 Silverback Drive California Springs CA 92926 Mr. J. Rhodes Rhodes & Rhodes Corp. 212 Silverback Drive California Springs CA 92926 Formato de dirección

Διαβάστε περισσότερα

Problemas resueltos del teorema de Bolzano

Problemas resueltos del teorema de Bolzano Problemas resueltos del teorema de Bolzano 1 S e a la fun ción: S e puede af irm a r que f (x) está acotada en el interva lo [1, 4 ]? P or no se r c ont i nua f (x ) e n x = 1, la f unció n no e s c ont

Διαβάστε περισσότερα

2 ÍNDICE GENERAL A Modelo de Wess Zumino Witten. 109 A.1 Propiedades del modelo de WZW B Orden normal y relaciones entre OP

2 ÍNDICE GENERAL A Modelo de Wess Zumino Witten. 109 A.1 Propiedades del modelo de WZW B Orden normal y relaciones entre OP Índice General 1 Introducción. 3 2 Teor as masivas y ecuaciones de Toda no abelianas. 11 2.1 Ecuaciones de Toda no abelianas....................... 11 2.2 Teor as con acción real y positiva.......................

Διαβάστε περισσότερα

ΚΑΙΝΟΤΟΜΙΑ ΚΑΙ ΑΠΛΟΤΗΤΑ. Innovación y simplicidad

ΚΑΙΝΟΤΟΜΙΑ ΚΑΙ ΑΠΛΟΤΗΤΑ. Innovación y simplicidad pro ima pro ima Innovación y simplicidad PROXIMA es la última innovación de Serrature Meroni, un producto diseñado tanto para aquellos que ya disponen de un pomo PremiApri Meroni en su puerta, como para

Διαβάστε περισσότερα

ANEXOS. Anexo 1. Recuento de Clase N 20

ANEXOS. Anexo 1. Recuento de Clase N 20 Anexo 1. Recuento de Clase N 20 512 513 Anexo 2. Enunciados Problemas por Bloques BLOQUE N 1 Dominio temático: Geometría Plana Temas: Segmentos Congruentes; Circunferencia Problema Principal 1 Objetivo

Διαβάστε περισσότερα

PRUEBA INICIAL DE CLASIFICACIÓN CURSO Documento para adjuntar a la Solicitud de plaza

PRUEBA INICIAL DE CLASIFICACIÓN CURSO Documento para adjuntar a la Solicitud de plaza PRUEBA INICIAL DE CLASIFICACIÓN CURSO 2017-18 Documento para adjuntar a la Solicitud de plaza Yo con DNI, número de teléfono y dirección de correo electrónico, solicitante del idioma, nivel, declaro bajo

Διαβάστε περισσότερα

Inmigración Documentos

Inmigración Documentos - General Πού μπορώ να βρω τη φόρμα για ; Pedir un formulario Πότε εκδόθηκε το [έγγραφο] σας; Pedir la fecha de expedición de un documento Πού εκδόθηκε το [έγγραφο] σας; Pedir el lugar de expedición de

Διαβάστε περισσότερα

Inmigración Documentos

Inmigración Documentos - General Dónde tengo que pedir el formulario/impreso para? Pedir un formulario Cuál es la fecha de expedición de su (documento)? Pedir la fecha de expedición de un documento Cuál es el lugar de expedición

Διαβάστε περισσότερα

Αιτήσεις Συστατική Επιστολή

Αιτήσεις Συστατική Επιστολή - Εισαγωγή Distinguido Señor: Distinguido Señor: Επίσημη επιστολή, αρσενικός παραλήπτης, το όνομα είναι άγνωστο Distinguida Señora: Distinguida Señora: Επίσημη επιστολή, θηλυκός παραλήπτης, το όνομα είναι

Διαβάστε περισσότερα

PAU XUÑO 2010 MATEMÁTICAS II

PAU XUÑO 2010 MATEMÁTICAS II PAU XUÑO 010 MATEMÁTICAS II Código: 6 (O alumno/a deber responder só aos eercicios dunha das opcións. Punuación máima dos eercicios de cada opción: eercicio 1= 3 punos, eercicio = 3 punos, eercicio 3 =

Διαβάστε περισσότερα

Tema: Enerxía 01/02/06 DEPARTAMENTO DE FÍSICA E QUÍMICA

Tema: Enerxía 01/02/06 DEPARTAMENTO DE FÍSICA E QUÍMICA Tema: Enerxía 01/0/06 DEPARTAMENTO DE FÍSICA E QUÍMICA Nome: 1. Unha caixa de 150 kg descende dende o repouso por un plano inclinado por acción do seu peso. Se a compoñente tanxencial do peso é de 735

Διαβάστε περισσότερα

f) cotg 300 ctg 60 2 d) cos 5 cos 6 Al ser un ángulo del primer cuadrante, todas las razones son positivas. Así, tenemos: tg α 3

f) cotg 300 ctg 60 2 d) cos 5 cos 6 Al ser un ángulo del primer cuadrante, todas las razones son positivas. Así, tenemos: tg α 3 .9. Calcula el valor de las siguientes razones trigonométricas reduciéndolas al primer cuadrante. a) sen 0 c) tg 0 e) sec 0 b) cos d) cosec f) cotg 00 Solucionario a) sen 0 sen 0 d) cosec sen sen b) cos

Διαβάστε περισσότερα

AXIAL ES SU MEJOR ELECCIÓN. MÁXIMA CALIDAD ALTA TECNOLOGÍA VARIEDAD DE MODELOS PRESTACIONES SERVICIO. La plegadora de la serie PSE, le ofrece

AXIAL ES SU MEJOR ELECCIÓN. MÁXIMA CALIDAD ALTA TECNOLOGÍA VARIEDAD DE MODELOS PRESTACIONES SERVICIO. La plegadora de la serie PSE, le ofrece PLEGADORA SERIE PSE AXIAL ES SU MEJOR ELECCIÓN. MÁXIMA CALIDAD ALTA TECNOLOGÍA VARIEDAD DE MODELOS PRESTACIONES SERVICIO La plegadora de la serie PSE, le ofrece una gran variedad de modelos, que comprende

Διαβάστε περισσότερα

BCE. Compra y Venta de divisas negociadas en el país por el Sistema Financiero privado. banco central del ecuador

BCE. Compra y Venta de divisas negociadas en el país por el Sistema Financiero privado.   banco central del ecuador BCE DIRECCIÓN DE ESTADÍSTICA ECONÓMICA Compra y Venta de divisas negociadas en el país por el Sistema Financiero privado banco central del ecuador www.bce.fin.ec Nro. 11 Resumen anual 2012 SOL Cultura

Διαβάστε περισσότερα

ΠΡΟΣ: ΚΟΙΝ.: συγκρότηση Επιτροπής για την επιλογή ελευθέρων βοηθηµάτων Ισπανικής γλώσσας

ΠΡΟΣ: ΚΟΙΝ.: συγκρότηση Επιτροπής για την επιλογή ελευθέρων βοηθηµάτων Ισπανικής γλώσσας ΕΛΛΗΝΙΚΗ ΗΜΟΚΡΑΤΙΑ ΥΠΟΥΡΓΕΙΟ ΠΑΙ ΕΙΑΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ, ΠΟΛΙΤΙΣΜΟΥ ΚΑΙ ΑΘΛΗΤΙΣΜΟΥ ----- ΕΝΙΑΙΟΣ ΙΟΙΚΗΤΙΚΟΣ ΤΟΜΕΑΣ Π/ΘΜΙΑΣ & /ΘΜΙΑΣ ΕΚΠΑΙ ΕΥΣΗΣ /ΝΣΗ ΣΠΟΥ ΩΝ /ΘΜΙΑΣ ΕΚΠ/ΣΗΣ ΤΜΗΜΑ Α Βαθµός Ασφαλείας: Να διατηρηθεί

Διαβάστε περισσότερα

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΥΠΟΥΡΓΕΙΟ ΟΙΚΟΝΟΜΙΚΩΝ REPÚBLICA HELÉNICA MINISTERIO DE FINANZAS

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΥΠΟΥΡΓΕΙΟ ΟΙΚΟΝΟΜΙΚΩΝ REPÚBLICA HELÉNICA MINISTERIO DE FINANZAS ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΥΠΟΥΡΓΕΙΟ ΟΙΚΟΝΟΜΙΚΩΝ HELLENIC REPUBLIC MINISTRY OF FINANCE REPÚBLICA HELÉNICA MINISTERIO DE FINANZAS 1ο αντίγραφο για την Ελληνική Φορολογική Αρχή 1 st copy for the Hellenic Tax Authority

Διαβάστε περισσότερα

KIT DE DRENAJE DE CONDENSADOS

KIT DE DRENAJE DE CONDENSADOS KIT DE DRENAJE DE CONDENSADOS Estas instrucciones forman parte integrante del manual que acompaña el aparato en el cual está instalado este Kit. Este manual se refiere a ADVERTENCIAS GENERALES y REGLAS

Διαβάστε περισσότερα

EXERCICIOS DE ÁLXEBRA. PAU GALICIA

EXERCICIOS DE ÁLXEBRA. PAU GALICIA Maemáicas II EXERCICIOS DE ÁLXEBRA PAU GALICIA a) (Xuño ) Propiedades do produo de marices (só enuncialas) b) (Xuño ) Sexan M e N M + I, onde I denoa a mariz idenidade de orde n, calcule N e M 3 Son M

Διαβάστε περισσότερα

Nuestra Iglesia. Καλό Πάσχα! Χριστός Ἀνέστη! Ἀληθῶς Ἀνέστη! Ἦχος πλ. α'

Nuestra Iglesia. Καλό Πάσχα! Χριστός Ἀνέστη! Ἀληθῶς Ἀνέστη! Ἦχος πλ. α' Nuestra Iglesia Καλό Πάσχα! Χριστός Ἀνέστη! Ἀληθῶς Ἀνέστη! Ἦχος πλ. α' Χριστὸς ἀνέστη ἐκ νεκρῶν, θανάτω θάνατον πατήσας, καὶ τοὶς ἐν τοῖς μνήμασι, ζωὴν χαρισάμενος. FELIZ PASCUA DE RESURRECCION A TODOS!!!

Διαβάστε περισσότερα

Tema 1 : TENSIONES. Problemas resueltos F 1 S. n S. O τ F 4 F 2. Prof.: Jaime Santo Domingo Santillana E.P.S.-Zamora (U.SAL.

Tema 1 : TENSIONES. Problemas resueltos F 1 S. n S. O τ F 4 F 2. Prof.: Jaime Santo Domingo Santillana E.P.S.-Zamora (U.SAL. Tea : TENSIONES S S u n S 4 O Probleas resuelos Prof: Jae Sano Dongo Sanllana EPS-Zaora (USL) - 8 -Las coponenes del esado de ensones en un puno son: N/ -5 N/ 8 N/ 4 N/ - N/ N/ Se pde deernar: ) Las ensones

Διαβάστε περισσότερα

ε x = du dx ε(x) = ds ds = du(x) dx

ε x = du dx ε(x) = ds ds = du(x) dx Capítulo 8 ECUCIONES DIFERENCIES Cálculo de desplazamientos Dr. Fernando Flores 8.. INTRODUCCIÓN En este capítulo se sistematizan las ecuaciones que gobiernan el comportamiento de vigas. En general se

Διαβάστε περισσότερα

Το παρόν σχέδιο μαθήματος δημιουργήθηκε από την κα. Radost Mazganova, καθηγήτρια Ισπανικών και την κα. Yordanka Yordanova, καθηγήτρια χημείας

Το παρόν σχέδιο μαθήματος δημιουργήθηκε από την κα. Radost Mazganova, καθηγήτρια Ισπανικών και την κα. Yordanka Yordanova, καθηγήτρια χημείας Μάθημα (τίτλος) Καθαρές ουσίες και μείγματα Επίπεδο γλωσσικής επάρκειας Α1 Α2 Β1 Β2 C1 Τάξη/βαθμίδα: πέμπτη Αριθμός μαθητών στην τάξη: 15 Θέμα: Άνθρωπος και φύση / Ουσίες και οι ιδιότητές τους Προϋποθέσεις

Διαβάστε περισσότερα

Προσωπική Αλληλογραφία Ευχές

Προσωπική Αλληλογραφία Ευχές - Γάμος Felicitaciones. Les deseamos a ambos toda la felicidad del mundo. Συγχαρητήρια για ένα νιόπαντρο ζευγάρι Felicitaciones y los mejores deseos para ambos en el día de su boda. Συγχαρητήρια για ένα

Διαβάστε περισσότερα

Προσωπική Αλληλογραφία Ευχές

Προσωπική Αλληλογραφία Ευχές - Γάμος Συγχαρητήρια. Σας ευχόμαστε όλη την ευτυχία του κόσμου. Συγχαρητήρια για ένα νιόπαντρο ζευγάρι Θερμά συγχαρητήρια για τους δυο σας αυτήν την ημέρα του γάμου σας. Συγχαρητήρια για ένα νιόπαντρο

Διαβάστε περισσότερα

Dios, alma y materia.

Dios, alma y materia. Dios, alma y materia. Una reconstrucción del pensamiento metafísico de Numenio de Apamea Müller, Gabriela Santa Cruz, María Isabel 2015 Tesis presentada con el fin de cumplimentar con los requisitos finales

Διαβάστε περισσότερα

Profr. Efraín Soto Apolinar.

Profr. Efraín Soto Apolinar. 1 Identidades Trigonométrias No te preoupes por tus difiultades en matemátias. todavía mayores. Alert Einstein. Te puedo asegurar que las mías son Funiones trigonométrias Las funiones trigonométrias son

Διαβάστε περισσότερα

Algunas integrales impropias con límites de integración infinitos que involucran a la generalización τ de la función hipergeométrica de Gauss

Algunas integrales impropias con límites de integración infinitos que involucran a la generalización τ de la función hipergeométrica de Gauss Ingeniería y Ciencia, ISSN 794 965 Volumen 3, número 5, páginas 67-85, junio de 27 Algunas integrales impropias con límites de integración infinitos que involucran a la generalización de la función hipergeométrica

Διαβάστε περισσότερα

Lípidos. Clasificación

Lípidos. Clasificación Lípidos Son compuestos encontrados en organismos vivos, generalmente solubles en solventes orgánicos e insolubles en agua. Clasificación Propiedades físicas aceites grasas Estructura simples complejos

Διαβάστε περισσότερα

NÚMEROS REAIS. Páxina 27 REFLEXIONA E RESOLVE. O paso de Z a Q. O paso de Q a Á

NÚMEROS REAIS. Páxina 27 REFLEXIONA E RESOLVE. O paso de Z a Q. O paso de Q a Á NÚMEROS REAIS Páxina 7 REFLEXIONA E RESOLVE O paso de Z a Q Di cales das seguintes ecuacións se poden resolver en Z e para cales é necesario o conxunto dos números racionais, Q. a) x 0 b) 7x c) x + d)

Διαβάστε περισσότερα

Προσωπική Αλληλογραφία Επιστολή

Προσωπική Αλληλογραφία Επιστολή - Διεύθυνση Κυρ. Ιωάννου Οδ. Δωριέων 34 Τ.Κ 8068, Λάρνακα Ελληνική γραφή διεύθυνσης: Όνομα Παραλήπτη Όνομα και νούμερο οδού Ταχυδρομικός κώδικας, Πόλη. Av. Galileo 110 Colonia Polanco C.P. 12560 México,

Διαβάστε περισσότερα

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΕΚΠΑΙΔΕΥΤΙΚΟ ΥΛΙΚΟ ΓΙΑ ΤΑ ΚΕΝΤΡΑ ΔΙΑ ΒΙΟΥ ΜΑΘΗΣΗΣ

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΕΚΠΑΙΔΕΥΤΙΚΟ ΥΛΙΚΟ ΓΙΑ ΤΑ ΚΕΝΤΡΑ ΔΙΑ ΒΙΟΥ ΜΑΘΗΣΗΣ ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΕΚΠΑΙΔΕΥΤΙΚΟ ΥΛΙΚΟ ΓΙΑ ΤΑ ΚΕΝΤΡΑ ΔΙΑ ΒΙΟΥ ΜΑΘΗΣΗΣ ΘΕΜΑΤΙΚΟΣ ΑΞΟΝΑΣ: ΓΛΩΣΣΑ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑ ΘΕΜΑΤΙΚΗ ΕΝΟΤΗΤΑ: Ισπανικά για τον τουρισμό(α1-α2) Συγγραφέας: Δημήτρης Ε. Φιλιππής

Διαβάστε περισσότερα

NÚMEROS COMPLEXOS. Páxina 147 REFLEXIONA E RESOLVE. Extraer fóra da raíz. Potencias de. Como se manexa k 1? Saca fóra da raíz:

NÚMEROS COMPLEXOS. Páxina 147 REFLEXIONA E RESOLVE. Extraer fóra da raíz. Potencias de. Como se manexa k 1? Saca fóra da raíz: NÚMEROS COMPLEXOS Páxina 7 REFLEXIONA E RESOLVE Extraer fóra da raíz Saca fóra da raíz: a) b) 00 a) b) 00 0 Potencias de Calcula as sucesivas potencias de : a) ( ) ( ) ( ) b) ( ) c) ( ) 5 a) ( ) ( ) (

Διαβάστε περισσότερα

Προοπτικές ευτεροβάθµιας Εκπαίδευσης Science Teachers 'στην Ισπανία

Προοπτικές ευτεροβάθµιας Εκπαίδευσης Science Teachers 'στην Ισπανία Προοπτικές ευτεροβάθµιας Εκπαίδευσης Science Teachers 'στην Ισπανία Antonio Torres Jesús Gil Colegio Santo Tomás de Villanueva (CECE), Ισπανία ajtorresgil@agustinosgranada.es Αφηρηµένο Το εργαστήριο προσφέρει

Διαβάστε περισσότερα

MARKSCHEME BARÈME DE NOTATION ESQUEMA DE CALIFICACIÓN

MARKSCHEME BARÈME DE NOTATION ESQUEMA DE CALIFICACIÓN IB DIPLOMA PROGRAMME PROGRAMME DU DIPLÔME DU BI PROGRAMA DEL DIPLOMA DEL BI M06/2/ABMGR/SP1/GRE/TZ0/XX/M MARKSCHEME BARÈME DE NOTATION ESQUEMA DE CALIFICACIÓN May / mai / mayo 2006 MODERN GREEK / GREC

Διαβάστε περισσότερα

Αιτήσεις Συστατική Επιστολή

Αιτήσεις Συστατική Επιστολή - Εισαγωγή Distinguido Señor: Αγαπητέ κύριε, Επίσημη επιστολή, αρσενικός παραλήπτης, το όνομα είναι άγνωστο Distinguida Señora: Αγαπητή κυρία, Επίσημη επιστολή, θηλυκός παραλήπτης, το όνομα είναι άγνωστο

Διαβάστε περισσότερα

Αιτήσεις Συστατική Επιστολή

Αιτήσεις Συστατική Επιστολή - Εισαγωγή Αγαπητέ κύριε, Distinguido Señor: Επίσημη επιστολή, αρσενικός παραλήπτης, το όνομα είναι άγνωστο Αγαπητή κυρία, Distinguida Señora: Επίσημη επιστολή, θηλυκός παραλήπτης, το όνομα είναι άγνωστο

Διαβάστε περισσότερα

FORMULARIO DE ELASTICIDAD

FORMULARIO DE ELASTICIDAD U. D. Resistencia de Mateiales, Elasticidad Plasticidad Depatamento de Mecánica de Medios Continuos Teoía de Estuctuas E.T.S. Ingenieos de Caminos, Canales Puetos Univesidad Politécnica de Madid FORMULARIO

Διαβάστε περισσότερα

De Petros Walhalla a Marabú: las múltiples identidades de Nicos Cavadías en su vida y su obra

De Petros Walhalla a Marabú: las múltiples identidades de Nicos Cavadías en su vida y su obra De Petros Walhalla a Marabú: las múltiples identidades de Nicos Cavadías en su vida y su obra Raquel Pérez Mena 1.-Introducción Cuando se cumplen cien años del nacimiento de Nicos Cavadías, nos gustaría

Διαβάστε περισσότερα

PEDECIBA Informática Instituto de Computación Facultad de Ingeniería Universidad de la República Montevideo, Uruguay.

PEDECIBA Informática Instituto de Computación Facultad de Ingeniería Universidad de la República Montevideo, Uruguay. PEDECIBA Informática Instituto de Computación Facultad de Ingeniería Universidad de la República Montevideo, Uruguay Tesis de Maestría en Informática Planificación de movimientos aplicada en robótica autónoma

Διαβάστε περισσότερα

bab.la Frases: Personal Buenos deseos Español-Griego

bab.la Frases: Personal Buenos deseos Español-Griego Buenos deseos : Matrimonio Felicitaciones. Les deseamos a ambos toda la felicidad del mundo. Συγχαρητήρια. Σας ευχόμαστε όλη την ευτυχία του κόσμου. Se usa al felicitar a una pareja de recién casados Felicitaciones

Διαβάστε περισσότερα

Tema 7. Glúcidos. Grados de oxidación del Carbono. BIOQUÍMICA-1º de Medicina Dpto. Biología Molecular Isabel Andrés. Alqueno.

Tema 7. Glúcidos. Grados de oxidación del Carbono. BIOQUÍMICA-1º de Medicina Dpto. Biología Molecular Isabel Andrés. Alqueno. Tema 7. Glúcidos. Funciones biológicas. Monosacáridos: nomenclatura y estereoisomería. Pentosas y hexosas. Disacáridos. Enlace glucídico. Polisacáridos de reserva: glucógeno y almidón. Polisacáridos estructurales:

Διαβάστε περισσότερα