Inferencia Lógica. Salomón Ching Briceño. Licenciado en Matemáticas UNPRG. 18 de marzo de 2011
|
|
- Juan José Carmona Quiroga
- hace 6 años
- Vistas:
Transcripción
1 Inferencia Lógica Salomón Ching Briceño Licenciado en Matemáticas UNPRG 18 de marzo de 2011 Lic. Mat. Salomón Ching Inferencia Lógica
2 Contenido I Lic. Mat. Salomón Ching Inferencia Lógica
3 Introducción Considere los siguientes casos que pueden darse en la vida cotidiana. 1 Un joven le dice a un amigo: tú todos los días dices mentiras, y el contesta: no es cierto, ayer en todo el día no dije una sóla mentira. 2 Si llueve hay nubes. Y si hay nubes qué se puede deducir? 3 Si haces la tarea te llevo al cine. Pero si ya estás en el cine, qué puede eso significar? 4 Todos los libros sobre computadores son terriblemente aburridos. Éste es un libro sobre computadores. Este libro es terriblemente aburrido. La validez y sentido lógico que tengan estas declaraciones o frases lo estudia la inferencia lógica.
4 Razonamiento e Inferencia Resumen Validación de un razonamiento Bibliografía Ejemplos I Lenguaje formal Formalizando Una inferencia lógica es un razonamiento expresado en una frase cuya última parte se afirma con base a lo que previamente se haya declarado. Lic. Mat. Salomón Ching Inferencia Lógica
5 Razonamiento e Inferencia Resumen Validación de un razonamiento Bibliografía Ejemplos I Lenguaje formal Aspectos del Razonamiento I El término razonamiento tiene dos acepciones: Funcional (la relación entre las premisas y la conclusión). y Procesal (la actividad del agente que razona) Significado Funcional La lógica se ocupa de los razonamientos en el sentido funcional. De hecho, en el proceso que lleva de las premisas a la conclusión pueden encadenarse múltiples pasos elementales. La lógica inferencial estudia las condiciones bajo las cuales estos pasos son correctos. Lic. Mat. Salomón Ching Inferencia Lógica
6 Razonamiento e Inferencia Resumen Validación de un razonamiento Bibliografía Ejemplos I Lenguaje formal Aspectos del Razonamiento II Significado Procesal En el caso de que el agente sea humano, de los aspectos procesales de los razonamientos se ocupa la psicología. Pero si el agente es un artefacto, por ejemplo, un computador, entonces es un asunto propio de la inteligencia artificial. La inferencia es un razonamiento formal Una inferencia es simplemente un razonamiento formal, en el sentido de que lo importante es la forma de las premisas y la conclusión, y la relación entre ellas, mas no su contenido. Lic. Mat. Salomón Ching Inferencia Lógica
7 Video Explicativo El Razonamiento y el concepto de Inferencia Click aquí o en el botón para mostrar el video Parte 01 Asegúrese que Acrobat Reader permita la apertura de hipervínculos de la red.
8 Razonamiento e Inferencia Resumen Validación de un razonamiento Bibliografía Ejemplos I Lenguaje formal Inferencias con condicionales Las condicionales junto con otras proposiciones, forman inferencias. Ejemplo 1.1 Todos los hombres son mortales, Sócrates es un hombre, Sócrates es mortal. Ejemplo 1.2 Si estudio, aprendo. Es así que estudio, luego aprendo. La conclusión de una inferencia es la proposición que se afirma sobre la base de las otras proposiciones que nos dan los elementos de juicio o razones para aceptar la conclusión. Lic. Mat. Salomón Ching Inferencia Lógica
9 Video Explicativo Ejemplos de Inferencia Click aquí o en el botón para mostrar el video Parte 02 Asegúrese que Acrobat Reader permita la apertura de hipervínculos de la red.
10 Razonamiento e Inferencia Resumen Validación de un razonamiento Bibliografía Ejemplos I Lenguaje formal Lenguaje formal de un razonamiento Todo razonamiento predeterminadamente está en lenguaje natural. En lógica proposicional usamos las variables p, q, r,... para las proposiciones simples, y junto a los conectivos (,,,, ) se forman las proposiciones compuestas. Definición 1.1 En el lenguaje formal la conclusión va precedida del símbolo ( ), que se lee: luego ó por tanto. Lic. Mat. Salomón Ching Inferencia Lógica
11 Lenguaje formal de un razonamiento Ejemplo 1.3 El razonamiento del ejemplo anterior en lenguaje natural es: 1. Si estudio aprendo (premisa 1) 2. Es así que estudio (premisa 2) Luego: Aprendo (conclusión) Ésto, en lenguaje formal, es: 1. p q (premisa 1) 2. p (premisa 2) q (conclusión)
12 Resumen 1. En lógica no interesa tanto la verdad o falsedad de las proposiciones, sino las relaciones lógicas que existen entre ellas. 2. Un razonamiento es válido cuando la conclusión se deriva necesariamente de las premisas y es inválido cuando la conclusión no se deriva de las premisas. 3. En lenguaje formal todo razonamiento es de la forma: 1. P 1 2. P 2.. n. P n C ó (P 1 P 2... P n ) C Donde P 1, P 2,..., P n son las premisas (proposiciones atómicas o compuestas) y C es la conclusión (también proposición atómica o compuesta).
13 Video Explicativo Resumen del concepto de inferencia Click aquí o en el botón para mostrar el video Parte 03 Asegúrese que Acrobat Reader permita la apertura de hipervínculos de la red.
14 Razonamiento e Inferencia Resumen Validación de un razonamiento Bibliografía Métodos de Validación Tablas veritativas Prueba formal de invalidez Implicaciones notables Prueba formal de validez Demostración Indirecta Ejercicios IV Validación de un razonamiento Cómo se puede saber si un razonamiento es o no válido sin necesidad de manejarlo solo en lenguaje natural? Para validar se puede usar cualquiera los siguientes métodos: 1 Tablas veritativas 2 Prueba formal de invalidez (absurdo I) 3 Prueba formal de validez (leyes lógicas) 4 Demostración Indirecta (absurdo II) Lic. Mat. Salomón Ching Inferencia Lógica
15 Tablas Veritativas Para validar por tablas, se procede de la siguiente manera: Modus operandi 1. Se halla las tablas de cada una de las premisas y de la conclusión, usando 1 para la verdad y 0 para la falsedad. 2. Si en algún renglón de la tabla encontramos que todas las premisas sean 1 siendo la conclusión 0, el razonamiento es inválido. 3. Si no hay ningún renglón como el mencionado anteriormente, se dirá que el razonamiento es válido. Recuerde que un razonamiento es de la forma: Premisas Conclusión Es el único caso en que el razonamiento es falso.
16 Video Explicativo Tablas Veritativas Click aquí o en el botón para mostrar el video Parte 04 Asegúrese que Acrobat Reader permita la apertura de hipervínculos de la red.
17 Prueba formal de invalidez Ventajas Es menos laboriosa que la validación por tabla u otro método y no requiere del uso de las leyes de inferencia (implicaciones notables). Desventajas Puede resultar poco práctico cuando el razonamiento tiene muchas variables (proposiciones atómicas) o bien pueda tener muchas premisas. Prueba formal de invalidez Se trata de una demostración indirecta por reducción al absurdo (primera forma). Si la conclusión tiene valor falso 0, y las premisas pueden tener valor verdadero 1, el razonamiento es inválido.
18 Prueba formal de invalidez Modus operandi 1 Se da valor 0 a la conclusión. 2 Se le asigna valor 1 a cada premisa. 3 Se deducen los valores las variables que componen a las premisas y de la conclusión. 4 En estos valores, si no se encuentra ningún conflicto o ambiguedad, el razonamiento es inválido.
19 Leyes Elementales Se usan para la demostración directa Algunos razonamientos válidos, son leyes lógicas, y sirven también para calcular la validez de otros razonamientos. A dichos razonamientos se les llama: Implicaciones Notables 1. Modus ponens 2. Modus tollens 3. Modus tollendo ponens 4. Ley conjuntiva 5. Ley simplificativa 6. Ley aditiva 7. Silogismo condicional 8. Ley de transposición 9. Ley de traslación 10. Leyes de Morgan 11. Dilema constructivo 12. Dilema destructivo 13. Ley del condicional. Presentaremos cada una de estas leyes, las cuales siempre se usarán en la prueba formal de validez.
20 Modus ponens 1. Modus ponens 1. p q 2. p q Ejemplo 1.4 Si llueve, las calles se mojan Está lloviendo Luego: Las calles se están mojando
21 Modus tollens 2. Modus tollens 1. p q 2. q p Ejemplo 1.5 Si llueve, las calles se mojan Las calles no están mojadas Entonces: Es seguro que no ha llovido
22 Modus tollendo ponens 3. Modus tollendo ponens A) 1. p q 2. p q 3. Modus tollendo ponens B) 1. p q 2. q p Ejemplo 1.6 O vamos al cine o vamos al teatro no vamos al cine Entonces: Vamos al teatro Ejemplo 1.7 O vamos al cine o vamos al teatro no vamos al teatro Entonces: Vamos al cine
23 Ley conjuntiva 4. Ley conjuntiva 1. p 2. q p q Ejemplo 1.8 Soy guapo Soy millonario Luego: Soy guapo y millonario
24 Ley simplificativa 5. Ley simplificativa A) 1. p q p B) 1. p q q Ejemplo 1.9 Soy guapo y millonario Luego, puedo decir que: Soy guapo Ejemplo 1.10 Soy guapo y millonario Luego: Soy millonario
25 Ley aditiva 6. Ley aditiva A) 1. p p q B) 1. q p q Ejemplo 1.11 Voy al cine Luego, puedo decir que: Voy al cine o voy al teatro Ejemplo 1.12 Voy al teatro Luego: Voy al cine o voy al teatro
26 Silogismo condicional 7. Silogismo condicional o Ley transitiva 1. p q 2. q r p r Ejemplo 1.13 Luego: Si llueve las calles se mojan Si las calles se mojan me resbalo Si llueve me resbalo
27 Leyes de transposición, traslación y Morgan 8. Ley de transposición A) 1. p q q p B) 1. q p p q 9. Ley de traslación A) 1. (p q) r p (q r) B) 1. p (q r) (p q) r 10. Leyes de Morgan A) 1. (p q) p q B) 1. (p q) p q
28 Dilema constructivo, destructivo, y ley condicional 11. Dilema constructivo 1. (p q) (r s) 2. (p r) q s 12. Dilema destructivo 1. (p q) (r s) 2. q s p r 13. Ley del condicional A) 1. p q p q B) 1. p q p q
29 Video Explicativo (en HD) Leyes de Inferencia y ejemplos Click aquí o en el botón para mostrar el video Parte 08 Asegúrese que Acrobat Reader permita la apertura de hipervínculos de la red.
30 Prueba formal de validez o Demostración Directa Consiste en obtener la conclusión, a partir de las premisas utilizando las implicaciones notables, anteriormente expuestas. En la mayoría de ejercicios, usamos esta prueba, cuando se nos pide demostrar un razonamiento. La prueba formal de validez también es llamada demostración directa. Modus operandi 1 Se enumeran las premisas. 2 Se continúa la enumeración en cada uno de los pasos que se van dando. 3 Al mismo tiempo se indica a la derecha (en lenguaje natural) la implicación notable que se aplica. 4 Finalmente se alcanza la conclusión.
31 Razonamiento e Inferencia Resumen Validación de un razonamiento Bibliografía Métodos de Validación Tablas veritativas Prueba formal de invalidez Implicaciones notables Prueba formal de validez Demostración Indirecta Ejercicios IV Demostración Indirecta También es llamada: Demostración por reducción al absurdo Modus operandi - I 1 Se supone falsa la conclusión C, es decir: C es verdadera. 2 Se agrega C como una nueva premisa. 3 Se demuestra, por el método directo, que estas premisas conducen a una falsedad o contradicción. Lic. Mat. Salomón Ching Inferencia Lógica
32 Razonamiento e Inferencia Resumen Validación de un razonamiento Bibliografía Métodos de Validación Tablas veritativas Prueba formal de invalidez Implicaciones notables Prueba formal de validez Demostración Indirecta Ejercicios IV Demostración Indirecta Modus operandi - II 4. No hay que llegar a la conclusión, solamente buscar una contradicción en las premisas. 5. Se concluye que C es verdadera, ya que C hace inválida a la inferencia. Así, se habrá demostrado formalmente la inferencia por el método indirecto. Lic. Mat. Salomón Ching Inferencia Lógica
33 Ejercicios Explicativos Ejemplo 1.14 Demostrar que el razonamiento: 1. p q 2. q r p r es válido por demostración indirecta. Solución Agregamos una nueva premisa negando la conclusión: 3. ( p r) negación de la conclusión (D.I.) 4. (p r) sustitución del condicional en p r Ley de Morgan en r Ley simplificación en r Silogismo condicional en r r Ley conjuntiva en 6-7. Así se concluye p r, porque que la negación de esta proposición conduce al absurdo r r. Así logramos lo que se quería demostrar.
34 Ejercicios Explicativos Ejemplo 1.15 Demostrar que el razonamiento: 1. p q 2. p q p es válido por demostración indirecta.
35 Ejercicios Explicativos Solución. Regla Comentario 1. p q Premisa 2. p q Premisa 3. ( p) = p Hipótesis Se supone falsa la conclusión p 4. q Modus ponens entre 1 y q Modus ponens entre 2 y q q Ley conjuntiva entre 4 y 5. Tenemos la contradicción buscada. Puesto que p produce una contradicción (absurdo), se concluye
36 Razonamiento e Inferencia Resumen Validación de un razonamiento Bibliografía Bibliografía Figueroa G, Rubén. Matemática Básica. Editorial America S.R.L., Lima, Perú, Educared Lógica Proposicional. [en ĺınea] [Consulta: 22 Dic 2010]. Licencia de Creative Commons - Fundacion Telefónica. Lic. Mat. Salomón Ching Inferencia Lógica
Matemáticas Discretas TC1003
Matemáticas Discretas TC1003 Métodos de Demostración Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM Métodos de Demostración Matemáticas Discretas - p. 1/13 Introducción En esta sección
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 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 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 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 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 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 detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Módulo I: s Válidos Departamento de Matemáticas ITESM Módulo I: s Válidos Matemáticas Discretas - p. 1/50 En matemáticas y en lógica un argumento no es una disputa. Más bien,
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Módulo I: s Válidos Departamento de Matemáticas ITESM Módulo I: s Válidos Matemáticas Discretas - p. 1/50 En matemáticas y en lógica un argumento no es una disputa. Más bien,
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 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 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 detallesInteligencia en Redes de Comunicaciones - 04 Razonamiento lógico
El objetivo del Tema 4 es presentar una panorámica general sobre cómo se pueden realizar razonamientos lógicos en un sistema software. 1 Esta es la tabla de contenidos del tema: se estudia la programación
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 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 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 detallesTaller Matemático. Lógica. Cristóbal Pareja Flores antares.sip.ucm.es/cpareja Facultad de Estadística Universidad Complutense de Madrid
Taller Matemático Lógica Cristóbal Pareja Flores antares.sip.ucm.es/cpareja Facultad de Estadística Universidad Complutense de Madrid 1. Lógica 14 amigos aportan la misma cantidad de dinero, sobre un fondo
Más detallesCuantificadores y Métodos de Demostración
Cuantificadores y Métodos de Demostración 1. Cuantificadores... 1 1.1. Cuantificador Existencial... 2 1.2. Cuantificador Universal... 3 2. Métodos de Demostración... 4 1. Cuantificadores Hasta ahora habíamos
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 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 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 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 detallesLICENCIATURA EN MATEMÁTICA. Práctico N 1 Lenguaje de la lógica. proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 /
Práctico N 1 Lenguaje de la lógica LICENCIATURA EN MATEMÁTICA proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 / 2 0 1 0 PRÁCTICO N 1 1. Fundamentación: fundamentar la expresión Por lo tanto del siguiente
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 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 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 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 3: Demostraciones proposicionales
Razonamiento Automático Curso 2000 200 Tema 3: Demostraciones proposicionales José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
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 detallesMatemáticas Dicretas LÓGICA MATEMÁTICA
Matemáticas Dicretas LÓGICA MATEMÁTICA Esta pagina fue diseñada como un auxiliar y herramienta para aquellos que esten interesados en reforzar y tener mas conocimientos sobre las matematicas discretas.
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 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 detallesCálculo Proposicional
Universidad Técnica ederico Santa María Departamento de Informática undamentos de Informática 1 Cálculo Proposicional Dr. Gonzalo Hernández Oliva Dr. Gonzalo Hernández USM I-1 Cálculo Proposicional 1 1)
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 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 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 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 detallesMÉTODOS DE DEMOSTRACIÓN
2016-1 1 Presentación 2 Métodos de Demostración Sobre métodos de demostración algunas preguntas de interés 1 Qué es una demostración? Sobre métodos de demostración algunas preguntas de interés 1 Qué es
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 detallesTemario de Lógica (1404)
UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO SECRETARÍA GENERAL DIRECCIÓN GENERAL DE INCORPORACIÓN Y REVALIDACIÓN DE ESTUDIOS Temario de Lógica (1404) Plan ENP - 1996 TEMARIO LÓGICA (I404) UNIDAD I. INTRODUCCIÓN.
Más detalles2. Si P; Q; R son verdaderas y S; T son falsas, determine el valor de verdad de la proposición: [P =) (R =) T )] () [(:P ^ S) =) (Q =) :T )]
Instituto Tecnológico de Costa Rica Escuela de Matemática I semestre 2012 Cálculo Diferencial e Integral. Prof. Juan José fallas. 1 Leyes de la lógica y reglas de inferencia 2 Ejercicios 1 Leyes de la
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 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 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 detallesCoordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos
Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo Complementos Contenidos Clase 1: Elementos de lógica: Conectivos, tablas de verdad, tautologías y contingencias.
Más detallesGuía 4: Demostraciones en Cálculo Proposicional
Introducción a los Algoritmos - 2do. cuatrimestre 2014 Guía 4: Demostraciones en Cálculo Proposicional Docentes: Walter Alini y Luciana Benotti. El objetivo principal de esta guía es lograr un buen entrenamiento
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 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 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 detalles1. Ejercicios propuestos
Coordinación de Matemática I (MAT021) 1 er Semestre de 2015 Semana 1: Guía de Ejercicios de Complemento, lunes 9 viernes 13 de Marzo Contenidos Clase 1: Elementos de lógica: conectivos, tablas de verdad,
Más detallesLicenciatura en Ingeniería en Sistemas Inteligentes
Universidad Autónoma del Estado de México Unidad Académica Profesional Nezahualcóyotl Licenciatura en Ingeniería en Sistemas Inteligentes Unidad de aprendizaje: Lógica Matemática Inferencia Lógica Dra.
Más detallesLógica I modelo de examen (curso ) Ejemplo de respuestas
Lógica I modelo de examen (curso 2007-08) Ejemplo de respuestas 1. Definiciones: - Grado de una fórmula es el número total de conectivas (iguales o distintas) que contiene. - Función de verdad es una función
Más detallesLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL 1. INTRODUCCIÓN 1.1. El lenguaje natural El lenguaje ordinario, el que utilizamos normalmente para comunicarnos y expresar nuestros pensamiento, deseos o situaciones, es lo que se
Más detallesFundamentos básicos de matemáticas: Lógica Proposicional
Fundamentos básicos de matemáticas: Lógica Proposicional Victor Hugo Gil A. Universidad del Valle 28 de agosto de 2016 Victor Hugo Gil A. (Univalle) Lógica Proposicional 28 de agosto de 2016 1 / 10 Lógica
Más detallesIntroducción a la lógica. Matemáticas Discretas Universidad de san buenaventura Cali
Introducción a la lógica Matemáticas Discretas Universidad de san buenaventura Cali Proposiciones compuestas (Disyunción, Conjunción, Negación, Condicional, Bicondicional) DISYUNCIÓN (v) La disyunción
Más detallesEjercicios de lógica
1. Sistemas formales. Ejercicios de lógica 1. Considere el siguiente sistema formal: Símbolos: M, I, U. Expresiones: cualquier cadena en los símbolos. Axioma: UMUIUU Regla de inferencia: xmyiz xumyuizuu
Más detallesSubTemas. Tema 1.4 Razonamiento Aproximado. Tópicos
SubTemas 1.1 Introducción al control difuso 1.2 Teoría de conjuntos difusos 1.3 Representación del conocimiento 1.4 Razonamiento aproximado 1.5 Sistemas de inferencia difusos Tema 1.4 Razonamiento Aproximado
Más detallesMás sobre Leyes de implicación
Más sobre Leyes de implicación Dilema constructivo. Se abrevia d.c. Se considera que si hay una disyunción que contiene los antecedentes de dos condicionales, la conclusión será la disyunción de los consecuentes.
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 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 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 detalles4.2. Procedimiento para elaborar tablas de verdad
4.1. Qué es una tabla de verdad? Usamos tablas de verdad, en el apartado 2.1 de la unidad II, para determinar el valor de verdad de una proposición compuesta. En este apartado explicaremos más detenidamente
Más detallesProposicional. Curso Mari Carmen Suárez de Figueroa Baonza
Semántica Proposicional Curso 2014 2015 Mari Carmen Suárez de Figueroa Baonza mcsuarez@fi.upm.es Contenidos Introducción Interpretación de FBFs proposicionales Validez Satisfacibilidad Validez y Satisfacibilidad
Más detallesMATEMÁTICA 1 JRC El futuro pertenece a aquellos que creen en la belleza de sus sueños
MATEMÁTICA 1 JRC LÓGICA Es la ciencia formal que estudia los principios y procedimientos que permiten demostrar la validez o invalidez de una inferencia, es decir, reconocer entre un razonamiento correcto
Más detallesencontramos dos enunciados. El primero (p) nos afirma que Pitágoras era griego y el segundo (q) que Pitágoras era geómetra.
Álgebra proposicional Introducción El ser humano, a través de su vida diaria, se comunica con sus semejantes a través de un lenguaje determinado (oral, escrito, etc.) por medio de frases u oraciones. Estas
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 detallesGuía para el estudiante
Guía para el estudiante Guía realizada por Jefferson Bustos Profesional en Matemáticas Master en Educación Nombre: Fecha: Curso: Dentro del lenguaje común, las palabras y frases pueden tener diversas interpretaciones.
Más detallesINSTITUCION EDUCATIVA LA PRESENTACION NOMBRE ALUMNA: ASIGNATURA: MATEMATICAS. NOTA
INSTITUCION EDUCATIA LA PRESENTACION NOMBRE ALUMNA: AREA : MATEMATICAS ASIGNATURA: MATEMATICAS. NOTA DOCENTE: HUGO BEDOYA TIPO DE GUIA: CONCEPTUAL - EJERCITACION PERIODO GRADO ECHA N DURACION 1 6 EBRERO
Más detallesLógica Proposicional
Lógica Proposicional La lógica se define como la ciencia del razonamiento, o como el estudio de los métodos y principios usados para distinguir el razonamiento correcto del incorrecto. La lógica, está
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 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 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 detallesRazonamiento Automático. Representación en Lógica de Predicados. Aplicaciones. Lógica de Predicados. Sintáxis y Semántica
Razonamiento Automático II.1 Representación en Lógica de Predicados Razonamiento en IA se refiere a razonamiento deductivo n Nuevos hechos son deducidos lógicamente a partir de otros. Elementos: n Representación
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 detallesMatemáticas Básicas para Computación
Matemáticas Básicas para Computación MATEMÁTICAS BÁSICAS PARA COMPUTACIÓN 1 Sesión No. 5 Nombre: Tablas de verdad Objetivo Al término de la sesión el participante aplicará los conceptos de lógica a través
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 detallesCÁLCULO PROPOSICIONAL
CÁLCULO PROPOSICIONAL ALORES DE ERDAD DE PROPOSICIONES COMPUESTAS Hay dos formas de establecer los valores de verdad: 1. Por medio de las tablas de verdad Las tablas de verdad permiten determinar el valor
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 detallesUNIVERSIDAD DE GUADALAJARA PROGRAMA DE ASIGNATURA MT106
UNIVERSIDAD DE GUADALAJARA PROGRAMA DE ASIGNATURA NOMBRE DE MATERIA CÓDIGO DE MATERIA DEPARTAMENTO ÁREA DE FORMACIÓN LOGICA Y CONJUNTOS MT106 CIENCIAS BIOLOGICAS BÁSICA COMUN CENTRO UNIVERSITARIO CENTRO
Más detallesLa Representación del Conocimiento CÓMO REPRESENTAR EL CONOCIMIENTO?
La Representación del Conocimiento CÓMO REPRESENTAR EL CONOCIMIENTO? TIPOS DE CONOCIMENTO El epistemología es el estudio del conocimiento, hay dos tipos esenciales llamados a priori y posteriori. Algoritmo
Más detallesLÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Axiomática
LÓGICA FORMAL TEORIAS DE PRIMER ORDEN Francisco Bueno Pedro López Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Teoría de Primer Orden 1 Formalmente,
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 detallesSintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES. Funciones boolenas. Semántica
Proposiciones atómicas y compuestas Sintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@cienciasunammx Página
Más detallesCapítulo 1 Lógica Proposicional
Capítulo 1 Lógica Proposicional 1.1 Introducción El ser humano, a través de su vida diaria, se comunica con sus semejantes a través de un lenguaje determinado (oral, escrito, etc.) por medio de frases
Más detallesINTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN
INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN Referencias: Inteligencia Artificial Russell and Norvig Cap.6. Artificial Intellingence Nils Nilsson Ch.4
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 detallesGuía 4: Demostraciones en Cálculo Proposicional
Introducción a los Algoritmos - 1er. cuatrimestre 2015 Guía 4: Demostraciones en Cálculo Proposicional Cálculo Proposicional Tomando ideas de E. W. Dijkstra (EWD-999), proponemos el uso de lo que llamamos
Más detallesLÓGICA DE PROPOSICIONES. a) El rumor y el ir y venir incesante de las abejas. b) No te vayas! c) Hoy es martes.
LÓGICA DE PROPOSICIONES 1. Cuál de las siguientes oraciones es una proposición lógica? a) El rumor y el ir y venir incesante de las abejas. b) No te vayas! c) Hoy es martes. La opción a) no es una proposición
Más detallesDemostración Contraejemplo. Métodos Indirectos
DEMOSTRACION Una demostración de un teorema es una verificación escrita que muestra que el teorema es verdadero. Informalmente, desde el punto de vista de la lógica, una demostración de un teorema es un
Más detallesRazonamiento. Los razonamientos deductivo e inductivo en el método científico
Razonamiento Los razonamientos deductivo e inductivo en el método científico El método científico consiste en el conjunto de procedimientos para obtener un conocimiento que sea universal y, en principio,
Más detallesTEMAS DE MATEMÁTICAS (Oposiciones de Secundaria)
TEMAS DE MATEMÁTICAS (Oposiciones de Secundaria) TEMA 70 LÓGICA PROPOSICIONAL. EJEMPLOS Y APLICACIONES AL RAZONAMIENTO MATEMÁTICO. 1. Introducción. 2. El Lenguaje para la Lógica de Proposiciones. 2.1.
Más detallesTema IV Enunciados Compuestos, Silogismos Disyuntivos e Hipotéticos
Laboratorio de Altos Estudios en Ciencias Informáticas Programa de Entrenamiento Académico (PEA) en Ciencias Informáticas Cátedra de Introducción a la Lógica y Métodos Científicos Prof. Eugenia Bahit Tema
Más detallesElaborar un mapa conceptual del tema de Lógica Proposicional (Diapositivas: Lógica Proposicional) Desarrollar ejercicios de la ficha de trabajo y del
Elaborar un mapa conceptual del tema de Lógica Proposicional (Diapositivas: Lógica Proposicional) Desarrollar ejercicios de la ficha de trabajo y del módulo (Página 175 ) Se sugiere ver el siguiente video:
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 detallesRAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA
ESCUELA DEL MINISTERIO PÚBLICO Dr. Gonzalo Ortiz de Zevallos Roedel RAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA Dr. Luis Alberto Pacheco Mandujano Gerente Central de la Escuela del Ministerio Público
Más detallesFrancisco Zúñiga Urbina Jaime Gajardo Falcón
Francisco Zúñiga Urbina Jaime Gajardo Falcón 1) Noción general de metodología jurídica 2) Métodos comunes al pensamiento científico 3) Métodos particulares de la investigación jurídica 1. Conceptos Los
Más detallesLAS MATEMÁTICAS Y SU LENGUAJE. Entender, demostrar y resolver matemáticas
LAS MATEMÁTICAS Y SU LENGUAJE Entender, demostrar y resolver matemáticas El trabajo matemático Utilización de un lenguaje peculiar de significados precisos. Cuidado! A veces similar al cotidiano pero con
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 detallesLógica Matemática, Sistemas Formales, Cláusulas de Horn
Lógica Matemática, Sistemas Formales, Cláusulas de Horn Lic. José Manuel Alvarado La lógica se ocupa de las argumentaciones válidas. Las argumentaciones ocurren cuando se quiere justificar una proposición
Más detalles