Teoremas de Ia teoria Il Cada vez que tenemos una teoria matematica con objetos y axiomas, una pregunta natural es: {cuando dos objetos son “iguales"? En este caso, el concepto matemdtico de isomorfismo pretende captar la idea de tener la misma estructura o de ser identificables como el mismo objeto Mas precisamente, dos estructuras matematicas entre las que existe una relacién de identificacién que nos permita en algtin sentido decir que son iguales es una idea muy potente, Porque permite trabajar con objetos y estructuras de alguna de ellas como si fueran “iguales’. En légica el primer acercamiento a este concepto es el de equivalencia légica, el cual permite identificar proposiciones que preservan el valor de verdad, Caso de analisis La ingeniera Carolina adapta temporizadores en las llaves de un circuito acuifero y genera el siguiente diagrama: Figura 1. Diagrama circuito acuifero fan®) ho ave 1 Fuente sald aves Facay(t) Fuente: elaboracién propia. Ahora desea estudiar la evolucién completa del sistema y determinar todos los momentos y estados posibles en los que saldra agua del circuito. Nota: Es necesario tener en cuenta que sin es un numero natural y Ty Tr Nees una coleccién de numeros naturales tales que Os c A c c A c Esta tabla muesiva las comblnaciones de apertura de las laves en funcldn de las funciones tempotizadoras. Notar que * Sit =0mod 3 Los estados de las Ilaves 1, 2 y 3 son C, C, A respectivamente, esto significa que Aj es falsa, Ag es falsa, y Ag es verdadera. Notar que * Si t=1mod3 Los estados de las llaves 1, 2 y 3 son A, A, C respectivamente, esto significa que Aj es verdadera, Az es verdadera, y A es falsa Notar que + Si t =2mod3 Tabla 6: Clasificacién de estados posibles Vv Vv Vv t 1mod3 2 mod 3 0 mod 3 maama<<< Vv F Vv F v F Vv F ma Q=PVQ Verdadero, Falso. Referencias Johnsonbaugh, R. (2005). Matematicas discretas. (6a. ed.) (Traduccién Marcia Aida Gonzélez). México: Pearson Educacién, ProQuest. Revision modulo 1 = Objetos de la teoria = Axiomas de la teoria = Teoremas de la teoria | = Teoremas de la teoria II