ESTRUCTURAS DISCRETAS: Unidad I: Lgica y conjuntos
Lgica
M.Sc. Donia A. Ruelas Acero
donializ7@gmail.com PRIMER TRABAJO ENCARGADO:
Investigar sobre las aplicaciones de las
matemticas discretas LGICA El ser humano, a travs de su vida diaria se comunica con sus semejantes a travs de un lenguaje determinado que puede ser verbal, escrito u otros; esto se da a travs de las denominadas frases u oraciones, las cuales tienen diferentes significados que se resumen en verdaderas o falsas, siento este el precedente fundamental para el desarrollo humano. Que es la Lgica? Disciplina que estudia los principios formales del conocimiento humano, es decir, las formas y las leyes mas generales del pensamiento humano considerado puramente en si mismo, sin referencia a los objetos Proposiciones y enunciados logicos Es el significado de cualquier frase declarativa que puede ser verdadero o falso. A las proposiciones o enunciados se les puede asignar un de los valores 1 si es verdadero o 0 si es falso, por ese motivo se le denomina lgica bivalente. Ejemplos La frase 234 = 234 es un enunciado, puesto que puede ser verdadero o falso. Llover maana es una proposicin, para conocer su valor de verdad tenemos que esperar hasta maana. El cielo es azul y las rosas son rojas, es un enunciado compuesto, dado que este contiene dos enunciados: El cielo es azul y las rosas son rojas X + 6 98 = 15 es una ecuacin que adquiere un valor de verdad o falsedad cuando a X se le asignan diferentes valores, esto se conoce como proposicin condicional Ejemplos La frase 234 = 234 es un enunciado, puesto que puede ser verdadero o falso. Llover maana es una proposicin, para conocer su valor de verdad tenemos que esperar hasta maana. El cielo es azul y las rosas son rojas, es un enunciado compuesto, dado que este contiene dos enunciados: El cielo es azul y las rosas son rojas X + 6 98 = 15 es una ecuacin que adquiere un valor de verdad o falsedad cuando a X se le asignan diferentes valores, esto se conoce como proposicin condicional Actividad Nro. 1 Tablas de verdad Es una herramienta desarrollada por: Charles Peirce en los aos 1880, siento sin embargo mas popular el formato de LudwingWittgenstein desarrollo en su Tractatus lgico-philosophicus. Tablas de verdad Son empleadas para determinar los posibles valores de verdad de una expresin o proposicin. Que son los conectivos lgicos? Son operadores entre proposiciones que permiten construir proposiciones de mayor complejidad, en base a otras proposiciones simples o atmicas Conectivos lgicos Negacin: ~ P Conjuncin: P ^ Q Disyuncin: P v Q Condicional: P -> Q Bicondicional: P<-> Q Orden de prioridad Negacin Conjuncin Disyuncin Condicional Bicondicional Negacin (~) Ley de doble negacin Proposiciones compuestas Conjuncin Disyuncin (OR) Disyuncin exclusiva (XOR) Condicional (->) Equivalencia Ejemplo Actividad Nro. 2 Leyes del algebra de proposiciones Leyes del algebra de proposiciones Idempotencia Asociativa Conmutativa Distributiva Identidad Complemento D Morgan Argumentos y reglas de inferencia Qu es argumento? Ejemplo Actividad Nro. 3 Argumentos y reglas de inferencia