Lógica matemática Tipos de proposiciones Conectivos lógicos Tablas de verdad
Elementos de la lógica matemática
Lógica matemática Lógica matemática. Es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un argumento dado. El razonamiento lógico se emplea en matemáticas para demostrar teoremas; en ciencias de la computación para verificar si son o no correctos los programas; en las ciencias física y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento lógico para realizar cualquier actividad. El objetivo de la lógica matemática es cuestionar los conceptos y las reglas de deducción que son utilizadas en las matemáticas y esto constituye a la lógica una verdadera matemática. Es la disciplina que estudia métodos de análisis y razonamiento; utilizando el lenguaje de las matemáticas como un lenguaje analítico. La lógica matemática nos ayuda a establecer criterios de verdad, equivalencias lógicas tales como el silogismo, hacer demostraciones de teoremas que participan en el análisis de argumentos planteados. Suele dividirse en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de los sistemas formales en relación con el modo en el que codifican conceptos intuitivos de objetos matemáticos como conjuntos, números, demostraciones y computación.
Tipos de proposiciones En adelante cuando hablemos de proposiciones, éstas serán lógicas. Si son abiertas, significará que el conjunto de sustituciones está bien definido y la harán verdadera o falsa. Para operar con las proposiciones, éstas se clasifican en dos tipos: Simples y Compuestas, dependiendo de cómo están conformadas. Proposiciones Simples: Son aquellas que no tienen oraciones componentes afectadas por negaciones ("no") o términos de enlace como conjunciones ("y"), disyunciones ("o") o implicaciones ("si . . . entonces"). Pueden aparecer términos de enlace en el sujeto o en el predicado, pero no entre oraciones. Proposiciones Compuestas: Una proposición será compuesta si no es simple. Es decir, si está afectada por negaciones o términos de enlace entre oraciones componentes.
Conectivos lógicos Conjunción: En razonamiento formal, una conjunción lógica ( ) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en cierto sólo si ambas proposiciones son ciertas, y en falso de cualquier otra forma. Existen diferentes contextos dónde se utiliza la conjunción lógica. En lenguajes formales, la palabra "y" se utiliza en español para simbolizar una conjunción lógica. La noción equivalente en la teoría de conjuntos es la intersección ( ).
Disyunción: En razonamiento formal, una disyunción lógica ( ) (en específico, una disyunción inclusiva) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en falso sólo si ambas proposiciones son falsas, y en cierto de cualquier otra forma. Existen diferentes contextos dónde se utiliza la disyunción lógica. En lenguajes formales, la palabra "o" se utiliza en español para simbolizar una disyunción lógica. Se debe distinguir entre el "o" inclusivo y el "o" exclusivo. La noción equivalente en la teoría de conjuntos es la unión ( ). Implicación: También conocido como implicación material, condicional funcional de verdad o simplemente condicional, es una constante lógica que conecta dos proposiciones. El condicional material intenta ser la versión formal del condicional en el lenguaje natural, el cual se expresa por medio de palabras como las siguientes:
o Si llueve, entonces voy al cine. o Voy al cine si llueve. o Cuando llueve, voy al cine. Simbólicamente, el condicional material se suele denotar de las siguientes maneras:
, y en ocasiones:
Donde A y B son proposiciones cualesquiera. Las variables A y B se conocen
respectivamente como el antecedente y el consecuente del condicional.
Doble implicación: En matemáticas y lógica, un bicondicional, (también llamado equivalencia o doble implicación, es una proposición de la forma «P si y solo si Q y afirma que la proposición P será verdadera exclusivamente cuando Q también lo sea, así como también P será falsa cuando Q lo sea. Otra forma de expresar el bicondicional es decir que Q es una condición necesaria y suficiente para P
Negación: En lógica y matemática, la negación, también llamada complemento lógico, es una operación sobre proposiciones, valores de verdad, o en general, valores semánticos. Intuitivamente, la negación de una proposición es verdadera cuando dicha proposición es falsa, y viceversa.
Tablas de verdad Las tablas de verdad son, por una parte, uno de los métodos más sencillos y conocidos de la lógica formal, pero al mismo tiempo también uno de los más poderosos y claros. Entender bien las tablas de verdad es, en gran medida, entender bien a la lógica formal misma. En esta sesión haremos algunas reflexiones alrededor de las tablas de verdad cómo pretexto. una tabla de verdad es un dispositivo para demostrar ciertas propiedades lógicas y semánticas de enunciados del lenguaje natural o de fórmulas del lenguaje del cálculo proposicional: - Sin son tautológicas, contradictorias o contingentes - Cuáles son sus condiciones de verdad - Cuál es su rol inferencial, es decir, cuáles son sus conclusiones lógicas y de qué otras proposiciones se siguen lógicamente El procedimiento para construir una tabla de verdad es sencillo y relativamente mecánico; en esta plática, asumiré que todos saben ya cómo hacer una tabla de verdad para cualquier fórmula del cálculo proposicional clásico. Para aplicar el método de tablas de verdad a un enunciado o proposición, por lo tanto, es necesario primero simbolizarlo, es decir, determinar qué fórmula del lenguaje proposicional muestra su forma lógica y, luego, elaborar la tabla de verdad de dicha fórmula.
