Universidad Autnoma de Yucatn Facultad de Matemticas Mtodos formales en especificacin y diseo de software

Lee cuidadosamente cada uno de los siguientes ejercicios y realiza lo que se te indica.
1. Define el conjunto de tringulos rectngulos cuyos lados tienen longitudes enteras. 2. Define la funcin mes que extraiga el componente MES de un FECHA. 3. En Z, el smbolo mod se utiliza para denotar el resto de una divisin entera y el smbolo .. se utiliza para denotar un rango de nmeros. Por ejemplo: (9mod4=1), (2..8 = {2,3,4,5,6,7,8}). Usando estos operadores, realiza una definicin axiomtica para: Definir el conjunto Compuestos, que est formado por los enteros estrictamente positivos que no son primos (el conjunto Primos est formado por todos los enteros estrictamente positivos que slo tienen como divisores a s mismos y a la unidad). 4. Dados a y b elementos del conjunto persona, escribimos a hijo b para indicar que a es hijo de b. Utilizando la relacin hijo, define mediante una definicin axiomtica: a) La relacin padre, que se da entre dos personas cuando la primera es el hijo de la segunda. b) La relacin hermano, que se da entre dos personas que tienen el mismo padre. c) La relacin primo, que se da entre dos personas cuando el padre de una de ellas es hermano del padre de la otra.