Objetos de la teoria Introduccion En toda teoria matematica buscamos construir modelos mateméaticos capaces de formalizar situaciones reales. Los modelos son la representacién de situaciones dentro de un lenguaje formal adecuado. Los objetos de nuestro modelo son expresiones bien escritas, pueden tomar valores de verdad o falsedad (pero no ambos al tiempo). El modelo en que nos centramos busca describir completamente como escribir de manera formal expresiones correctas, como crear nuevas y cémo describir los valores de verdad de las nuevas proposiciones. 1. Caso de analisis La empresa TempLogic crea temporizadores que abren o cierran llaves de paso en funcién de cémo han sido programados. La ingeniera Carolina necesita una llave de las que produce TempLogic. La llave debe ser abierta durante dos minutos y luego cerrada durante un minuto, y este ciclo debe repetirse siempre que esté encendido el sistema al cual pertenece la llave. Encontrar de forma analitica una funcién que modele el temporizador y determine el estado de llave en cada instante del tiempo. 2. Proposiciones y conectores ldgicos Definicion 1 Una proposicién es una afirmacién que toma un valor de verdadera, en cuyo caso lo indicaremos con V, 0 falsa, y lo denotaremos con F, pero no ambos valores al mismo tiempo. A las proposiciones las simbolizamos mediante las letras P,Q,R,S, Definicion 2 Un conector ldgico es un operador que toma una o dos proposiciones y arroja como resultado una nueva proposicién. Se caracteriza por medio de un simbolo o una palabra que se utiliza para ‘cambiar una proposicién o conectar dos proposiciones. Si una proposicién esta formada por otras proposiciones, se llama proposicién compuestaEjemplo 1 El conector “no” toma una proposicién P y devuelve una proposicién P. no P, © simbdlicamente En ambos casos leemos a la nueva proposicién como: no P. Ejemplo 2 El conector “o” toma dos proposiciones P, Q y devuelve una proposicion Pog, ‘0 simbdlicamente PvQ. En ambos casos leemos a la nueva proposicién como: P 0 Q Ejemplo 3 El conector “y" toma dos proposiciones P , Q y devuelve una proposicién PyQ ‘0 simbélicamente PAQ. En ambos casos leemos a la nueva proposicién como: P_ y Q. Ejemplo 4 El conector “entonces’ (o implica) toma dos proposiciones P , Q y devuelve una proposiciénP entonces Q, 0 simbdlicamente PQ. En ambos casos leemos a la nueva proposicién como: PentoncesQ. En este caso la proposicion P es llamada hipotesis (supuesto 0 antecedente) y la proposicién Q es llamada tesis (consecuente o conclusién). Ejemplo 5 El conector “si y solo si” (0 bicondicional) toma dos proposiciones P , Q y devuelve una proposicién Psiy solo siQ, ‘0 simbdlicamente Peg. En ambos casos leemos a la nueva proposicién como: P si y solo si Q Solucién del caso Prestemos mucha atencién a la condicién: la llave debe ser abierta durante dos minutos y luego cerrada durante un minuto y este ciclo debe repetirse. Consideremos la proposicién: A: La llave esta abierta. Y la proposicién ~ A:la llave esta cerrada. Sea t la variable del tiempo medida en minutos. Supongamos que la llave inicia su funcionamiento en el tiempoen cuyo caso la llave esta abierta, es decir, es valida la proposicin A. Luego de transcurrido un minuto (el minuto 0), el estado de la Ilave continua abierta, por lo tanto, cuando la llave esta abierta, es decir, es valida la proposicién A. Sin embargo, una vez transcurridos los dos minutos, la llave debe cerrarse, en cuyo caso cuando t=2 la llave esta cerrada, es decir, es valida la proposicién ~ Tabla 1: Caso de anilisis Como bien podemos notar, cada tres minutos se repite el ciclo, Ahora bien, la expresin analitica que resume a la funcién de la tabla es A Sit =0,3,6,9.. A Sit=1,4,7,10.. ~A Sit =2,5,8,11 Los valores t =0,3,6,9... Satisfacen la condiciént =0 mod 3 Los valores ¢=1,4,7,10... Satisfacen la condicién t=1mod3 Los valores Satisfacen la condicién t =2mod3 Asi pues, podemos expresar la funcién que modela los estados de la llave que usara la ingeniera Carolina mediante : _{ A Sit=0mod3 ot =1mod3 fant ={4, Sit = 2mod3 Ejemplo 6 A nivel de programas informéticos, podemos pensar en Instrucciones de Play/Pause de programas o rutinas. Este ejemplo utiliza la funcién Timer para pausar la aplicacién. El ejemplo también usa DoEvents para ceder a otros procesos durante la pausa. Figura 1: Ejemplo de programa informatico con Timer y DoEvents= EE Fuente: [Imagen sin titulo sobre ejemplo de programa informatica). (s.f). Recuperada de https:/docs.microsofl.com/en- Usfoffice/vba/languagelreferenceluser-interface-helpvtimer-function sean % P+ tres nimeros reales, la negacién de la proposicién “Los tres ndmeros son iguales" (a=b=oc),, Los tres nimeros son ditntos, ‘Ai menos dos nimeros son distintos ‘Sélo dos niimeros son iguales. sean % P nameros enteros. Consideremos la proposicion: Si ay b son nimeros impares entonces la suma es par. El antecedente de esta proposicién es: Si ay b son niimeros impares Verdadero. Falso. enReferencias Imagen sin titulo sobre ejemplo de programa informatico. (s.f.). Recuperada de https://docs.microsoft.com/en-us/office/vba/language/reference/user-interface-help/timer-function ¥ aa