LA ARGUMENTACIÓN: Argumentos deductivos y Lógica

Tamaño: px
Comenzar la demostración a partir de la página:

Download "LA ARGUMENTACIÓN: Argumentos deductivos y Lógica"

Transcripción

1 LA ARGUMENTACIÓN: Argumentos deductivos y Lógica

2 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, entonces la conclusión es verdadera 1. Todos los seres humanos son mortales 2. Sócrates es un ser humano C. Sócrates es mortal Son argumentos deductivos los que van de lo general a lo particular, pero también otros como los que se basan en leyes lógicas. Se dice que la ligazón entre premisas y conclusión es analítica porque no depende de cómo es el mundo, es una cuestión de forma.

3 Verdad y validez Un argumento puede ser formalmente válido y tener proposiciones falsas. Igualmente, un argumento formalmente no válido puede expresar una conclusión verdadera. 1. Si entonamos un cántico sanador, curaremos tu enfermedad 2. Hemos entonado un cántico sanador C. Hemos curado tu enfermedad 1. Si eres gay, entonces no te gusto 2. No te gusto C. Eres gay La lógica es una herramienta para estudiar la validez formal de los argumentos.

4 Lógica Proposicional I Signos. Existen 3 tipos: a)las letras: p, q, r, s, Cada letra representa una proposición o enunciado que puede ser verdadero o falso b)signos lógicos: son las formas en que se conectan las diferentes proposiciones SÍMBOLO REPRESENTA SIGNIFICA Negación No ʌ Conjunción Y Disyunción O Condicional Si entonces Bicondicional Si y sólo si entonces c)paréntesis: sirven para indicar como se ordenan las fórmulas

5 Lógica Proposicional II Reglas de formación y formalización: Las reglas de formación determinan que combinaciones de signos (fórmulas) son válidas: a)una letra es una fórmula válida b)si A es una fórmula, también lo es A c)si A y B son fórmulas, también lo son A ʌ B, A B, A B, A B Cómo se formaliza un argumento? 1.Doy una letra a cada enunciado simple 2.Añado los signos lógicos que intervienen 3.Escribo el razonamiento sustituyendo todos los términos que aparecen en él 4.Represento el razonamiento en una expresión única

6 Lógica Proposicional III 1. Si hace buen día, salgo con la bici 2. Hace buen día C. Salgo con la bici 1. Doy una letra a cada enunciado simple: p: hace buen día q: salgo con la bici 2. Añado los signos lógicos que intervienen Hay un condicional en la primera premisa: p q 3. Escribo el razonamiento sustituyendo todos los términos que aparecen en él 1.p q 2.p q 4. Represento el razonamiento en una expresión única: [(p q) ʌ p] q

7 Tablas de verdad Para saber qué transformaciones de enunciados y qué argumentos son válidos podemos utilizar el método de las tablas de verdad. Para poder hacer una tabla de verdad hay que saber algunas cosas: Símbolo 1. Una proposición sólo puede ser verdadera (V) o falsa (F). Debemos buscar todas las combinaciones posibles de las proposiciones que intervengan. Para calcularlo debemos elevar dos al número de proposiciones (2 proposiciones = 2 2 = 4 // 3 proposiciones =2 3 = 8) 2. Los símbolos lógicos (la negación y las conectivas) modifican los valores de verdad de una proposición: Criterio de verdad Modifica el valor de verdad de una proposición por el opuesto ʌ Cuando las dos proposiciones que une son verdaderas el resultado es verdadero, si no es falso Cuando al menos una de las dos proposiciones es verdadera el resultado es verdadero. Sólo es falso si ambas son falsas. El resultado es falso sólo en el caso de que el antecedente sea verdadero y el consecuente falso Cuando coinciden los valores de verdad de las dos proposiciones el resultado es verdadero

8 Tablas de verdad II Para verlo más claro: negación conjunción disyunción condicional bicondicional p p p q p ʌ q p q p q p q V F V V V V V V F V V F F V F F F V F V V F F F F F V V

9 Tablas de verdad II Probemos ahora a hacer la tabla de verdad de un argumento completo: O paramos de consumir petróleo o el planeta colapsa. No paramos de consumir petróleo. Por lo tanto el planeta colapsa Premisa 1: O paramos de consumir petroleo o el planeta colapsa Premisa 2: No paramos de consumir petroleo Conclusión: El planeta colapsa Formalizamos: p Parar de consumir petroleo q El planeta colapsa [(p v q) ʌ p] q p q p p v q [(p v q) ʌ p [(p v q) ʌ p] q V V F V F V V F F V F V F V V V V V F F V F F V

10 Tablas de verdad III En una tabla de verdad hay tres resultados posibles: Tautología: todos los resultados de la tabla son V, esto significa que el enunciado es verdad en todos los mundos posibles. En el caso de argumentos deductivos indica que las premisas conducen necesariamente a la conclusión y que, por lo tanto, es un argumento válido. Indeterminación: Algunos resultados son V y algunos F. Eso significa que en algunos mundos posibles el enunciado es verdadero y en otros no. En el caso de argumentos deductivos indica que las premisas no implican necesariamente la conclusión y que, por lo tanto, no es un argumento válido. Contradicción: Todos los resultados son falsos, por lo tanto el enunciado es incompatible consigo mismo, es absurdo. p q p p v q [(p v q) ʌ p [(p v q) ʌ p] q V V F V F V V F F V F V F V V V V V F F V F F V En este caso tenemos una tautología y, por lo tanto, se trata de un argumento válido

La Lógica Proposicional

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 detalles

Lógica Proposicional. Cátedra de Matemática

Ló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 detalles

Introducción a la Lógica

Introducció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 detalles

Lógica proposicional o Lógica de enunciados

Ló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 detalles

ALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.

ALGEBRA 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 detalles

TEMA 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. 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 detalles

CIENCIAS FORMALES CIENCIAS FÁCTICAS

CIENCIAS 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 detalles

LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA

LÓ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 detalles

Lógica proposicional. Ivan Olmos Pineda

Ló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 detalles

Tablas de Verdad L Ó G I C A P R O P O S I C I O N A L

Tablas de Verdad L Ó G I C A P R O P O S I C I O N A L Tablas de Verdad L Ó G I C A P R O P O S I C I O N A L Tablas de verdad Toda preposición es verdadera o falsa, pero no puede ser ambas. Sobre esta base las proposiciones atómicas sólo tienen dos valores:

Más detalles

Capítulo 4. Lógica matemática. Continuar

Capí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 detalles

LÓ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 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 detalles

Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes

Teoremas: 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 detalles

LÓGICA FORMAL. PROPOSICIONES. CONECTORES LÓGICOS. TABLAS DE VERDAD. Introducción a la programación EPET N 3

LÓGICA FORMAL. PROPOSICIONES. CONECTORES LÓGICOS. TABLAS DE VERDAD. Introducción a la programación EPET N 3 LÓGICA FORMAL. PROPOSICIONES. CONECTORES LÓGICOS. TABLAS DE VERDAD. Introducción a la programación EPET N 3 LÓGICA Los seres humanos constantemente realizamos deducciones. Esto quiere decir que obtenemos

Más detalles

Coordinació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. 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 detalles

Forma lógica de enunciados

Forma 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 detalles

Lógica Proposicional

Ló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 detalles

Tema 2: Teoría de la Demostración

Tema 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 detalles

MATEMÁTICAS BÁSICAS. 23 de febrero de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS

MATEMÁ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 detalles

Matemáticas Básicas para Computación

Matemá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 detalles

Ló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 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 detalles

Introd. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar

Introd. 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 detalles

El 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 detalles

Taller de Análisis Lógico de Argumentos Filosóficos Semestre FORMALIZACIÓN: CONECTIVAS Y CONSTÁNTES LÓGICAS. I. Lenguaje formal.

Taller 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 detalles

Proposicional. Curso Mari Carmen Suárez de Figueroa Baonza

Proposicional. 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 detalles

Matemáticas Discretas Lógica

Matemá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 detalles

Ampliación Matemática Discreta. Justo Peralta López

Ampliació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 detalles

Inteligencia en Redes de Comunicaciones. Razonamiento lógico. Julio Villena Román.

Inteligencia 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 detalles

Lógica de Predicados

Ló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 detalles

Ejercicios de Lógica Proposicional *

Ejercicios 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 detalles

UNIVERSIDAD 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 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 detalles

ANOTACIONES BÁSICAS SOBRE LÓGICA PROPOSICIONAL FILOSOFÍA 1º BACHILLERATO

ANOTACIONES BÁSICAS SOBRE LÓGICA PROPOSICIONAL FILOSOFÍA 1º BACHILLERATO Pág. 1 Lógica Proposicional La lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una representación primitiva del lenguaje, permite representar y manipular aserciones

Más detalles

Lenguaje Lógica Proposicional

Lenguaje Lógica Proposicional Lenguaje Lógica Proposicional María Manzano Universidad de Salamanca Curso 2009-2010 María Manzano (Universidad de Salamanca) LP Curso 2009-2010 1 / 18 1 Introducción 2 Gramática 3 Forma lógica 4 Formalización

Más detalles

p q p q p (p q) V V V V V F F F F V V F F F V F

p 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 detalles

DEPARTAMENTO DE MATEMÁTICA Y FÍSICA ASIGNATURA

DEPARTAMENTO DE MATEMÁTICA Y FÍSICA ASIGNATURA UNIVERSIDAD NACIONAL DEL TACHIRA DEPARTAMENTO DE MATEMÁTICA Y FÍSICA ASIGNATURA : Matemáticas Discreta PROPOSICIONES DEFINICIÓN: DEFINICIÓN DE PROPOSICIÓN: Una proposición es un juicio declarativo del

Más detalles

Matemáticas Dicretas LÓGICA MATEMÁTICA

Matemá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 detalles

Lógica I modelo de examen (curso ) Ejemplo de respuestas

Ló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 detalles

Material diseñado para los estudiantes del NUTULA, alumnos del profesor Álvaro Moreno.01/10/2010 Lógica Proposicional

Material 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 detalles

Razonamientos. Premisas Conclusión Premisas Conclusión V V V V V F F V F V F F F F

Razonamientos. Premisas Conclusión Premisas Conclusión V V V V V F F V F V F F F F 2.3.1.1 Validez e invalidez. Verdad y falsedad es una propiedad de las proposiciones o enunciados. Con las proposiciones o enunciados se pueden construir razonamientos. Pero los razonamientos no son ni

Más detalles

Inferencia 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 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 detalles

MATEMÁTICA 1 JRC El futuro pertenece a aquellos que creen en la belleza de sus sueños

MATEMÁ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 detalles

Apéndice 1 Reglas y leyes lógicas

Apé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 detalles

Lógica proposicional

Ló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 detalles

LÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS

LÓ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 detalles

Lógica Matemática, Sistemas Formales, Cláusulas de Horn

Ló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

Lógica I (curso ) - 23 de enero de 2006 (modelo de respuestas)

Ló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 detalles

- AnallogicA - Software para crear tablas de verdad

- 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 detalles

Guía para el estudiante

Guí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 detalles

LÓGICA PROPOSICIONAL

LÓ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 detalles

RAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA

RAZONAMIENTO 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 detalles

LOGICA MATEMATICA. El dar un juicio nos permite comparar las características primarias o secundarias del objeto o termino y valorarlas

LOGICA MATEMATICA. El dar un juicio nos permite comparar las características primarias o secundarias del objeto o termino y valorarlas DEINICIÓN ETIMOLÓGICA DE LÓGICA EL término LOGICA viene de dos voces griegas: Logos, que significa palabra, tratado, pensamiento o razón e icos que significa relacionado con, por lo tanto lógica significa

Más detalles

Sintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES. Funciones boolenas. Semántica

Sintaxis 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 detalles

MATEMÁTICAS DISCRETAS. UNIDAD1 Lógica y Demostraciones

MATEMÁTICAS DISCRETAS. UNIDAD1 Lógica y Demostraciones MATEMÁTICAS DISCRETAS UNIDAD1 Lógica y Demostraciones Para el estudio de esta unidad debe ubicarse en el Capítulo 1 del texto base, lea atentamente cada uno de los subtemas indicados en el índice de la

Más detalles

Introducción. Ejemplos de expresiones que no son proposiciones

Introducción. Ejemplos de expresiones que no son proposiciones Introducción El objetivo de los matemáticos es descubrir y comunicar ciertas verdades. Las matemáticas son el lenguaje de los matemáticos y una demostración, es un método para comunicar una verdad matemática

Más detalles

Apuntes de Lógica Proposicional

Apuntes 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 detalles

Inteligencia en Redes de Comunicaciones - 04 Razonamiento lógico

Inteligencia 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 detalles

Universidad Abierta y a Distancia de México. Licenciatura en matemáticas. 2 cuatrimestre. Introducción al pensamiento matemático

Universidad Abierta y a Distancia de México. Licenciatura en matemáticas. 2 cuatrimestre. Introducción al pensamiento matemático Universidad Abierta y a Distancia de México Licenciatura en matemáticas 2 cuatrimestre Introducción al pensamiento matemático Clave: 1 Índice... 3 Ficha de identificación... 3 Descripción... 3 Propósitos...

Más detalles

Cálculo Proposicional

Cá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 detalles

INSTITUCION EDUCATIVA LA PRESENTACION NOMBRE ALUMNA: ASIGNATURA: MATEMATICAS. NOTA

INSTITUCION EDUCATIVA LA PRESENTACION NOMBRE ALUMNA: ASIGNATURA: MATEMATICAS. NOTA INSTITUCION EDUCATIA LA PRESENTACION NOMBRE ALUMNA: AREA : MATEMATICAS ASIGNATURA: MATEMATICAS. NOTA DOCENTE: HUGO HERNAN BEDOYA TIPO DE GUIA: CONCEPTUAL - EJERCITACION PERIODO GRADO ECHA N DURACION 1

Más detalles

REGLAS Y LEYES LOGICAS

REGLAS 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 detalles

logica computacional Tema 1: Introducción al Cálculo de Proposiciones

logica 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 detalles

UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA

UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA SEMESTRE: Segundo a cuarto CLAVE: 0271 HORAS A LA SEMANA/SEMESTRE TEÓRICAS PRÁCTICAS CRÉDITOS 5/80

Más detalles

SESIÓN 04 LÓGICA PROPOSICIONAL

SESIÓN 04 LÓGICA PROPOSICIONAL SESIÓN 04 LÓGICA PROPOSICIONAL La Lógica Proposicional, sentencial o lógica de enunciados, es la parte de la Lógica simbólica que trata de las proposiciones sin analizarlas y de sus combinaciones. 1. PROPOSICIONES

Más detalles

VALORES DE VERDAD DE LOS OPERADORES LÓGICOS

VALORES DE VERDAD DE LOS OPERADORES LÓGICOS VALORES DE VERDAD DE LOS OPERADORES LÓGICOS Tomada con fines instruccionales Gómez, T., González, N., Lorenzo J. (2007) Valores de verdad de los Operadores Lógicos. Artículo no publicado. (p.1-6). UNEFA.

Más detalles

La Lógica estudia la forma del razonamiento. La Lógica Matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la

La Lógica estudia la forma del razonamiento. La Lógica Matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la LÓGICA MATEMÁTICA OBJETIVOS Definirás proposición simple. Definirás proposiciones compuestas: Disyunción y conjunción. Relacionarás dichas proposiciones con las operaciones de conjuntos: unión e intersección.

Más detalles

LICENCIATURA EN MATEMÁTICA. Práctico N 1 Lenguaje de la lógica. proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 /

LICENCIATURA 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 detalles

No son proposiciones por no poder ser evaluadas como verdaderas ni falsas. Las exclamaciones, órdenes ni las preguntas son proposiciones

No son proposiciones por no poder ser evaluadas como verdaderas ni falsas. Las exclamaciones, órdenes ni las preguntas son proposiciones RESOLUCION Nº 03871 DE 07 DE NOIEMBRE DE 2012 ERSION 1.0 EJES TEMÁTICOS Proposiciones Teoría de conjuntos Sistemas de numeración a) Levántate temprano! b) Has entendido lo que es una proposición? c) Estudia

Más detalles

Tema 1: Sintaxis y semántica de la lógica proposicional

Tema 1: Sintaxis y semántica de la lógica proposicional Lógica informática Curso 2003 04 Tema : Sintaxis y semántica de la lógica proposicional José A. Alonso Jiménez Andrés Cordón Franco Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad

Más detalles

Resumen 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. 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 detalles

ENUNCIADO: Es cualquier frase u oración que expresa una idea

ENUNCIADO: Es cualquier frase u oración que expresa una idea LÓGICA PROPOSICIONAL La lógica es el estudio de los métodos y los rinciios usados ara distinguir el correcto razonamiento del erróneo. El razonamiento es un tio esecial de ensamiento en el cual se realizan

Más detalles

Tema 1: Sintaxis y Semántica de la Lógica Proposicional

Tema 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 detalles

CORPORACION UNIFICACADA NACIONAL DE EDUCACION SUPERIOR CUN- DEPARTAMENTO DE CIENCIAS BÁSICAS: PENSAMIENTO LOGICO-MATEMATICO

CORPORACION UNIFICACADA NACIONAL DE EDUCACION SUPERIOR CUN- DEPARTAMENTO DE CIENCIAS BÁSICAS: PENSAMIENTO LOGICO-MATEMATICO CORPORACION UNIICACADA NACIONAL DE EDUCACION SUPERIOR CUN- DEPARTAMENTO DE CIENCIAS BÁSICAS: PENSAMIENTO LOGICO-MATEMATICO Proposiciones Lógicas DOC. YAMILE MEDINA CASTAÑEDA GUIA N 2: LOGICA Una proposición

Más detalles

Un enunciado es toda frase u oración que se emite

Un 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

Lógica matemática y fundamentos ( )

Lógica matemática y fundamentos ( ) 1 / 28 Lógica matemática y fundamentos (2016 17) Tema 2: Deducción natural proposicional José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias de la Computación

Más detalles

RAZONAMIENTO LÓGICO LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO. La lógica se puede clasificar como:

RAZONAMIENTO 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 detalles

Guí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 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 detalles

LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL MATEMÁTICA I AÑO LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL Nadie aprende si no se ha equivocado al intentarlo... - DE QUÉ TRATA LA LÓGICA? La lógica investiga la relación de consecuencia que se da entre

Más detalles

Ampliación Matemática Discreta. Justo Peralta López

Ampliació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 detalles

Matemáticas Discretas. Oscar Bedoya

Matemáticas Discretas. Oscar Bedoya Matemáticas Discretas Oscar Bedoya oscar.bedoya@correounivalle.edu.co http://eisc.univalle.edu.co/~oscarbed/md/ * Lógica proposicional * Concepto de proposición * Valores de verdad * Operadores lógicos

Más detalles

RAZONAMIENTO MATEMÁTICO

RAZONAMIENTO 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 detalles

LÓGICA PROPOSICIONAL

LÓ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 detalles

DEL CONTRAEJEMPLO MATEMÁTICAS-I GRADO EN INGENIERÍA MULTIMEDIA

DEL CONTRAEJEMPLO MATEMÁTICAS-I GRADO EN INGENIERÍA MULTIMEDIA EJERCICIOS PROPUESTOS ESTUDIO DE LA VALIDEZ DE RAZONAMIENTOS CON LÓGICA DE PRIMER ORDEN USANDO TABLAS DE VERDAD Y MÉTODO DEL CONTRAEJEMPLO MATEMÁTICAS-I. 2011-12 GRADO EN INGENIERÍA MULTIMEDIA Colección

Más detalles

Lógica Matemática. M.C. Mireya Tovar Vidal

Ló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 detalles

Introducción. Ejemplos de expresiones que no son proposiciones

Introducción. Ejemplos de expresiones que no son proposiciones Introducción El objetivo de los matemáticos es descubrir y comunicar ciertas verdades. Las matemáticas son el lenguaje de los matemáticos y una demostración, es un método para comunicar una verdad matemática

Más detalles

Introducción a la Matemática Discreta

Introducció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 detalles

Lógica de predicados

Lógica de predicados Lógica de predicados Cálculo de predicados Hay ciertos argumentos que parecen ser perfectamente lógicos y que no pueden ser especificados usando cálculo proposicional. Ejemplos: Todos los gatos tienen

Más detalles

Guía de Ejercicios: Lógica y Teoría de Conjuntos

Guía de Ejercicios: Lógica y Teoría de Conjuntos Guía de Ejercicios: Lógica y Teoría de Conjuntos Área de Matemática Objetivo de aprendizaje Usar conectivos lógicos y relaciones conjuntistas. Negar una proposición. Contenidos 1. Elementos de lógica proporcional.

Más detalles

Más sobre Leyes de implicación

Má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 detalles

Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1.

Camilo 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 detalles

03. Introducción a los circuitos lógicos

03. Introducción a los circuitos lógicos 03. Introducción a los circuitos lógicos 1. LÓGICA DE PROPOSICIONES...2 PROPOSICIÓN...2 CONECTORES U OPERADORES LÓGICOS...2 Tablas de...2 Tautología...2 Contradicción...2 2. ÁLGEBRA DE BOOLE...3 AXIOMAS

Más detalles

Programa de Lógica para la solución de problemas

Programa de Lógica para la solución de problemas Programa de Lógica para la solución de problemas Octubre del 2006 B @ UNAM Asignatura: Lógica para la solución de problemas Plan: 2006 Créditos: 10 Bachillerato: Módulo 2 Tiempo de dedicación total: 80

Más detalles

PALABRA CLAVE Interpretación lógica

PALABRA 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 detalles

El razonamiento lógico se refiere al uso de entendimiento para pasar de unas proposiciones a otras partiendo de lo ya conocido o de lo que creemos

El razonamiento lógico se refiere al uso de entendimiento para pasar de unas proposiciones a otras partiendo de lo ya conocido o de lo que creemos El razonamiento lógico se refiere al uso de entendimiento para pasar de unas proposiciones a otras partiendo de lo ya conocido o de lo que creemos conocer a lo desconocido o menos conocido. TIPOS DE RAZONAMIENTO

Más detalles

CURSO NIVELACIÓN LÓGICA MATEMÁTICA PROYECTO UNICOMFACAUCA TU PROYECTO DE VIDA LAS PROPOSICIONES

CURSO 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 detalles

Universidad Nacional Abierta y a Distancia UNAD-Lógica Matemática - Georffrey Acevedo G. A que viene la lógica?

Universidad Nacional Abierta y a Distancia UNAD-Lógica Matemática - Georffrey Acevedo G. A que viene la lógica? A que viene la lógica? Autor: Georffrey Acevedo G. Noviembre 16 de 2008. Los conceptos de proposiciones, conectivos e inferencias confluyen al analizar un razonamiento. Para tener claridad sobre los conceptos

Más detalles

X OLIMPIADA INTERNACIONAL DE LÓGICA, 2013 FASE FINAL NIVEL BACHILLERATO No. de aciertos: Nombre: Institución:

X OLIMPIADA INTERNACIONAL DE LÓGICA, 2013 FASE FINAL NIVEL BACHILLERATO No. de aciertos: Nombre: Institución: X OLIMPIADA INTERNACIONAL DE LÓGICA, 2013 FASE FINAL NIVEL BACHILLERATO No. de aciertos: Nombre: Institución: INSTRUCCIONES: Todas las preguntas deberán ser respondidas empleando únicamente las herramientas

Más detalles

SOBRE 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. 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 detalles

Matemáticas Discretas TC1003

Matemáticas Discretas TC1003 Matemáticas Discretas TC1003 Lógica : Proposiciones, Conectivos, Tablas de Verdad y Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM Lógica Matemáticas Discretas - p. 1/43 En esta lectura

Más detalles

CORPORACIÓN UNIFICADA NACIONAL DE EDUCACIÓN SUPERIOR CUN GUÍA DE FUNDAMENTOS DE MATEMÁTICAS DOCENTE : YAMILE MEDINA CASTAÑEDA

CORPORACIÓN UNIFICADA NACIONAL DE EDUCACIÓN SUPERIOR CUN GUÍA DE FUNDAMENTOS DE MATEMÁTICAS DOCENTE : YAMILE MEDINA CASTAÑEDA GUÍA # 2 LÓGICA DOCENTE : YAMILE MEDINA CASTAÑEDA PROPOSICIONES Y OPERACIONES LÓGICAS. Una proposición o enunciado es una oración (expresión con sentido completo) de la cual puede afirmarse si es falsa

Más detalles

Sistema Axiomático para el Cálculo Proposicional

Sistema 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