1 de 15. LOGICA Y RAZONAMIENTO MATEMATICO Paulina Gómez Depto de Matemáticas
|
|
- Pedro Ramírez Fidalgo
- hace 7 años
- Vistas:
Transcripción
1 LOGICA Y RAZONAMIENTO MATEMATICO Paulina Gómez Depto de Matemáticas 1.1 CONCEPTO DE LOGICA En nuestro lenguaje habitual, decimos que algo es lógico si es consecuente y ordenado e ilógico si no tiene coherencia interna. LOGICA viene de la palabra LOGIA (del grigo LOGOS) que significa estudio racional, por tanto, la lócica es la ciencia que estudia los razonamientos y los expresa mediante un lenguaje, es pues, el estudio de los métodos que permiten evaluar argumentos o razonamientos para decidir si la conclusión está sustentada por unos enunciados (premisas) iniciales. 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. La lógica matemática proporciona métodos para determinar cuando un razonamiento es válido. Estudia los principios de los razonamientos correctos, sin embargo no garantiza que llegemos a conclusiones verdaderas, ya que podemos partir de enunciados falsos. 1.2 ALGO DE HISTORIA Durante el periodo de 600 AC hasta 300 AC, en Grecia se desarrollaron los principios formales de las matemáticas. A este periodo se le conoce como periodo clásico, donde sus principales representantes son Platón, Aristóteles y Euclides. Platón introduce sus ideas o abstracciones; Aristóteles presenta el razonamiento deductivo y sistematizado y Euclides es el personaje que mayor influencia tuvo en las matemáticos, al establecer el método axiomático. Platón ( AC) intenta instaurar en Siracusa una utópica república dirigida por filósofos, y crea la Academia en Atenas, que no era solo una institución filosófica, sino servía de formación política a los jóvenes de la aristocracia.). Sostuvo la existencia de dos mundos distintos (el de las ideas y el de las cosas). Según Platón, lo concreto se entiende sólo en función de lo abstracto, resultando que el mundo sensible debe su existencia al mundo de las ideas. Platón escogió el diálogo como su forma literaria para verter su pensamiento; como personaje central de sus Diálogos sitúa a Sócrates, de quien recibió una notable influencia. Aristóteles. Los tratados de lógica de Aristóteles ( a.c.), conocidos como Organón, contienen el primer tratamiento sistemático de las leyes de pensamiento en relación con la adquisición de conocimiento. Estos representan el primer intento de establecer a la lógica como ciencia. Aristóteles da una clasificación de todos los conceptos o nociones (sustancias, cantidad, relación, acción, pasión, diferencia, propiedad y accidente) y trata las reglas del razonamiento silogístico. Aristóteles no hace 1 de 15
2 de la lógica una disciplina metafísica, pero si establece una correspondencia entre el pensamiento lógico y la estructura ontológica. El silogismo fue adoptado por los escolásticos (representantes del sistema teológicofilosófico, característico de la Edad Media) quienes la enriquecieron con numerosos y detallados estudios y se esforzaron en formalizarlo. La escolástica, sin embargo, acabó por sobrecargar la teoría del silogismo, lo que acarreó su descrédito. Los escolásticos prestaban gran atención al método, se caracterizaban por el artificio verbal. En el siglo XVII, Leibniz fue el primero formular la lógica como base del razonamiento matemático. La lógica nace como ciencia en el siglo XIX. En 1854 Geoge Boole publico su libro Leyes del Pensamiento, en el que proporciona un modelo algebraico de la lógica de proposiciones, a él se le debe el ALGEBRA DE BOOLE utilizada en el diseño de circuitos lógicos. En 1879, Gottob Frege publica Fundamentos de aritmética conceptualmente derivada en el cual formaliza la lógica de predicados. En el siglo XX se destacan entre otros, Berttrand Russel, Peano, Hilbert y Godel. A mediados del siglo XX con la aparición de ls computadores surgió la necesidad de determinar si era posible especificar formalmente programas y definir sistemas de demostración automática de teoremas, se habla entonces de la lógica informática, nace la inteligencia artificial y el primer lenguaje declarativo: LISP de McCarthy. En 1972 Colmerauer creo el primer lenguaje de programación lógica, el PROLOG. Después de los años 80 se empiezan a utilizar las lógicas no clásicas, que permiten dar una interpretación probabilistica de la incertidumbre, por ejemplo la lógica difusa (borrosa y fussy) 1.3 CONCEPTOS DE VERDAD Y VALIDEZ Verdad El concepto de verdad es uno de los más controvertidos de la Filosofía. En este contexto, se dice que un enunciado (o una proposición) es verdadero, cuando hay una correspondencia entre la realidad y el enunciado. Los enunciados o proposiciones se definen como oraciones declarativas que pueden ser verdaderas o falsas. 2 de 15
3 Muchas veces no es problemático determinar el valor de verdad de un enunciado: si afirmo "Esta mesa es de madera", lo normal es que cuente con los medios para establecer su verdad o falsedad. Si afirmo que "Napoleón viajó a Egipto en enero de 1800", "Los protones se componen de electrones y neutrones" me encuentro con unas proposiciones que ha de recurrir a métodos más complejos para averiguar su verdad o falsedad. Lo que debemos recordar en lo sucesivo es que los enunciados sólo son verdaderos o falsos. Nunca diremos que un argumento es verdadero o falso, sino diremos que es válido o inválido. Validez. La lógica se ocupa principalmente de establecer una clara distinción entre razonamientos válidos y razonamientos inválidos. Los razonamientos válidos son aquellos en los que la inferencia entre las premisas y la conclusión es perfecta. Por tanto, lo esencial para determinar si un argumento es o no válido es analizar su forma o estructura (independientemente de su contenido material). A continuación proporcionamos tres formas equivalentes de establecer este criterio de validez: Si las premisas de un argumento válido son verdaderas, entonces su conclusión también es verdadera. Es imposible que la conclusión de un argumento válido sea falsa siendo sus premisas verdaderas. En un argumento válido, la verdad de las premisas es incompatible con la falsedad de la conclusión. En este contexto también consideraremos que las premisas, en tanto que son conjuntos de proposiciones, son verdaderas sólo cuando todas y cada una de ellas sean verdaderas, y que son falsas cuando al menos una de ellas sea falsa. Cuando un argumento no es válido, entonces es inválido; en este caso es posible que la conclusión sea falsa mientras que las premisas son verdaderas. Incluso puede ocurrir que en un argumento inválido (la inferencia es incorrecta) las premisas sean verdaderas y la conclusión sea verdadera o falsa. La validez de la inferencia de un argumento deductivo es independiente de la verdad de sus premisas, pero que sólo podemos garantizar la verdad de la conclusión haciendo una inferencia válida a partir de premisas verdaderas. Solidez. Algunos lógicos afirman que un argumento es sólido cuando es a la vez formalmente válido y materialmente adecuado (sus premisas y su conclusión son verdaderas). 1.4 LENGUAJE NATURAL Para comunicarnos con los demas utilizamos un lenguaje natural, los lenguajes naturales están caracterizados por su gramática que es la que permite decidir si una frase es o nó válida. Por ejemplo: El perro de Luis habla ingles Es una frase válida, tiene un sujeto del cual decimos algo (predicado) y gramaticalmente esta bien construida aunque sea falso lo que se afirma. La SINTAXIS de un lenguaje son las reglas para la formación de frases correctas ( la 3 de 15
4 gramática), no analiza el sentido de la frase sino su construcción desde el punto de vista gramatical. La SEMANTICA se ocupa del sentido de las frases sintácticamente válidas, analiza la relación entre el lenguaje y su significado, se refiere a la interpretación. La frase anterior es sintácticamente válida pero le falta sentido semántico. 1.5 LENGUAJE FORMAL La gramática de los lenguajes naturales se caracteriza por su flexibilidad y su complejidad, es muy complicado, podríamos decir que imposible hacer una representación completa de todas las reglas de un lenguaje natural. Un lenguaje formal cuenta con unos símbolos, unas reglas y unos operadores que permiten establecer relaciones entre ellos. Los lenguajes formales se caracterizan por: Se desarrollan para una teoría preestablecida Tienen un componente semántico mínimo La sintaxis produce resultados que no son ambiguos. Permiten la construcción computacional 1.5 LOGICA CLASICA El lenguaje formal de la lógica se construye a partir de unos elementos básicos (atómicos) llamados proposiciones. En la lógica aristotélica, una proposición (o declaración) es una una oración declarativa, que puede ser verdadera o falsa pero no ambas a la vez (ley del tercio excluido). Las preguntas y las órdenes, por ejemplo, no son afirmaciones. La afirmación x > 5 es falsa cuando x es menor o igual que 5, y verdadera de lo contrario. Hay muchas afirmaciones que no sabemos si son verdaderas o falsas. La lógica se encarga en gran parte de demostrar la verdad o falsedad de cierto tipo de afirmaciones. p: Está haciendo sol. Es una proposición que puede ser verdadera o falsa q: = 21 Es una proposición siempre verdadera r: x > 2y-9 t: Hola como estas? Es valor de verdad de esta proposición depende del valor de x No es una proposición, no puede asignarsele un valor de verdad. s: 0>100 Es una proposición siempre falsa Si una proposición es verdadera se le asigna un valor de verdad V o 1, si es falsa se le 4 de 15
5 asigna un valor de verdad F o 0. Las proposiciones que no contienen operadores lógicos se denominan proposiciones atómicas (primitivas o primarias) cuando se combinan dos a mas proposiciones mediante operadores lógicos se construyen proposiciones moleculares o compuestas. Según su valor de verdad decimos que una proposición es una: Tautología: Contradicción: Indeterminación o contingencia: si siempre es verdadera. es siempre falsa. es una proposición que puede tomar cualquiera de los dos valores de verdad. Por ejemplo: Hace sol. Equivalencia lógica. Dos proposiciones son lógicamente equivalentes, o simplemente equivalentes si siempre toman el mismo valor de verdad. La LÓGICA DE PROPOSICIONES (LP) estudia las fórmulas proposicionales construidas a partir de las proposiciones y los conectivos lógicos SIMBOLO SE LEE SE LLAMA NO Negación Y Conjunción O Disyunción inclusiva O..O Disyunción exclusiva SI ENTONCES Condicional SI Y SOLO SI Bicondicional La LOGICA DE PREDICADOS (LPO) es una generalización de la lógica de proposiciones, distingue entre los objetos y sus propiedades o posibles relaciones, para ello emplea los cuantificadores universales y existenciales. Proposición Universal Afirmativa x, p x Todos los políticos son mentirosos 5 de 15
6 Proposición Universal Negativa Proposición Particular Afirmativa Proposición Particular Negativa x, p x Ningún político es mentiroso x, p x Algunos políticos son mentirosos x, p x Algunos políticos no son mentirosos Proposición Cuando es Verdadera Cuando es Falsa x, p x x, p x x, p x x, p x Al menos para un elemento a del universo la proposición p(a) es verdadera p(a): remplazamos x por a Para cada elemento a del universo la proposición p(a) es verdadera Existe al menos un elemento a del universo, tal que la proposición p(a) es verdadera Para cada elemento a del universo la proposicoión p(a) es falsa, esto es, para todo elemento a del universo la proposición p(a) es verdadera Para cada elemento a del universo la proposición p(a) es Falsa, esto es, para todo elemento a del universo la proposición p(a) es verdadera Existe al menos un elemento a del universo, tal que la proposición p(a) es Falsa, esto es, para algún elemento a del universo la proposición p(a) es verdadera Para todo elemento a del universo la proposición p(a) es verdadera Existe almenos un elemento a del universo tal que p(a) es verdadera RAZONAMIENTOS Un RAZONAMIENTO o ARGUMENTO es un conjunto de dos o más proposiciones relacionadas unas con las otras de tal manera que las proposiciones llamadas 'premisas' se supone que dan soporte a la proposición denominada 'conclusión'. La transición o movimiento desde las premisas hasta la conclusión, es decir, la conexión lógica entre las premisas y la conclusión, es la inferencia sobre la que descansa el argumento. Por ejemplo: Todos los mamimeros son racionales Los perros son mamíferos Es un razonamiento válido aunque una de sus premisas sea falsa 6 de 15
7 Por lo tanto los perros son racionales Si estudio apruebo la asignatura Aprobe la asignatura por tanto estudie Es un razonamiento no válido, puede aprobar aunque no haya estudiado En un razonamiento tenemos una o varias proposiciones y apoyados en ella (o ellas) inferimos una conclusión. Entíendase que hay razonamiento si la conclusión se apoya en las premisas, de cualquier otra manera puede haber pensamiento (en sentido general), reflexión, cavilación, especulación, discusión, descripción, explicación o lo que se quiera... pero no hay *razonamiento*. Un razonamiento es válido si la conclusión es necesariamente verdadera siempre que las premisas sean verdaderas Las palabras antes mencionadas pueden incluir razonamientos (algo que sería de desear, por ejemplo, en toda discusión) pero no son categorías idénticas. Es obvio que se puede discutir sin razonar (un modelo de ello podrían ser las "tipicas" discusiones pareja). Cómo se localiza un razonamiento? Cómo decirle a una máquina inteligente, por ejemplo, que está escuchando o leyendo un razonamiento?. Existen, como dice Copi, 'indicadores de conclusión': "Entre los más comunes (...) se cuentan "por lo tanto", "por ende", "así", "luego", "por consiguiente", "se sigue que", "podemos inferir" y "podemos concluír". Existen dos tipos de razonamientos: Razonamientos deductivos y razonamientos inductivos. Un RAZONOMIENTOS DEDUCTIVO es válido cuando sus premisas ofrecen un fundamento seguro para la conclusión. Ejemplos: 1. Todas las ballenas don mamíferos Todos los mamíferos tienes pulmones Todas las ballenas tienen pulmones 7 de 15
8 En este caso el razonamiento es válido y las premisas son verdaderas 2. Todas las arañas tiene seis patas Todos los seres de seis patas tienen alas Todas las arañas tienen alas. En este caso el razonamiento es válido y las premisas son falsas. 3. Si yo poseyera todo el oro de Fort Knox será muy rico No poseo todo el oro de Fort Knox no soy muy rico En este caso el razonamiento es inválido y las premisas son verdaderas Un RAZONAMIENTO INDUCTIVO no pretende que sus premisas ofrezcan una evidencia total de la verad de la conclusión, sino que ofrezcan cierta evidencia de ella. No son válidos o inválidos. Los argumentos inductivos, por lo tanto, cumplen con su criterio de corrección en un mayor o menor grado, dependiendo de la cantidad y calidad del apoyo que reciban. Ningún argumento inductivo es completamente perfecto o enteramente inútil, aunque se puede elegir cuál de entre varias inducciones es relativamente mejor o peor que otras en el sentido de que se asegure la verdad de la conclusión con un mayor o menor grado de probabilidad. En tales casos, información adicional relevante de algún modo relacionada con el argumento con frecuencia puede afectar a la fiabilidad de un argumento inductivo al proporcinar otra evidencia que cambie nuestra estimación de la probabilidad de la verdad de la conclusión. Las inferencias inductivas proceden desde lo particular hacia lo general, desde lo menos general hacia lo más general, y no tienen un término medio que conecte firmemente una verdad con otra Inferencias deductivas Inferencias inductivas La deducción descansa en la aceptación de un principio general, y razona desde dicho principio general, a través de pasos bien establecidos y firmes, hasta la conclusión. En los argumentos deductivos la garantía de que de la verdad de las premisas se sigue la verdad de la conclusión ocurre porque en la inferencia deductiva válida la Las inferencias razonan a partir de repetidas observaciones particulares (que con frecuencia son observables, empíricas, captables por nuestros sentidos) hacia verdades más generales por medio de generalizaciones estadísticas y analogías (que con frecuencia son inobservables). La inferencia inductiva válida sólo garantiza la verdad de la conclusión a partir de la verdad de las premisas sólo en un cierto grado porque la conclusión aporta más 8 de 15
9 conclusión no afirma contenido material alguno más allá de lo que afirman las premisas. Con la inferencia deductiva válida, en realidad no ampliamos nuestros conocimientos, sino que los expresamos de otro modo. Por ello, información adicional sobre las premisas no modificará la calidad de la deducción. Los argumentos deductivos parece que juegan un papel más importante en las disciplinas que tienen un contenido teórico más prominente, como las matemáticas o la filosofía. información de la que está contenida en las premisas. Este es el motivo de que la información adicional con frecuencia pueda jugar un papel determinante para juzgar el grado de validez de una inferencia inductiva. Los argumentos inductivos juegan un papel más importante en las disciplinas que tienen mayor contenido empírico, como la física, la química, la biología, etc. Una FALACIA es un razonamiento incorrecto, en lógica se llama FALACIA a un razonamiento incorrecto que parece correcto. Ejemplos: 1. Si Ardila Lule poseyera todo el oro de Fort Knox será muy rico Ardila Lule no posee todo el oro de Fort Knox Ardila Lule no soy muy rico 2. Sea a = b multiplicando por a, se tiene que a 2 = ab, restando b 2 a cala lado de la igualdad: a 2 -b 2 = ab-b 2 (a+b)(a-b) = b(a-b) a+b = b 2b = b 2 = 1 factorizando (diferencia de cuadrados) dividiendo por (a-b) se tiene que pero a = b, luego dividiendo por b, se concluye que 3. cos 2 x = 1-sen 2 x 1+cosx = 1+(1-sen 2 x) 1/2 (1+cosx) 2 = (1+(1-sen2x) 1/2 ) 2 para x = π, (1-1) 2 = (1+(1-0) 1/2 ) 2 0 = (1+1) 2 0 = 4 Halle el error en los razonamientos anteriores. 9 de 15
10 Un DILEMA es un problema que puede resolverse mediante dos soluciones, ninguna de las cuales es completamente aceptable. Ejemplo: El dilema del prisionero El enunciado clásico del dilema del prisionero es: La policía arresta a dos sospechosos. No hay pruebas suficientes para condenarlos, y tras haberlos separado, los visita a cada uno y les ofrece el mismo trato. Si uno confiesa y su cómplice no, el cómplice será condenado a la pena total, diez años, y el primero será liberado. Si uno calla y el cómplice confiesa, el primero recibirá esa pena y será el cómplice quien salga libre. Si ambos permanecen callados, todo lo que podrán hacer será encerrarlos durante seis meses por un cargo menor. Si ambos confiesan, ambos serán condenados a seis años. Lo que puede resumirse como: Tú lo niegas Tú confiesas Él lo niega Ambos son condenados a 6 meses Él es condenado a 10 años; tú sales libre Él confiesa Él sale libre; tú eres condenado a 10 años Ambos son condenados a 6 años. Vamos a suponer que ambos prisioneros son completamente egoístas y su única meta es reducir su propia estancia en la cárcel. Como prisioneros tienen dos opciones: cooperar con su cómplice y permanecer callado, o traicionar a su cómplice y confesar. El resultado de cada elección depende de la elección del cómplice. Desafortunadamente, uno no conoce qué ha elegido hacer el otro. Incluso si pudiesen hablar entre sí, no podrían estar seguros de confiar mutuamente. Hay varios tipos de dilemas, los mas comunes son: DILEMA SIMPLE CONSTRUCTIVO: Consta de dos premisas condicionales con el mismo concecuente y una disyunción de los dos antecedentes Si estos libros dicen lo mismo que el Corán hay que quemarlos (están de mas) Si dicen algo distinto, hay que quemarlos, porque contradicen el Corán. Estos libros hay que quemarlos DILEMA SIMPLE DESTRUCTIVO. Consta de dos premisas condicionales y una disyunción que niega los dos consecuentes. Si estudio me va bien en la universidad Si estudio mis padres serán felices No me va bien en la universidad o mis padre no son felices por tanto no estudio PARADOJA: Una paradoja es una declaración en apariencia verdadera que conlleva a 10 de 15
11 una auto-contradicción lógica o a una situación que contradice el sentido común. En palabras simples, una paradoja es lo opuesto a lo que uno considera cierto. Una paradoja clásica es aquella que nos cuenta Cervantes en el Don Quijote: Merced a su ingenio sencillo de campesino, Sancho Panza divirtió al Duque y a la Duquesa que lo pusieron a cargo del gobierno de la ínsula de Barataria. Sancho dejó admirados a los circunstantes por sus juicios y sentencias. Se extendió fuera de la isla su fama, y ella trajo un forastero con el fin de plantearle una cuestión al Gobernador. El texto de Cervantes es: Señor, un caudaloso río dividía dos términos de un mismo señorío...y esté vuesa merced atento porque el caso es de importancia y algo dificultoso. Digo, pues, que sobre este río estaba una puente, y al cabo de ella, una horca y una como casa de audiencia, en lo cual de ordinario había cuatro jueces que juzgaban la ley que puso el dueño del río, de la puente y del señorío, que era en esta forma Si alguno pasara por esta puente de una parte a otra, ha de jurar primero adonde y a que va; y si jurare la verdad, déjenle pasar; y si dijere mentira, muera, por ello ahorcado en la horca que allí se muestra, sin remisión alguna. Sabida esta ley y la rigurosa condición della pasaban muchos, y luego en lo que juraban se echaba de ver que decían la verdad, y los jueces los dejaban pasar libremente. Sucedió,,pues que tomando juramento a un hombre, juró y dijo que para el juramento que hacía, que iba a morir en aquella horca que allí estaba, y no a otra cosa. Repararon los jueces en el juramento, y dijeron Si a este hombre lo dejamos pasar libremente, mintió en su juramento, y conforme a la ley debe morir; y si lo ahorcamos, él juró que iba a morir en aquella horca, y habiendo jurado la verdad, por la misma ley debe ser libre. Pídase a vuesa merced, señor gobernador, que harán los jueces de tal hombre; que aún hasta agora están dudosos y suspensos. Y habiendo tenido noticia del agudo y elevado entendimiento de vuesa merced, me enviaron a mi a que suplicase a vuesa merced de su parte diese su parecer en tan intrincado y dudoso caso. La paradoja se puede resumir en el siguiente diagrama Otro ejemplo de paradoja es el siguiente: Una tribu de indios sacrifica a todos los exploradores que entran en su territorio. Tienen 11 de 15
12 2 altares, uno llamado de la Verdad y otro de la Mentira donde se realizan los sacrificios de acuerdo a una respuesta de la víctima fuera verdadera o falsa. Como es la decisión ante el siguiente caso? Pregunta: Donde te vamos a matar? Respuesta: En el altar de la Mentira Opciones: 1.- Si la respuesta fuera verdadera el sacrificio debería cumplirse en el altar de la Verdad. 2.- Si la respuesta fuera el sacrificio debería cumplirse en el altar de la Mentira. En ambos casos cualquier la decisión sería contradictoria. LOGICA PROPOSICIONAL Se habla de dos tipos de enuciados o proposiciones: Atómicas: Constan de una sola proposición, no se pueden descomponer más. Por ejemplo: El gato sonrió la ver al ratón. Moleculares: Compuestas por dos o más proposiciones, consta de varios enunciados atómicos, se pueden descomponer. Ejemplo: El gato sonrió al ver al ratón y el ratón huyó. Para simbilizar las proposiciones generalmente se utilizan las letras minúsculas a partir de la p, como son la p, q, r, s, etc. CONECTIVOS LOGICOS Son términos que conectan los enunciados atómicos, formando así los enunciados moleculares LA CONJUNCIÓN ( p q ) p q p q LA DISYUNCIÓN ( p q ) p q p q La conjunción p q es verdadera si y solo si las dos proposiciones son verdaderas. Basta con que una de las proposiciones sea falsa para que la conjunción sea falsa. La disyunción p q es verdadera si y solo si al menos una de las dos proposiciones es verdadera. Es falsa únicamente cuando las dos proposiciones son falsas. La disyunción p q se utiliza en el sentido inclusivo, La o exclusiva ( p q o p q ) 12 de 15
13 es verdadera sí exactamente una de las es verdadera, es decir, es falsa si las dos proposiciones son verdaderas o las dos son falsas. LA NEGACIÓN p p CONDICIONAL La negación p es verdadera si p es falsa y falsa si p es verdadera. En lenguaje natural la expresamos como: No es el caso que po también es falso que p. Para denotar p se utilizan tambien los símbolos p', ~p, p Si p y q son proposiciones, la proposición compuesta si p entonces q es una proposición condicional, que se nota p q, se define p q. p q p q Es decir, la HIPÓTESIS expresa una CONDICIÓN SUFICIENTE para la conclusión. La CONCLUSIÓN expresa una CONDICIÓN NECESARIA para la hipótesis. p es la hipótesis ( o antecedente) y q es la conclusión ( o consecuente). p q p es una condición suficiente para q q es una condición necesaria para p. La proposición p q puede ser verdadera aunque la proposición q p sea falsa, la proposición q p es la recíproca de p q. La proposición p q es la proposición contraria de p q La proposición q p es la contrarrecíproca de p q, además p q p q Si la proposición p q es una tautología (siempre verdadera) decimos que p implica q y se denota p q BICONDICIONAL. La proposición bicondicional, se nota por p q, se define p q (p q) (q p) p q p q q p (p q) (q p) Si la proposición es una tautología se dice que p y q son proposiciones equivalentes y se denota por p q. 13 de 15
14 ORDEN DE PRIORIDAD DE LOS CONECTIVOS LOGICOS Se utilizan los paréntisis para indicar el orden en que se aplican los operadores logicos en una proposición compuesta, para evitar el uso excesivo se definen las prioridades de la siguiente manera: i) La negación tiene prioridad sobre los demas opredores. p q significa ( p) q nunca se entendera como (p q) ii) El operador conjunción tiene prioridad sobre la disyunción, p q r significa (p q) r. iii) Los operadores condicionales son los de menor prioridad, y entre ellos el condicional ( ) tiene prioridad sobre el bocondicional ( ) ALGUNAS EQUIVALENCIAS LOGICAS Disyunción Conjunción Condicional Bicondicional p q ( p q) p q ( p q) p q p q p q ((p q) (q p)) Disyunción exclusiva p q ( p q ). Axiomas y reglas de transformación. ( p p ) p q ( p q ) ( p q ) ( q p ) ( p q ) [ ( r p ) ( r q ) ] LEYES DE LA LÓGICA DE PROPOSICIONES 1) Ley de identidad p p p p. 2) Ley de la doble negación p p. 3) Ley del tercio excluido p p (siempre es 1). 4) Ley de contradicción (p p) p p (siempre es 0). 5) Leyes de Morgan (p q) ( p q) (p q) ( p q). 6) Ley de reducción al absurdo [ p (q q)] p. 7) Ley Contrapositiva p q q p. 14 de 15
15 8) Leyes de conmutación (p q) (q p) ; (p q) (q p) (p q ) (q p) 9) Leyes de asociación [(p q) r] [p (q r)] [(p q) r] [p (q r)] [(p q ) r] [p (q r)] 10) Leyes de transposición (p q) ( q p) (p q) ( q p) 11) Leyes distributivas [p ( q r)] [(p q) (p r)] [p ( q r)] [(p q) (p r)] ; [p ( q r) ] [ (p q) (p r) ] [ p ( q r) ] [ (p q) (p r) ] 12) Ley de permutación [ p ( q r ) ] [ q ( p r ) ] 13)Ley del silogismo ( p q ) [ ( q r ) ( p r ) ]??? 14) Silogismo hipotético o [(p q) (q r)] (p r) Transitividad [(p q) (q r)] (p r) 15) Leyes de inferencia de la alternativa [ p ( p q ) ] q o de los silogismos disyuntivos [ p ( p q ) ] q 16) Ley del dilema constructivo [ ( p q ) ( p r ) ( q r ) ] q 17) Segunda ley del dilema constructivo [ ( ( p q ) ( r s ) ) ( p r ) ] ( q s ) 18) Ley del dilema destructivo [( p q ) ( r p ) ( s q ) ] ( r s ) 19) Ley de exportación [ ( p q ) r ] [ p ( q r ) ] 20) Ley de resolución [ ( p q ) ( p r ) ] ( q r ) 21) Ley del bicondicional ( p q ) [ ( p q ) ( q p ) ] 22) Condicional-disyunción ( p q ) ( p q ) 23) Condicional-conjunción ( p q ) ( p q ) 24) Leyes de simplificación ( p q ) p ; p ( p q ) 25) Leyes de expansión ( p q ) [ p ( p q ) ] ( p q ) [ q ( p q ) ] 26) Modus ponendo ponens [ ( p q ) p ] q 27) Modus tollendo tollens [ ( p q ) q ] p 15 de 15
Contenido. BLOQUE I: PRELIMINARES Tema 1: INTRODUCCIÓN Lógica Grado en Ingeniería Informática. Introducción. El lenguaje natural.
Contenido BLOQUE I: PRELIMINARES Tema 1: INTRODUCCIÓN Lógica Grado en Ingeniería Informática Alessandra Gallinari URJC Introducción El lenguaje de la lógica Lenguaje natural, lenguaje formal y metalenguaje
Más detallesLógica proposicional o Lógica de enunciados
Tema 3 Lógica proposicional o Lógica de enunciados 1. Qué es la Lógica? 2. El cálculo de proposiciones 2.1. Las conectivas 2.2. Las tablas de verdad 2.3. La deducción natural Bibliografía Deaño, A.: Introducción
Más detallesELEMENTOS DE LÓGICA. Ing. Juan Sacerdoti. Facultad de Ingeniería Departamento de Matemática Universidad de Buenos Aires 2002 V 2.
ELEMENTOS DE LÓGICA Ing. Juan Sacerdoti Facultad de Ingeniería Departamento de Matemática Universidad de Buenos Aires 2002 V 2.01 INDICE 3.- LÓGICA 3.1.- INTRODUCCIÓN 3.2.- PROPOSICIÓN 3.2.1.- SÍMBOLO
Más detallesCIENCIAS FORMALES CIENCIAS FÁCTICAS
UNA CLASIFICACIÓN DE LAS CIENCIAS CIENCIAS FORMALES CIENCIAS FÁCTICAS CIENCIAS FORMALES MATEMÁTICA LÓGICA CIENCIAS FÁCTICAS FÍSICA BIOLOGÍA QUÍMICA CIENCIAS SOCIALES OTRAS CIENCIAS FORMALES VOCABULARIO
Más detallesTeoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes
FUNCIONES DE VARIABLE COMPLEJA 1 Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes Lógica Matemática Una prioridad que tiene la enseñanza de la matemática
Más detallesEnunciados Abiertos y Enunciados Cerrados
I n g. L u z A d r i a n a M o n r o y M a r t í n e z L ó g i c a 1 Unidad II lógica proposicional Es probable que en el siglo IV antes de la Era Común, se iniciara con Aristóteles el estudio de la Lógica;
Más detallesLógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012
Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa
Más detallesIntroducción a la Lógica
Tema 0 Introducción a la Lógica En cualquier disciplina científica se necesita distinguir entre argumentos válidos y no válidos. Para ello, se utilizan, a menudo sin saberlo, las reglas de la lógica. Aquí
Más detallesLÓGICA PRIMER SEMESTRE. Definición del Concepto de Lógica.
PRIMER SEMESTRE Definición del Concepto de Lógica. LÓGICA 1. Quién es el Fundador de la Lógica y como la define? 2. Cuál es la definición Nominal de Lógica? 3. Escribe la definición Real de Lógica 4. Qué
Más detallesLOGICA MATEMATICA. Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías:
LOGICA MATEMATICA Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías: 1 ) q p q p ( q ) p ( Definición ) q p ( Doble Negación ) p q ( Conmutatividad ) (
Más detallesLógica Matemática. Contenido. Definición. Finalidad de la unidad. Proposicional. Primer orden
Contenido Lógica Matemática M.C. Mireya Tovar Vidal Proposicional Definición Sintaxis Proposición Conectivos lógicos Semántica Primer orden cuantificadores Finalidad de la unidad Definición Traducir enunciados
Más detallesp q p q p (p q) V V V V V F F F F V V F F F V F
3.2 Reglas de inferencia lógica Otra forma de transformación de las proposiciones lógicas son las reglas de separación, también conocidas como razonamientos válidos elementales, leyes del pensamiento,
Más detallesUNIDAD I: LÓGICA MATEMÁTICA
UNIDAD I: LÓGICA MATEMÁTICA 1.1. Introducción La Lógica Matemática es la rama de las Matemáticas que nos permite comprender sobre la validez o no de razonamientos y demostraciones que se realizan. La lógica
Más detallesALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.
ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción 1 La lógica es
Más detallesMatemáticas Discretas Lógica
Coordinación de Ciencias Computacionales - INAOE Matemáticas Discretas Lógica Cursos Propedéuticos 2010 Ciencias Computacionales INAOE Lógica undamentos de Lógica Cálculo proposicional Cálculo de predicados
Más detallesLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL PROPOSICIONES Una proposición es todo enunciado, u oración enunciativa, respecto del cual se tiene un criterio que permite afirmar que su contenido es verdadero o falso, pero no ambos.
Más detallesde Primer Orden y los problemas de razonamiento (Cap 1 libro) de proposiciones (Cap 2 libro) de predicados (Cap 2 libro)
Bloque I: El Lenguaje de la Lógica L de Primer Orden. Tema 1: La Lógica L de Primer Orden y los problemas de razonamiento (Cap 1 libro) Tema 2: El lenguaje de la lógica l de proposiciones (Cap 2 libro)
Más detallesLenguaje artificial. Código inventado para determinadas disciplinas y leyes, para utilizarlo de determinadas maneras.
LENGUAJE Y RAZONAMIENTO LÓGICO 1. LENGUAJES NATURALES Y ARTIFICIALES. 2. LA LÓGICA COMO CIENCIA DEL LENGUAJE. 3. LÓGICA PROPOSICIONAL. 3.1. Cálculo proposicional. Símbolos elementales. Reglas de formación.
Más detallesREGLAS Y LEYES LOGICAS
LOGICA II REGLAS Y LEYES LOGICAS Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente ciertos enunciados a partir de otros.
Más detallesTEMA 1: LÓGICA. p p Operador conjunción. Se lee y y se representa por. Su tabla de verdad es: p q p q
TEMA 1: LÓGICA. Definición. La lógica es la ciencia que estudia el razonamiento formalmente válido. Para ello tiene un simbolismo que evita las imprecisiones del lenguaje humano y permite comprobar la
Más detallesApéndice 1 Reglas y leyes lógicas
1 Apéndice 1 Reglas y leyes lógicas 1. Reglas lógicas Tal como ya se ha visto, una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada en cada caso para
Más detallesCapítulo 4. Lógica matemática. Continuar
Capítulo 4. Lógica matemática Continuar Introducción La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un teorema es falso o verdadero, además
Más detallesSumario Prólogo Unidad didáctica 1. Historia de la lógica Objetivos de la unidad... 10
ÍNDICE SISTEMÁTICO PÁGINA Sumario... 5 Prólogo... 7 Unidad didáctica 1. Historia de la lógica... 9 Objetivos de la unidad... 10 1. Introducción... 11 2. Efemérides... 13 3. La Lógica de Aristóteles...
Más detallesLógica Matemática. M.C. Mireya Tovar Vidal
Lógica Matemática M.C. Mireya Tovar Vidal Contenido Proposicional Definición Sintaxis Proposición Conectivos lógicos Semántica Primer orden cuantificadores Finalidad de la unidad Traducir enunciados sencillos
Más detallesCENTRO FORMATIVO DE ANTIOQUIA CEFA MUNICIPIO DE MEDELLÍN ÁREA DE MATEMÁTICAS GRADO 11 LA DEMOSTRACIÓN
ALGUNAS REGLAS DE INFERENCIA LÓGICA PERÍODO I FECHA 18 de enero de 2018 NIVEL MEDIA TÉCNICA CENTRO FORMATIVO DE ANTIOQUIA CEFA MUNICIPIO DE MEDELLÍN ÁREA DE MATEMÁTICAS GRADO 11 LA DEMOSTRACIÓN Podemos
Más detallesSOBRE LOGICA MATEMATICA. Sandra M. Perilla-Monroy. Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia.
SOBRE LOGICA MATEMATICA Sandra M. Perilla-Monroy Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia. Resumen. sandraperilla@usantotomas.edu.co Carrera 9 No 51-11 Bogotá Colombia
Más detallesResumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón.
Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. 0.1. Elementos de lógica Una proposición es una oración declamativa a la cual se le puede asignar un valor verdad: verdadera (V)
Más detalles2. Los símbolos de la lógica proposicional.
Bloque I: El Saber Filosófico. Tema 4: La Lógica Formal. 1. Las proposiciones y sus tipos. Una proposición es una oración enunciativa, es decir, una oración que afirma o niega algo y que puede ser verdadera
Más detalles3. LA ARGUMENTACIÓN FICHA 1 DE REFUERZO DE CONTENIDOS
FICHA 1 DE REFUERZO DE CONTENIDOS 1. La argumentación está formada por dos tipos de enunciados: a) inducción y deducción; b) analíticos y sintéticos; c) premisas y conclusión; d) axiomas y teoremas. 2.
Más detallesTEMA I INTRODUCCIÓN A LA LÓGICA
TEMA I INTRODUCCIÓN A LA LÓGICA Policarpo Abascal Fuentes TEMA I Introducción a la lógica p. 1/6 TEMA 1 1. INTRODUCCIÓN A LA LÓGICA 1.1 INTRODUCCIÓN 1.2 LÓGICA PROPOSICIONAL 1.2.1 Conexiones lógicas 1.2.2
Más detallesTEMA: LÓGICA Y TEORÍA DE LA DR. LUIS ALBERTO PACHECO MANDUJANO
TEMA: LÓGICA Y TEORÍA DE LA ARGUMENTACIÓN JURÍDICA DR. LUIS ALBERTO PACHECO MANDUJANO I.- TABLA DE VALORES.- Diseñada por Ludwig Wittgenstein, es una cruz cuyo brazo derecho es mucho más prolongado que
Más detallesNotas en lógica básica
Notas basadas en el prontuarios de MATE 3325 Notas escritas por Dr. M Notas en lógica básica En estas notas trabajaremos con lógica básica. Empezamos con argumentos. Todos hemos utilizados argumentos en
Más detallesDemostración Automática. Tema 2. Procesamiento del conocimiento con la Lógica Matemática
Demostración Automática de Teoremas Tema 2. Procesamiento del conocimiento con la Lógica Matemática Temas Introducción Sistemas de axiomas Teoría de la demostración. Sistema de Kleene Deducción natural
Más detallesLógica Proposicional. Sergio Stive Solano Sabié. Abril de 2013
Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa
Más detallesINDICE Introducción: Cultura y Filosofía; Conocimiento y Lógica 1. Idea de cultura 2. Concepto de filosofía 3. El Conocimiento y la lógica
INDICE Contenido VII Prólogo a la primera edición XV Prólogo a la segunda edición XVII Prólogo a la tercera edición XIX Introducción: Cultura y Filosofía; Conocimiento y Lógica 1. Idea de cultura 1 1.
Más detallesInferencia Lógica. Salomón Ching Briceño. Licenciado en Matemáticas UNPRG. 18 de marzo de 2011
Inferencia Lógica Salomón Ching Briceño Licenciado en Matemáticas http://mathsalomon.260mb.com UNPRG 18 de marzo de 2011 Lic. Mat. Salomón Ching Inferencia Lógica Contenido I Lic. Mat. Salomón Ching Inferencia
Más detallesUNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA SYLLABUS
UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA SYLLABUS MATERIA: UMAT 130 Lógica Matemática HORARIO: PROFESOR(A): Ing. Rubén Pacheco Villamar SEMESTRE:
Más detallesLógica Matemática. Operadores Lógicos. Universidad del Azuay - Marcos Orellana Cordero
Lógica Matemática Operadores Lógicos Introducción La lógica proposicional inicia con las proposiciones y los conectores lógicos. A partir de la combinación de dos proposiciones por medio de un conector
Más detallesCAPÍTULO 8 CAPÍTULO 8. BREVE HISTORIA.
CAPÍTULO 8 CAPÍTULO 8. BREVE HISTORIA. Para evitar confusiones, consideraremos tres momentos de la lógica bien diferenciados: 1º el de la Lógica No-Matemática, que abarca desde Aristóteles (384 322 a.c.),
Más detallesLógica Matemática. Tema: Tautología, contradicción y evaluación de la validez
Lógica Matemática Tema: Tautología, contradicción y evaluación de la validez Tautología, contradicción y evaluación de la validez Una proposición molecular es una tautología si es cierta, cualesquiera
Más detallesLOGICA Y ALGEBRA DISCRETA
LOGICA Y ALGEBRA DISCRETA Franco D. Menendez LABIA FACET - UNT Contenido de la Materia UNIDAD TEMÁTICA 2: DECISION EN EL LENGUAJE FORMAL Sistemas Axiomáticos. Noción General. Decisión Por Formas Normales.
Más detallesClase 5 1. Lógica proposicional. Razonamientos
Clase 5 1 Lógica proposicional Razonamientos Clase 5 2 LOGICA - INTRODUCCION!OBJETIVO Uno de los fundamentales objetivos ha sido el estudio de las DEDUCCIONES, RAZONAMIENTOS O ARGUMENTOS LOGICA DEDUCTIVA
Más detallesLógica proposicional. Ivan Olmos Pineda
Lógica proposicional Ivan Olmos Pineda Introducción Originalmente, la lógica trataba con argumentos en el lenguaje natural es el siguiente argumento válido? Todos los hombres son mortales Sócrates es hombre
Más detallesLÓGICA GUÍA PARA EXTRAORDINARIO. Noviembre 2017
LÓGICA GUÍA PARA EXTRAORDINARIO Noviembre 2017 Nota: Si requieres practicar más ejercicios consulta el libro: Lógica. Conceptos y ejercicios que llevaste en tu curso de 1 de preparatoria. PRIMERA UNIDAD.
Más detalles2.5 Los argumentos: premisas y conclusiones
Los argumentos: premisas y conclusiones 29 Continúa 2. Realizar traducción lógica. Como se observa, las proposiciones p y q están negadas, por lo que su traducción lógica es: p q 3. Obtener la cantidad
Más detallesLÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Sintaxis y semántica
LÓGICA FORMAL TEORIAS DE PRIMER ORDEN Sintaxis y semántica Pedro López Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Lenguajes de primer orden 1 La lógica
Más detallesTema de la clase: Lógica Matemática. Introducción
Tema de la clase: Lógica Matemática Instructor: Marcos Villagra Clase # 01 Escriba: Sergio Mercado Fecha 30/10/2017 Introducción Una de las características principales que distinguen a las matemáticas
Más detallesMaterial diseñado para los estudiantes del NUTULA, alumnos del profesor Álvaro Moreno.01/10/2010 Lógica Proposicional
Lógica Proposicional INTRODUCCIÓN El humano se comunica con sus semejantes a través de un lenguaje determinado (oral, simbólico, escrito, etc.) construido por frases y oraciones. Estas pueden tener diferentes
Más detallesTema 2: Teoría de la Demostración
Tema 2: Teoría de la Demostración Conceptos: Estructura deductiva Teoría de la Demostración Sistemas axiomáticos: Kleene Fórmulas válidas Teorema de la Deducción Introducción a la T. de la Demostración
Más detallesLICENCIATURA EN FILOSOFÍA ASIGNATURA: LÓGICA 1 PRIMER SEMESTRE CLAVE HORAS/SEMANA/SEMESTRE TOTAL DE CRÉDITOS TEORÍCAS PRÁCTICAS HORAS
UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE FILOSOFÍA Y LETRAS LICENCIATURA EN FILOSOFÍA ASIGNATURA: LÓGICA 1 PRIMER SEMESTRE PROFESOR: Jesús Raymundo Morado Estrada CICLO: BÁSICO ÁREA: LÓGICA
Más detallesUn poco de lógica. Ramón Espinosa. Departamento de Matemáticas, ITAM
Un poco de lógica Ramón Espinosa Departamento de Matemáticas, ITAM La lógica, como el whisky, pierde sus efectos benéficos cuando se consume en grandes cantidades. Lord Dunsany Uno de los principales propósitos
Más detallesLógica de Predicados
Lógica de redicados Lógica de predicados Lógica de predicados Cálculo de predicados Reglas de inferencia Deducción proposicional Demostración condicional Demostración indirecta Valores de certeza y Tautología
Más detallesEn general, se considera válido un razonamiento cuando sus premisas ofrecen soporte suficiente a su conclusión.
Se llama razonamiento lógico al proceso mental de realizar una inferencia de una conclusión a partir de un conjunto de premisas. La conclusión puede no ser una consecuencia lógica de las premisas y aun
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Módulo I: Descripción Departamento de Matemáticas ITESM Módulo I: Descripción Matemáticas Discretas - p. 1/15 En esta sección veremos un poco de la historia de la Lógica: desde
Más detallesLÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA
LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA La lógica formal o simbólica, a diferencia de la lógica clásica, utiliza un lenguaje artificial, es decir, está rigurosamente construido, no admite cambios en el
Más detallesGuía de estudio Algunos aspectos de lógica matemática Unidad A: Clases 1 y 2
Guía de estudio Algunos aspectos de lógica matemática Unidad A: Clases 1 y 2 Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa *. 1. Lógica
Más detallesInteligencia en Redes de Comunicaciones. Razonamiento lógico. Julio Villena Román.
Inteligencia en Redes de Comunicaciones Razonamiento lógico Julio Villena Román jvillena@it.uc3m.es Índice La programación lógica Lógica de predicados de primer orden Sistemas inferenciales IRC 2009 -
Más detallesContenido. Prólogo... Prólogo a la edición en español Argumentos y proposiciones lógicas Introducción
CONTENIDO vii Contenido Prólogo... Prólogo a la edición en español... XVIl XXI 1 Cálculo proposicional... 1 1.1 Argumentos y proposiciones lógicas 1.1.1 Introducción 1 1 1.1.2 Algunos argumentos lógicos
Más detalles1.4 Inferencia Lógica
Una Introducción a las Matemáticas Discretas y Teoría de Grafos 1.4 Inferencia Lógica En la Sección anterior reconocimos al Álgebra de Proposiciones como un conjunto de herramientas que nos permiten verificar
Más detallesCurso LÓGICA Examen de recuperación de lógica proposicional
Curso 2013-2014 LÓGICA Examen de recuperación de lógica proposicional 13-01-2014 1.1. Formalizar en el lenguaje de la lógica proposicional el siguiente razonamiento: (2,5 puntos) Es necesario que estudie
Más detallesAmpliación Matemática Discreta. Justo Peralta López
Justo Peralta López UNIVERSIDAD DE ALMERíA DEPARTAMENTO DE ÁGEBRA Y ANÁLISIS MATEMÁTICO 1 Introducción 2 Definición semántica de las proposiciones 3 Diagrama de valores de certeza 4 Evaluación de fórmulas.
Más detallesAmpliación Matemática Discreta. Justo Peralta López
Justo Peralta López UNIVERSIDAD DE ALMERíA DEPARTAMENTO DE ÁGEBRA Y ANÁLISIS MATEMÁTICO 1 Introducción 2 Axiomas y reglas de inferencia Reglas de la impliación, conjunción y disyunción 3 Reglas derivadas
Más detallesLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL QUE ES LA LÓGICA? El sentido ordinario de la palabra lógica se refiere a lo que es congruente, ordenado, bien estructurado. Lo ilógico es lo mismo que incongruente, desordenado, incoherente.
Más detallesTema 1: Introducción. Definiciones. Lógica Computacional. Lógica Computacional. Temas Avanzados en Ingeniería Informática I (Lógica)
Temas Avanzados en Ingeniería Informática I (Lógica) Lógica Computacional La mayoría de las ideas fundamentales de la Tema 1: Introducción ciencia son esencialmente sencillas y, por regla general pueden
Más detallesTÍTULO: MATEMÁTICA DISCRETA Y LÓGICA Disponibilidad
TÍTULO: MATEMÁTICA DISCRETA Y LÓGICA Disponibilidad Calculo proposicional 1 Argumentos y proposiciones lógicas 1 Algunos argumentos lógicos importantes 2 Proposiciones 4 Conexiones lógicas 5 Negación (tabla)
Más detallesMódulo 1. Segunda Parte NOCIONES DE LÓGICA SIMBÓLICA
Módulo 1 Segunda Parte NOCIONES DE LÓGICA SIMBÓLICA Qué es una PROPOSICIÓN? ES TODA EXPRESIÓN O ENUNCIADO DE LA CUAL SE PUEDE DECIR SI ES VERDADERA O FALSA Ejemplos: 2 es un número par (Proposición verdadera)
Más detallesMaterial educativo. Uso no comercial 1.4 MÉTODOS DE DEMOSTRACIÓN Método directo o Método de la hipótesis auxiliar
1.4 MÉTODOS DE DEMOSTRACIÓN Designamos en esta forma las estrategias o esquemas más generales que identificamos en los procesos deductivos. Estos modelos están fundamentados lógicamente en teoremas o reglas
Más detallesIntrod. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar
ClasesATodaHora.com.ar > Exámenes > UBA - UBA XXI > Introd. al Pensamiento Científico Introd. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar Razonamientos: Conjunto de propiedades
Más detallesUn enunciado es toda frase u oración que se emite
OBJETIO 2: Aplicar la lógica proposicional y la lógica de predicados en la determinación de la validez de una proposición dada. Lógica Proposicional La lógica proposicional es la más antigua y simple de
Más detallesÍndice general. I Introducción a la Lógica 3
Índice general I Introducción a la Lógica 3 1 Demostraciones 5 1.1. Argumentos rodeados de agua....................... 5 1.1.1. Argumentando........................... 6 1.1.2. Formalizando el argumento....................
Más detallesLógica de proposiciones (5)
Lógica de proposiciones (5) Fundamentos de Informática I I..I. Sistemas (2005-06) César Llamas Bello Universidad de Valladolid 1 Lógica Índice Lógica proposicional ecuacional Lógica: semántica Semántica
Más detallesPRÓLOGO A LA TRIGÉSIMA CUARTA EDICIÓN... 5
ÍNDICE PRÓLOGO A LA TRIGÉSIMA CUARTA EDICIÓN... 5 PRIMERA PARTE: NOCIONES PRELIMINARES Capítulo I. DEFINICIÓN NOMINAL DE LA LÓGICA 1. La Lógica en el lenguaje cotidiano... 11 2. Lógica natural y Lógica
Más detalleslogica computacional Tema 1: Introducción al Cálculo de Proposiciones
Tema 1: Introducción al Cálculo de Proposiciones Introducción al concepto de cálculo Un cálculo es una estructura pura; un sistema de relaciones. Un cálculo se compone de lo siguiente: Un conjunto de elementos
Más detallesLEYES, ESTRUCTURAS BÁSICAS Y COCIENTES LÓGICA DE PROPOSICIONES
Todos los derechos de propiedad intelectual de esta obra pertenecen en exclusiva a la Universidad Europea de Madrid, S.L.U. Queda terminantemente prohibida la reproducción, puesta a disposición del público
Más detallesCamilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1.
Guía de estudio Métodos de demostración Unidad A: Clase 3 Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1.. Inferencias y métodos de
Más detalles2. Introducción a la Lógica proposicional y Teoría de conjuntos
2. Introducción a la Lógica proposicional y Teoría de conjuntos Lenguaje formal La lógica utiliza un lenguaje artificial, que es además un lenguaje formal. Características del lenguaje formal: a) Está
Más detallesLógica de Proposiciones y de Predicado
Lógica de Proposiciones y de Predicado Franco D. Menendez LABIA FACET - UNT Contenido de la Materia UNIDAD TEMÁTICA 2: DECISION EN EL LENGUAJE FORMAL»Sistemas Axiomáticos. Noción General. Decisión Por
Más detallesAPENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN
LOGICA (FCE-UBA) APENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente
Más detallesLógica Proposicional. Cátedra de Matemática
Lógica Proposicional Cátedra de Matemática Abril 2017 Qué es la lógica proposicional? Es la disciplina que estudia métodos de análisis y razonamiento; utilizando el lenguaje de las matemáticas como un
Más detallesINDICE. Presentación. iii Prologo
INDICE Presentación iii Prologo ix Lógica jurídica fundamental I. Introducción. Fundamentación lógica del Pensamiento jurídico 1.1. Hacia el lenguaje de la lógica 39 1.1.1. Aproximación a la naturaleza
Más detallesMATEMÁTICAS BÁSICAS. 23 de febrero de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS
23 de febrero de 2009 Parte I Lógica Proposiciones Considere las siguientes frases Páseme el lápiz. 2 + 3 = 5 1 2 + 1 3 = 2 5 Qué hora es? En Bogotá todos los días llueve Yo estoy mintiendo Maradona fue
Más detallesTaller de Análisis Lógico de Argumentos Filosóficos Semestre FORMALIZACIÓN: CONECTIVAS Y CONSTÁNTES LÓGICAS. I. Lenguaje formal.
FORMALIZACIÓN: CONECTIVAS Y CONSTÁNTES LÓGICAS I. Lenguaje formal. 1 II. Definición y utilidad de la formalización Formalización es el proceso de traducción de los argumentos del lenguaje natural a esquemas
Más detallesMATERIA: Lógica Matemática CÓDIGO: UMAT130 CRÉDITOS: 3. PERIODO LECTIVO: Invierno PRE-REQUISITO: Ninguno. 2. OBJETIVOS (Course Objectives Goal))
UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA PROGRAMA ANALÍTICO (SUBJECT DESCRIPTION) MATERIA: Lógica Matemática CÓDIGO: UMAT130 CRÉDITOS: 3 PERIODO
Más detallesLOGICA Y ALGEBRA DISCRETA
LOGICA Y ALGEBRA DISCRETA Franco D. Menendez LABIA FACET - UNT Contenido de la Materia UNIDAD TEMÁTICA 2: DECISION EN EL LENGUAJE FORMAL Sistemas Axiomáticos. Noción General. Decisión Por Formas Normales.
Más detallesLógica proposicional. 1. Lógica proposicional. 4. Conectivos lógicos. 2. Proposición lógica. 3. Negación de una proposición
Lógica proposicional 1. Lógica proposicional Es una parte de la lógica que estudia las proposiciones y la relación existente entre ellas, así como la función que tienen los conectivos lógicos. 2. Proposición
Más detallesALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- V V V V F F F V F F F V
Resumen teoría Prof. Alcón ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Tablas de Verdad: p q p q p p V V V V F V F F F V F V F F F F p q p q V V V V F V F V V F F F p q p q V V V V F F F V V F F V p q p q
Más detallesCLAVE DE EXAMEN Matemática para computación 1 código de curso: 960
universidad de san carlos Facultad de Ingeniería Escuela de Ciencias Departamento de Matemática clave-960-1-m-2-00-2012 CLAVE DE EXAMEN Matemática para computación 1 código de curso: 960 Datos de la clave
Más detallesRAZONAMIENTO MATEMÁTICO
RAZONAMIENTO MATEMÁTICO I. LÓGICA PROPOSICIONAL A. Proposiciones B. Conectivos proposicionales B.. Negación B.2. Conjunción B.3. Disyunción B.4. Condicional B.5. Bicondicional B.6. Otros conectivos C.
Más detalles2.1. Introducción Lógica: Campo del conocimiento relacionado con el estudio y el análisis de los métodos de razonamiento. El razonamiento lógico es es
Tema 2. Introducción a la lógica 1. Introducción 2. Lógica de proposiciones 1. Definiciones 2. Sintaxis 3. Semántica Bibliografía Matemática discreta y lógica. Grassman y Tremblay. 1997. Prentice Hall.
Más detallesASIGNATURA: MATEMÁTICA DISCRETA I
1 FUNDAMENTOS: ASIGNATURA: MATEMÁTICA DISCRETA I Código: 15-111 Régimen: Cuatrimestral Horas Semanales: 4 Horas prácticas: 30 Horas teóricas: 30 Horas totales: 60 Escuela de Sistemas Año del programa:
Más detallesFilosofía de la ciencia: inducción y deducción. Metodología I. Los clásicos Prof. Lorena Umaña
Filosofía de la ciencia: inducción y deducción Metodología I. Los clásicos Prof. Lorena Umaña Filosofía de la ciencia: noción de argumento La filosofía de la ciencia debe considerarse como una de las corrientes
Más detallesLa Lógica Proposicional
La Lógica Proposicional 1. Las proposiciones y sus tipos. Una proposición es una oración enunciativa, es decir, una oración que afirma o niega algo y que puede ser verdadera o falsa. Las proposiciones
Más detallesLÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Teoremas. Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid
LÓGICA FORMAL TEORIAS DE PRIMER ORDEN Pedro López Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Fórmulas elementales 1 Teniendo en cuenta las definiciones:
Más detallesLÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Teoremas
LÓGICA FORMAL TEORIAS DE PRIMER ORDEN Pedro López Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Fórmulas elementales 1 Teniendo en cuenta las definiciones:
Más detallesPanorama general de la asignatura. Evaluación de Diagnostico
Asignatura : Lógica CALENDARIZACIÓN DE CONTENIDOS Modalidad Presencial 017-0 Resultado Aprendizaje la Asignatura:.Al finalizar la asignatura, el estudiante será capaz analizar las proposiciones moleculares,
Más detallesPragmática es el estudio de la relación entre los signos y los sujetos que los emplean.
Lógica Sólo en el caso de enunciar hechos o situaciones, las afirmaciones pueden ser calificadas de verdaderas o falsas, sólo en este caso el lenguaje tiene un determinado valor de verdad. Se le puede
Más detallesIntroducción a la Matemática Discreta
Introducción a la Matemática Discreta Lógica proposicional y Álgebras de Boole Luisa María Camacho Camacho Introd. a la Matemática Discreta 1 / 25 Introducción a la Matemática Discreta Temario Tema 1.
Más detallesLA ARGUMENTACIÓN: Argumentos deductivos y Lógica
LA ARGUMENTACIÓN: Argumentos deductivos y Lógica Qué es un argumento deductivo? Un argumento deductivo es aquel cuya conclusión se sigue necesariamente de las premisas. Es decir, si las premisas son verdaderas,
Más detalles13/04/2013 LOGICA MATEMÁTICA
ING ARNALDO ANGULO ASCAMA profearnaldo@hotmail.com ING. ARNALDO ALBERTO ANGULO ASCAMA LOGICA MATEMÁTICA La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas
Más detalles