Razonamientos validos | Caso Una valvula esta disefiada de modo que cuando la presién ascendente es mayor a la fuerza de cierre ejercida por el resorte, esta abre un vastago inferior. Este proceso permite que el flujo del vapor pase a través de la valvula. Supongamos que la valvula esta sometida a una presién ejercida por un gas desde el interior de un recipiente y que la presién Pp es la maxima presién soportada por la valvula antes de abrirse. Describamos en esta situacién, en forma de razonamiento légico, teniendo en cuenta los estados (abierto/cerrado) de la valvula. gEs este razonamiento légico valido? Formalmente hablando, un sistema matematico consiste de lo siguiente’ Objetos con alguna estructura en particular definida explicitamente Axiomas que son proposiciones sobre los objetos y que asumimos verdaderas. Definiciones que se usan para crear nuevos conceptos en términos de los existentes. Teoremas que son proposiciones que se ha probado que son verdaderas. Dentro de un sistema matematico es posible derivar teoremas. Algunos tipos especiales de teoremas reciben el nombre de + Lemas, que son teoremas de poco interés por si mismos, pero que resultan utiles para probar otros teoremas de mayor interés. * Corolarios, que son teoremas que se derivan con facilidad de otro teorema, En este momento, un argumento que establece la verdad de un teorema se llama demostracién 0 prueba. La ldgica es la herramienta para el andlisis de las demostraciones. En esta seccién se describen algunos métodos generales de demostracién y se usa la ldgica para analizar argumentos validos e invélidos En nuestro contexto:Los objetos son las proposiciones y los conectores légicos que permiten crear nuevas proposiciones. Los axiomas son las tablas de verdad para los conectores. Las definiciones hasta ahora son los nombres de los conectores, las especificaciones sobre las simbologias, las notaciones, entre otros. Los teoremas son las tablas de verdad que podemos concluir. También las equivalencias légicas son teoremas que comparan tablas de verdad entre proposiciones. 1. Razonamiento valido Definicién 1 Sea 71 un numero natural y sean Py, Poy ey Pr Q un conjunto de n + 1 proposiciones, el razonamiento Py, Po, ..,Py/ Q es un razonamiento valido si Py A Pr AAP, > Q se cumple, en caso contrario, se dice que no es valido (0 se dice que es una falacia) Para comprender que PLA P2 AAP, > Q se cumple, tenemos dos estrategias: * La primera consiste en hallar en una tabla de verdad los valores de verdad de las proposiciones Py, Pay PQ y verificar que siempre que todas las proposiciones Pty Pays Pry sean verdaderas, entonces, también resulta verdadera.La segunda estrategia es que podemos probar que la proposicién PiA Pz AAP, > Q es una tautologia. Ejemplo 1 Sean P y Q proposiciones, veamos que el razonamiento P PQ es valido. Mediante la estrategia uno, computaremos la tabla de verdad de P, PQ Y verificamos cada que P y P — Q sean verdad, entonces, Q es verdad Esto lo resumimos en la siguiente tabla de verdad: Tabla 1: Tabla de verdad CE CE Cy v v v v v v F v F F F v F v v F F F v F Fuente: elaboracién propia, Como bien podemos notar, sefialamos que cada que P y P — Q son verdad, entonces, O es verdad. Mediante la estrategia dos, computaremos la tabla de verdad de [PA®>aQ>@como sigue: Tabla 2: Tabla de verdad rae Cara Fuente: elaboracén propia, Solucién del caso Tenemos que A:la valvula esta abierta B: La presién P del sistema es mayor a Py El razonamiento asociado a la apertura de la valvula es B/A. Si tenemos en cuenta que Po, la presién maxima que soporta la valvula antes de abrirse, entonces, si la proposicién B es cierta, entonces, la proposicién A también sera cierta. Esto significa que B/A. Por lo tanto, el razonamiento B/A es un razonamiento valido. En el mundo fisico, naturalmente, estamos limitados por las leyes fisicas. Asi que el desgaste de la valvula puede cambiar el valor de Po, 0 una mala fabricacién puede producir un mal funcionamiento de la valvula, entre otros tantos inconvenientes. Desafortunadamente, la logica no se ocupa de determinar si A, B son ciertas, solo se ocupa de garantizarnos que B/A es un razonamiento valido de forma indiferente a los significados de las proposiciones A, B. Elegir el razonamiento valido: ~P+~Q,~P/~Q P+~Q,~P/~Q~P+~0,P/~0 Rens Sean P y Q proposiciones, veamos que el razonamiento En el razonamiento sobre si las premisas son verdaderas, la conclusion es verdadera. Verdadero, Falso. Referencias Johnsonbaugh, R. (2005), Matematicas discretas. (6a. ed.) (Traduccién Marcia Aida Gonzalez). México: Pearson Educacién, ProQuest.