Pragmática es el estudio de la relación entre los signos y los sujetos que los emplean.
|
|
- Alfonso Ávila Rivero
- hace 6 años
- Vistas:
Transcripción
1 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 llamar descriptivo, enunciativo, asertórico... Éste es el único tipo de lenguaje que interesa a la lógica. Dentro de dicho lenguaje se puede distinguir el lenguaje objeto y el metalenguaje. Lenguaje objeto es la utilización del lenguaje para hablar de realidades extralinguísticas y llamamos metalenguaje al hecho de usar el lenguaje para hablar del lenguaje mismo. La ciencia que estudia los lenguajes en sus diversos niveles es la semiótica, llamada la ciencia de los signos. La semiótica tiene tres partes: pragmática, semántica y sintaxis. Pragmática es el estudio de la relación entre los signos y los sujetos que los emplean. Semántica es el estudio de la relación entre los signos y su significado. La pragmática y la semántica constituyen la parte material del lenguaje, mientras que la sintaxis constituye la parte formal. Son independientes. La parte que más nos interesa es la sintaxis, que tiene como objeto identificar las secuencias bien formadas de un lenguaje o ayudar a construirlas. Es, por tanto, un instrumento para la construcción de cálculos. Hay que diferenciar lenguajes naturales de artificiales. El natural es el que heredamos culturalmente, creado y transmitido por las generaciones, se va modificando y tiene connotaciones y ambigüedades. El artificial es un lenguaje construido, preciso, con fines concretos, dando significado preciso en sus símbolos. No poseen una distinción tajante, porque el natural abarca un amplio campo. El lenguaje natural ha sido creado también, pero el artificial insiste en la parte sintáctica. Un cálculo es un sistema de relaciones, es decir, una estructura de signos que se pueden operar. Consta de símbolos y letras. Los símbolos son los elementos primitivos que vamos a manejar, han de estar bien definidos, de modo que podamos saber si un símbolo cualquiera pertenece a un cálculo o no. Se pueden definir de dos maneras, enumerándolos o diciendo sus propiedades. Reglas, existen de dos tipos: de formación (RF) que establecen qué combinaciones de símbolos son correctas y cuales no. Deben estar expresadas de modo que se localice rápidamente si una combinación de símbolos es correcta o no. Otro tipo de reglas son las de transformación (RT) que son las que nos permiten pasar de una combinación correcta de símbolos a otra combinación correcta de símbolos (previamente creada por una RF). El cálculo es una simple estructura sintáctica, no significa nada, tiene sólo naturaleza formal, no tiene unas personas privilegiadas que lo manejen, por lo que no es un lenguaje es sólo un armazón sintáctico, puede convertirse en lenguaje dándole un significado. quí interviene la lógica. Lógica se puede definir como la teoría de la construcción de cálculos o como un conjunto de cálculos a los que se da una interpretación apta para resolver problemas lógicos. Es la ciencia de los principios de la validez formal de la inferencia, dada esta definición por Deaño. Inferencia es lo mismo que razonamiento, es decir, un proceso mental en el que se produce el paso de una o varias a afirmaciones conocidas (llamadas premisas) a otra afirmación desconocida y que se deriva de ellas (llamada conclusión).
2 Validez formal de los razonamientos o inferencias pueden dividirse en válidos o no válidos, que es independiente del valor de verdad de las premisas o de la conclusión. La conclusión se ha obtenido de forma correcta a partir de las premisas. Condición para que sea un razonamiento válido es que si las premisas son verdaderas, la conclusión ha de serlo necesariamente. Principios es lo mismo que reglas o leyes. La lógica pretende establecer las reglas por las que un enunciado se puede inferir de forma válida a partir de las premisas, es decir, las reglas para deducir bien la conclusión o para analizar la validez de un razonamiento. Ciencia puede ser experimental o deductiva, la lógica es deductiva, es decir por un lado estudia los razonamientos deductibles y por otro está organizada de forma deductiva. Sus enunciados se deducen a partir de otros. Es formal en doble sentido, estudia los razonamientos desde el punto de vista formal y además está expresado en un lenguaje formal. Es, por tanto, una ciencia basada en los mismos principios que estudia. Podemos considerar la lógica como un saber formalizado acerca de los principios formales de todo razonamiento. Tipos de Lógica La lógica es un conjunto de lenguajes formales a los que se da una interpretación válida para interpretar problemas lógicos, como los problemas lógicos se suelen expresar en el lenguaje y hay varios niveles de lenguaje, hay también varios niveles de lógica. El nivel más básico de lógica es la lógica de enunciados. Es un cálculo lógico que interpreta sus símbolos como enunciados y operaciones entre enunciados. Un enunciado es una frase con sentido completo. (mirar apuntes) Cálculo de la lógica de enunciados (lógica proposicional). Símbolos: la lógica proposicional establece como símbolos dos tipos. Los de tipo a son símbolos que representan enunciados o proposiciones. Se simboliza con letras minúsculas del alfabeto, empezando por la p. Los de tipo b representan operaciones con enunciados y a su vez son de dos tipos: símbolos de operaciones monádicas ó monoargumentales, que afectan a una sólo enunciado. Ésta operación es el negador ( ) que no se cumple el enunciado correspondiente. Los otros son operaciones binarias: a. Conjuntor ( ): se dan a la vez los enunciados. b. Disyuntor ( ): se da uno y el otro no. Se subdivide en inclusivo ( ) que indica que o bien se cumple uno de los dos o el otro o ambos, y el exclusivo, que indica que sólo se cumple uno de los dos. c. Condicional ( ): indica que si se cumple el antecendente, se cumple el consiguiente. d. icondicional ( ): indica que sólo si se cumple el antecedente, se cumple el consiguiente. Todos estos símbolos se llaman conectivos ó constantes y los del tipo a se llaman variantes. Los del tipo c son de puntuación: ( ), [], etc.. sirven para separar unas fórmulas de otras. Los enunciados así simbolizados pueden constituir una fórmula atómica o bien una fórmula molecular. Se llaman atómicos cuando no están afectados por ninguna constante binaria y se llaman moleculares cuando se trata de varios enunciados unidos por constantes binarias. Reglas de formación RF. Una variable enunciativa suelta (p) es una fórmula de éste cálculo 2
3 RF2. Si p es una fórmula, su negación ( p) también lo es RF3. Si p y q son fórmulas, también los son: p q, p q, p q, p q RF4. No hay más reglas de formación, en consecuencia no hay otras fórmulas válidas distintas a las señaladas en las RF,2,3 Tablas de verdad La lógica de enunciados es la lógica formal más sencilla por: considera solamente los enunciados en bloque y las operaciones entre enunciados. sólo contempla dos posibles valores de verdad, verdadero y falso establece las reglas para los demás tipos de lógica Las tablas de verdad son un procedimiento para reflejar mecánicamente todos los posibles valores de verdad de un enunciado, sea éste simple o bien compuesto. Las tablas de verdad son importantes en lógica formal porque prescinde del contenido y debido a ello tiene que manejar todos los posibles valores: Tablas de un enunciado sólo: un enunciado cualquiera tiene los siguientes valores de verdad: valor de verdad verdadero valor de verdad falso l hacer la tabla de verdad de un razonamiento completo podemos obtener tres posibles valores: o nos da todo verdadero a lo que llamamos tautología o todo falso a lo que llamamos contradicción o a veces unos valores y a veces otros, a lo que llamamos expresión consistente o inconsistencia. En definitiva, las tablas de verdad son la expresión vegetativo funcional de las constantes conectivas. (REGLS DE TRNSFORMCIÓN mirar fotocopias) Tablas de verdad La lógica de enunciados es la lógica formal más sencilla por: Considera solamente los enunciados en bloque y las operaciones entre enunciados. Sólo contempla dos posibles valores de verdad, falso y verdadero. Establece las reglas para los demás tipos de lógica. Las tablas de verdad son un procedimiento para reflejar mecánicamente todos los posibles valores de verdad de un enunciado, sea éste simple (o atómico) o compuesto (o molecular). Las tablas son importantes en lógica formal porque prescinde del contenido y debido a ello tiene que manejar todos los posibles valores: V.v.v. V.v.f. Dos enunciados sueltos sin ninguna constante: p, q 3
4 P, q P q P q P q P q P q l hacer la tabla de verdad de un razonamiento completo podemos obtener tres posibles valores de verdad: todo verdadero, todo falso, o en ocasiones verdadero y en otras falso. En el caso de todo verdadero se le llama tautología, en el segundo se llama contradicción y en el tercero se le llama expresión consistente o una inconsistencia. La tautología significa que el razonamiento es válido siempre, sea cual sea el valor de verdad de sus enunciados, es válido por su sola estructura con independencia del contenido que representa, por tanto una forma válida de razonar. La lógica tiene muy en cuenta las tautologías porque en base a ellas elaborarán las reglas que nos permitan pasar de forma válida de unas premisas a una conclusión. Su conjunto constituye las leyes lógicas. Su número es infinito. Las contradicciones representan una forma antilógica de razonar, son la negación de una ley lógica. la lógica también le interesan porque si se niegan tenemos una tautología. Representan una forma universalmente incorrecta de razonar, sea cual sea el valor de sus enunciados. Su número es infinito. Las expresiones consistentes o inconsistentes son expresiones cuya tabla de verdad da en ocasiones el valor y en otras el, por eso se dice que son expresiones consistentes, porque su valor de verdad consiste en el valor de los enunciados y hay que acudir a estos para comprobar su valor de verdad. la lógica no le interesa porque no tiene en cuenta el contenido de los enunciados. Este tipo de expresiones se llama indeterminación, porque su sola estructura no es ni correcta ni incorrecta, sino que su valor depende del contenido. Son simplemente la presentación en forma de pasos de una ley lógica, es decir, de una tautología. Para hacerlo la lógica usa un metalenguaje ya que cualquier inferencia que siga esos pasos será válida. En definitiva, las tablas de verdad son la expresión veritativo funcional de las constantes conectivas. Expresan de forma mecánica y en lenguaje formal todos los posibles valores de verdad de los enunciados simples y de las fórmulas completas en las que interviene la conectiva. No sólo expresan valores sueltos, sino la función que desempeña la conectiva. Reglas de transformación (mirar fotocopia) Uso de premisas auxiliares Cuando veíamos los pasos que había que utilizar para llegar a la conclusión veíamos también la posibilidad de utilizar premisas auxiliares. Esto se hace cuando se intenta hacer una derivación más científica. En este caso se reduce todas las reglas a las mínimas posibles y las demás se derivan como reglas auxiliares, es decir, se hace una subderivación para encontrar una regla que no tenemos. La reducción más sencilla consiste en 4
5 quedarse con las definiciones y según los autores con 8 reglas primitivas o incluso con 2 o. sí tenemos: Introducción del negador: I Eliminación del negador: E Introducción del conjuntor: I Eliminación del conjuntor: E Introducción del disyuntor: I Eliminación del disyuntor: E C C C 5
6 Introducción del condicional: I Eliminación del condicional: E parecen las premisas auxiliares en tres ocasiones: I, E, I. Estas ocasiones dan lugar a tres formas de derivación indirecta: La I da lugar a la reducción al absurdo La E da lugar a la prueba por casos La I da lugar a algo que consiste en suponer el antecedente. La reducción al absurdo se basa en demostrar que es absurdo dar por sentadas las premisas y negar al mismo tiempo la conclusión. Se basa en I y consiste en negar la conclusión y poner esa negación como premisa auxiliar. continuación se proce, como siempre hasta llegar a una contradicción y una vez que lleguemos a esa contradicción negamos la premisa auxiliar. La prueba por casos se utiliza cuando en las premisas hay un disyuntor. El procedimiento consiste en demostrar por separado cada uno de los casos suponiendo que se dan. Si a partir de ambos llegamos a la misma conclusión, establecemos C como premisa y eliminamos el disyuntor inicial. Si no se llega a la misma conclusión, entonces se establece una nueva disyunción. Este procedimiento se basa en la regla de E que a su vez se basa en las leyes del dilema. 6
La 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 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 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 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 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 1. LENGUAJE DE LA LÓGICA PROPOSICIONAL 2. SÍMBOLOS LÓGICOS. 1.a. Símbolos formales. Símbolos no lógicos. Símbolos auxiliares
LÓGICA PROPOSICIONAL 1. LENGUAJE DE LA LÓGICA PROPOSICIONAL Un lenguaje para el ámbito de la lógica se estructura en tres niveles diferentes: símbolos formales, reglas de formación de fórmulas y reglas
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 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 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 detallesEl lenguaje formal de la Lógica Qué es un lenguaje formal? Un lenguaje formal, en tanto que lenguaje artificial, está formado por los siguientes elementos básicos: Unos signos primitivos del lenguaje,
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 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 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 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 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 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 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 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 detallesENUNCIADO ABIERTO: Es un enunciado en forma de expresión matemática que no es verdadero ni falso. Ejemplos: x < 9 x + 2 = 10 a + b = 1 a 2 + b 2 = c 2
LÓGICA Es la ciencia que estudia el razonamiento inductivo y deductivo. El razonamiento inductivo es aquel que permite llegar a conclusiones generales a partir de observaciones particulares, por el contrario,
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 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 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 detallesTema 1: Sintaxis y Semántica de la Lógica Proposicional
Tema 1: Sintaxis y Semántica de la Lógica Proposicional Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Lógica y Computabilidad Curso 2010 11 LC, 2010 11 Lógica Proposicional
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 detallesEjercicios de Lógica Proposicional *
Ejercicios de Lógica Proposicional * FernandoRVelazquezQ@gmail.com Notación. El lenguaje proposicional que hemos definido, aquel que utiliza los cinco conectivos,,, y, se denota como L {,,,, }. Los términos
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 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 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. 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 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 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 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 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 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 detallesLógica de proposiciones
1 Introducción Lenguaje lógico simbólico más sencillo. Permite representar sentencias simples del lenguaje natural mediante formulas atómicas, cuya composición representa sentencias más complejas: p temperatura
Más detallesLógica I (curso ) - 23 de enero de 2006 (modelo de respuestas)
Lógica I (curso 2005-06) - 23 de enero de 2006 (modelo de respuestas) 1. Definir un sistema formal... Para definir un sistema formal hay que especificar su lenguaje y su mecanismo deductivo. Llamemos H
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 detallesEVOLUCIÓN HISTÓRICA DE LA LÓGICA
ESCUELA DEL MINISTERIO PÚBLICO Dr. Gonzalo Ortiz de Zevallos Roedel EVOLUCIÓN HISTÓRICA DE LA LÓGICA Dr. Luis Alberto Pacheco Mandujano Gerente Central de la Escuela del Ministerio Público Antes de empezar
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 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 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 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 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 1: SINTAXIS Y SEMANTICA DEL LENGUAJE FORMAL»SINTAXIS: Introducción. Definición del lenguaje
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 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 detallesRAZONAMIENTO LÓGICO LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO. La lógica se puede clasificar como:
La lógica se puede clasificar como: 1. Lógica tradicional o no formal. 2. Lógica simbólica o formal. En la lógica tradicional o no formal se consideran procesos psicológicos del pensamiento y los métodos
Más detallesLÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS
LÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS Patricia Zamora Villalobos John Alexander Coral Llanos Josué Maleaño Trejos Prof. Francisco Carrera Fecha de entrega: miércoles de setiembre
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 detallesPARALELO COMPARATIVO:
PARALELO COMPARATIVO: CIENCIAS FORMALES Las Ciencias formales se ocupan de inventar entes formales y establecer sus relaciones, Inventan/crean el objeto, este se le debe poder surtir contenido factico
Más detallesSistema Axiomático para el Cálculo Proposicional
Sistema Axiomático para el Cálculo Proposicional Lógica Matemática José de Jesús Lavalle Martínez 12 de julio de 2011 Resumen Este documento es una traducción de partes de la sección 1.4 AN AXIOM SYSTEM
Más detalles- AnallogicA - Software para crear tablas de verdad
- AnallogicA - Software para crear tablas de verdad Henry Suarez skilltik@gmail.com Año 2010 Proyecto de POO de la carrera de Ingeniería en Informática de la Universidad Nacional del Litoral. Módulos del
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 detallesLógica proposicional 4. Formalización de argumentos
Lógica proposicional 4. Formalización de argumentos Juan Carlos León Universidad de Murcia Aplicación de la lógica Las técnicas para comprobar la validez son el objeto primario de la lógica Pero, mientras
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 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 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 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 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 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 detallesApuntes de Lógica Proposicional
Apuntes de Lógica Proposicional La lógica proposicional trabaja con expresiones u oraciones a las cuales se les puede asociar un valor de verdad (verdadero o falso); estas sentencias se conocen como sentencias
Más detallesUNIVERSIDAD AUTÓNOMA DE ZACATECAS Francisco García Salinas UNIDAD ACADÉMICA DE DERECHO
UNIVERSIDAD AUTÓNOMA DE ZACATECAS Francisco García Salinas UNIDAD ACADÉMICA DE DERECHO MATERIA UBICACIÓN EN EL PLAN DE ESTUDIO LÓGICA MATEMÁTICA PRIMER SEMESTRE OBJETIVO GENERAL Dotar al estudiante de
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 detallesTema 10: Conceptos Metalógicos
Facultad de Informática Grado en Ingeniería Informática Lógica PARTE 2: LÓGICA DE PRIMER ORDEN Tema 10: Conceptos Metalógicos Profesor: Javier Bajo jbajo@fi.upm.es Madrid, España 12/11/2012 Introducción
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 detallesTEMA I. INTRODUCCIÓN A LA LÓGICA Y AL RAZONAMIENTO DEDUCTIVO.
Lógica y razonamiento. La lógica es el estudio de los métodos que permiten establecer la validez de un razonamiento, entendiendo como tal al proceso mental que, partiendo de ciertas premisas, deriva en
Más detallesTema 5: Teoría de la Demostración en Predicados
Tema 5: Teoría de la Demostración en Predicados Resumen introducción lógica de predicados Resumen introducción lógica de predicados Conceptos: ahora para lógica de predicados de 1 er orden Estructura deductiva
Más detallesLógica Proposicional. Guía Lógica Proposicional. Tema I: Proposiciones
Guía Lógica Proposicional Tema I: Proposiciones El hombre ha hecho uso del lenguaje para comunicarse entre sí; usa conjuntos de palabras del idioma que organizadas coherentemente en un contexto determinado
Más detallesLógicaS Modales. Ricardo Oscar Rodríguez Departamento de Computación, Fac. Ciencias Exactas y Naturales, Universidad de Buenos Aires, Argentina.
Departamento de Computación, Fac. Ciencias Exactas y Naturales, Universidad de Buenos Aires, Argentina. Segunda Clase. 1er. Cuatrimestre, 2016 Outline 1 Repaso clase anterior Sintáxis Lógicas Modales Autocongruentes
Más detallesUNIVERSIDAD NACIONAL DEL NORDESTE Facultad de Ciencias Económicas. Prof./Esp. Norma R. García
UNIVERSIDAD NACIONAL DEL NORDESTE Facultad de Ciencias Económicas Prof./Esp. Norma R. García UNIDAD II: CIENCIA Y LENGUAJE TEMA: Lenguaje Objeto y Metalenguaje. Lógica y Lenguaje. Sentencias y Argumentación.
Más detallesPALABRA CLAVE Interpretación lógica
Curso 2009- Bloque II: Teoría a Semántica Tema 5: Conceptos Semánticos Básicos B (Cap-3 3 libro) Tema 6: Técnicas y Métodos M Semánticos para validar argumentos (Cap-3 3 libro) Objetivos Aprender los conceptos
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 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 detallesLógica proposicional
Lógica proposicional La palabra lógica viene del griego y significa, razón, tratado o ciencia. En matemáticas es la ciencia que estudia los métodos de razonamiento proporciona reglas y técnicas para determinar
Más detallesASIGNATURA: LOGICA Cód.: Régimen: Cuatrimestral Horas reloj semanales: 4 (cuatro) Escuelas: Psicología/Psicopedagogía Año 2012 FUNDAMENTOS:
ASIGNATURA: LOGICA Cód.: 11 102 Régimen: Cuatrimestral Horas reloj semanales: 4 (cuatro) Escuelas: Psicología/Psicopedagogía Año 2012 FUNDAMENTOS: La lógica como ciencia del razonamiento correcto conserva
Más detallesForma lógica de enunciados
Forma lógica de enunciados Marisol Miguel Cárdenas Lenguaje natural y lenguaje formal El lenguaje natural es aquel que utilizamos cotidianamente. Surge históricamente dentro de la sociedad y es aprendido
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
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 detallesCátedra: Lógica Unidad II: Lógica y Lenguaje. Profesora: Ana Rodríguez. Definición de lenguaje: Tipos de lenguaje:
Cátedra: Lógica Unidad II: Lógica y Lenguaje. Profesora: Ana Rodríguez. Definición de lenguaje: El lenguaje es un conjunto de signos o símbolos que nos dejan transmitir un mensaje, es decir, sirve para
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 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 detallesMétodos de Inteligencia Artificial
Métodos de Inteligencia Artificial L. Enrique Sucar (INAOE) esucar@inaoep.mx ccc.inaoep.mx/esucar Tecnologías de Información UPAEP Contenido Lógica proposicional Lógica de predicados Inferencia en lógica
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 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 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 detallesCURSO NIVELACIÓN LÓGICA MATEMÁTICA PROYECTO UNICOMFACAUCA TU PROYECTO DE VIDA LAS PROPOSICIONES
LAS PROPOSICIONES Objetivo Brindar al estudiante un concepto claro en la formulación, interpretación y aplicabilidad de las proposiciones. La interpretación de las proposiciones compuestas permite al estudiante
Más detallesCapítulo 2 El Método de Resolución
Capítulo 2 El Método de Resolución En este capítulo se realiza una descripción general del método de resolución, dado que el programa de razonamiento automático OTTER lo utiliza y prueba a través de refutación.
Más detallesLógica Proposicional (LP)
Lógica Proposicional (LP) Proposición Enunciado del que puede afirmarse si es verdadero o falso Oración declarativa Cuáles de las siguientes son proposiciones? ) Pedro es alto. 2) Juan es estudiante. 3)
Más detallesLógica proposicional 1. Qué es la lógica?
Lógica proposicional 1. Qué es la lógica? Juan Carlos León Universidad de Murcia Esquema del tema 1 Lógica proposicional 1. Qué es la lógica? 1.1. Argumentos y consecuencias. Verdad y validez lógica Lo
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 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 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 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 detallesLógica Proposicional
Existen en la realidad un número considerable de problemas con los que una persona se enfrenta y de los cuales se deben deducir ciertos datos para poder resolverlos. Generalmente la forma en que las personas
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 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 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 detallesEvaluación Nacional Revisión del intento 1
LOGICA MATEMATICA Perfil Salir Evaluación Nacional Revisión del intento 1 Finalizar revisión Comenzado el sábado, 15 de junio de 2013, 15:59 Completado el sábado, 15 de junio de 2013, 16:35 Tiempo empleado
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 detallesColegio Centro América. Cuaderno de ejercicios Matemáticas
Colegio Centro América Cuaderno de ejercicios Matemáticas Nombre: Séptimo grado: Profesora: Urania Zepeda. Objetivo 1: Objetivo 1: Determinar el valor de verdad de proposiciones simples y construir tablas
Más detalles