LÓGICA Y RAZONAMIENTO JURÍDICO. Antes de empezar

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

Download "LÓGICA Y RAZONAMIENTO JURÍDICO. Antes de empezar"

Transcripción

1 LÓGICA Y RAZONAMIENTO JURÍDICO DR. LUIS ALBERTO PACHECO MANDUJANO Gerente Central de la Escuela del Ministerio Público LIma, 30 de enero de 2013 Antes de empezar 1

2 LAS PROPOSICIONES I. CONCEPTO. Las proposiciones son expresiones declarativas (y no emotivas, interrogativas ni exclamativas) que afirman o que niegan algo y que, con sentido, pueden ser verdaderas dd o falsas. II. PROPIEDADES. Dos son las propiedades fundamentales de la proposición, a saber: a) De significancia; es decir, la significación de las proposiciones es la condición de su verdad o falsedad. Si antes no sabemos qué significa la proposición, no podremos determinar el valor veritativo de ésta. b) De aleticidad; o llamada también comúnmente propiedad bivalente, lo cual quiere decir que una proposición, que significa algo, puede ser verdadera o falsa, pero no verdadera y falsa a la vez (Principio de No Contradicción). 2

3 * Ejemplo de proposiciones: África es el continente negro. Albert Einstein no nació en América. Una molécula de agua tiene dos átomos de hidrógeno. Todos los artiodáctilos son ungulados. * No son proposiciones: El sol está hecho de papa a la huancaína. Jorge Luis. Te amo! Qué rica manzana! Dios existe. * Casos complejos: Tierra! 6 + x = 17 x III. CLASES DE PROPOSICIONES. Históricamente, las proposiciones se clasifican en: 1. Proposiciones simples o atómicas a)proposiciones simples predicativas b)proposiciones simples relacionales 2. Proposiciones compuestas o moleculares a)proposiciones compuestas conjuntivas b)proposiciones compuestas disyuntivas b.1. Disyunción débil o inclusiva b.2. Disyunción fuerte o exclusiva c) Proposiciones compuestas condicionales c.1. Condicional lógica u ordenada o directa c.2. Condicional ordinaria u desordenada o indirecta d) Proposiciones compuestas bicondicionales e) Proposiciones Negativas o Negación 3

4 a) Proposiciones Compuestas Conjuntivas; que resultan de la unión de dos o más proposiciones p siempre por medio del término de enlace "y" ( ^ ), o de cualquiera de sus términos equivalentes. Ejm: Ese vestido es hermoso pero caro. Álvaro es infeliz con su novia, sin embargo se casa con ella. Fiorella estudió y aprobó el examen. b) Proposiciones Compuestas Disyuntivas; que expresan una situación electiva o planteamiento de alternativas. Existen dos tipos: b.1. Disyunción débil o inclusiva; que es aquella que, surgida de la unión de dos proposiciones simples a través del término de enlace disyuntivo inclusivo ( v ), plantea la posibilidad que ambas alternativas puedan cumplirse, sin causar problema alguna. Ejm: Tomo café o leche. Juan está triste o preocupado. b.2. Disyunción fuerte o exclusiva; ; que es aquella que, surgida de la unión de dos proposiciones simples a través del término de enlace disyuntivo exclusivo ( v ), plantea dos posibilidades, de las cuales sólo puede ser elegida una de ellas, por ser ambas excluyentes entre sí. Ejm: Eres valiente o cobarde. Ramiro está vivo o muerto. 4

5 c) Proposiciones Compuestas Condicionales; que son proposiciones que expresan una relación de causalidad entre las proposiciones simples afectadas, donde la causa es llamada "antecedente" y el efecto recibe la denominación de "consecuente". Su símbolo es ( ). Esta proposición tiene dos formas: c.1. Condicional Lógica u Ordenada o Directa; que es aquella proposición lógicamente ordenada, es decir, en la cual hace su aparición en primer término el antecedente, seguida del consecuente. Se le reconoce, por lo general, porque llevan la conectiva compuesta "Si..., entonces...".ejm.: Si el acusadoes inocente, entonces saldrá en libertad. c.2. Condicional Ordinaria Desordenada o Indirecta; que es aquella proposición no ordenada lógicamente. Ésta es cuando se quiere presentar una relación causal en la que se manifiesta, por lo común, el lenguaje nuestro de cada día (lenguaje natural u ordinario). En ella aparece primero el consecuente y después el antecedente.ejm.: El acusado saldrá en libertad porque es inocente. d) Proposiciones Compuestas Bicondicionales; son aquellas dos proposiciones simples unidas entre sí en una relación de interdependencia o condicionalidad recíproca. Su símbolo es la flecha de doble sentido ( ). Ejm.: El agua se congela sí y sólo si la temperatura está bajo 0 C. De esta proposición compuesta se interpreta una doble relación condicional, a saber: Si el agua se congela, entonces la temperatura está bajo 0 C. y; Si la temperatura está bajo 0 C, entonces el agua se congela. Como se ve, en la proposición bicondicional el antecedente se convierte después en consecuente del inicial consecuente, el mismo que se convierte en antecedente del inicial antecedente. 5

6 e) Proposiciones Negativas o Negación; son las que invierten el significado proposicional de una proposición afirmativa o negativa. El signo que representa tal negación es ( ~ ), el mismo que recibe el nombre de tilde de lanegación negación. Ejm.: El Perú no tiene un gobierno monárquico. No está lloviendo en Lima. No es cierto que hoy no sea jueves. Td Toda proposición iió negativa presupone la existencia it i previa de la proposición afirmativa que es negada. En los dos primeros ejemplos, tales proposiciones afirmativas serán: El Perú tiene un gobierno monárquico. Está lloviendo en Lima. Muchas Gracias. DR. LUIS ALBERTO PACHECO MANDUJANO Gerente Central de la Escuela del Ministerio Público 6

LÓGICA Y RAZONAMIENTO JURÍDICO

LÓGICA Y RAZONAMIENTO JURÍDICO LÓGICA Y RAZONAMIENTO JURÍDICO DR. LUIS ALBERTO PACHECO MANDUJANO LAS PROPOSICIONES I.- CONCEPTO.- Las proposiciones son expresiones declarativas (y no emotivas, interrogativas ni exclamativas) que afirman

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

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

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

encontramos dos enunciados. El primero (p) nos afirma que Pitágoras era griego y el segundo (q) que Pitágoras era geómetra.

encontramos 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 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. 4 Nombre: Proposiciones Objetivo Al término de la sesión el participante aplicará las características de las proposiciones

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 Y RAZONAMIENTO DR. LUIS ALBERTO PACHECO MANDUJANO

LÓGICA Y RAZONAMIENTO DR. LUIS ALBERTO PACHECO MANDUJANO LÓGICA Y RAZONAMIENTO JURÍDICO DR. LUIS ALBERTO PACHECO MANDUJANO LAS PROPOSICIONES I.- CONCEPTO.- Las proposiciones son expresiones declarativas (y no emotivas, interrogativas ni exclamativas) que afirman

Más detalles

Capítulo 1 Lógica Proposicional

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

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

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

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

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

EVOLUCIÓN HISTÓRICA DE LA LÓGICA

EVOLUCIÓ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 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

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

Módulo 1. Segunda Parte NOCIONES DE LÓGICA SIMBÓLICA

Módulo 1. Segunda Parte NOCIONES DE LÓGICA SIMBÓLICA Módulo 1 Segunda Parte NOCIONES DE LÓGICA SIMBÓLICA Qué es una PROPOSICIÓN? ES TODA EXPRESIÓN O ENUNCIADO DE LA CUAL SE PUEDE DECIR SI ES VERDADERA O FALSA Ejemplos: 2 es un número par (Proposición verdadera)

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

TEMA: LÓGICA Y TEORÍA DE LA DR. LUIS ALBERTO PACHECO MANDUJANO

TEMA: 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 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

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

UNIDAD I: LÓGICA MATEMÁTICA

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

Enunciados Abiertos y Enunciados Cerrados

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

ENUNCIADO 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

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

Lógica Matemática. Tema: Valor de certeza funcional de la preposición: negación, conjunción, disyunción, condicional y bicondicional

Lógica Matemática. Tema: Valor de certeza funcional de la preposición: negación, conjunción, disyunción, condicional y bicondicional Lógica Matemática Tema: Valor de certeza funcional de la preposición: negación, conjunción, disyunción, condicional y bicondicional Valor de certeza funcional de la preposición: negación, conjunción, disyunción,

Más detalles

Lógica Proposicional. Introducción

Lógica Proposicional. Introducción Lógica 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 las denominadas frases

Más detalles

Todas las conectivas binarias bivalentes Formas normales conjuntivas Formas normales disyuntivas Conjuntos adecuados de conectivas.

Todas las conectivas binarias bivalentes Formas normales conjuntivas Formas normales disyuntivas Conjuntos adecuados de conectivas. Todas las conectivas binarias bivalentes Formas normales conjuntivas Formas normales disyuntivas Conjuntos adecuados de conectivas Raymundo Morado Las conectivas binarias bivalentes Cuántos valores de

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

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

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

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

En general, se considera válido un razonamiento cuando sus premisas ofrecen soporte suficiente a su conclusión.

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

Lógica Proposicional. Guía Lógica Proposicional. Tema II: Operadores Lógicos

Lógica Proposicional. Guía Lógica Proposicional. Tema II: Operadores Lógicos Guía Lógica Proposicional Tema II: Operadores Lógicos LA CONJUNCIÓN DEFINICIÓN. La Conjunción. Sean p y q dos variables proposicionales, entonces la proposición compuesta p y q, que se simboliza como p

Más detalles

Octubre de Proposiciones MARIA ALEJANDRA GUIO SAENZ ALEJANDRO SALAZAR ALEJANDRO BELTRAN CAMILO RIVERA SYGMA

Octubre de Proposiciones MARIA ALEJANDRA GUIO SAENZ ALEJANDRO SALAZAR ALEJANDRO BELTRAN CAMILO RIVERA SYGMA Octubre de 2016 Proposiciones MARIA ALEJANDRA GUIO SAENZ ALEJANDRO SALAZAR ALEJANDRO BELTRAN CAMILO RIVERA SYGMA PROPOSICIONES Es un enunciado al cual se le puede asignar un valor de verdad que puede ser

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

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

IDENTIFICACIÓN DE LA ACTIVIDAD PEDAGÓGICA DESARROLLO DE LA ACTIVIDAD. p, q, r, s

IDENTIFICACIÓN DE LA ACTIVIDAD PEDAGÓGICA DESARROLLO DE LA ACTIVIDAD. p, q, r, s PROGRAMA DE FORMACIÓN UNIDAD DE APRENDIZAJE ACTIVIDAD OBJETIVOS IDENTIFICACIÓN DE LA ACTIVIDAD PEDAGÓGICA Colegio técnico uparsistem Matematica sexto PROPOSICIONES Y TABLA DE LA VERDAD (CONJUNCIÓN, DISYUNCIÓN,

Más detalles

Así, nuestro enunciado quedaría: Pedro no está enfermo. p, se lee tilde p.

Así, nuestro enunciado quedaría: Pedro no está enfermo. p, se lee tilde p. SIMBOLOGÍA BÁSICA. Los enunciados se dividen en enunciados simples y compuestos. Los enunciados simples o atómicos son aquellos que admiten ser verdaderos o falsos. Así, por ejemplo: Pedro está enfermo,

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

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

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

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

UNIVERSIDAD FRANCISCO DE PAULA SANTANDER FACULTAD DE CIENCIAS BÁSICAS LIC. ESP. DANIEL SAENZ CONTRERAS

UNIVERSIDAD FRANCISCO DE PAULA SANTANDER FACULTAD DE CIENCIAS BÁSICAS LIC. ESP. DANIEL SAENZ CONTRERAS UNIVERSIDAD FRANCISCO DE PAULA SANTANDER 1 FACULTAD DE CIENCIAS BÁSICAS LIC. ESP. DANIEL SAENZ CONTRERAS EMAIL SAENZCODANIEL@HOTMAIL.COM LÓGICA DE PROPOSICIONES TABLAS DE VERDAD La tabla de verdad de una

Más detalles

LÓGICA. LENGUAJE ARTIFICIAL Lenguajes bien definidos que poseen una estructura sintáctica clara y una operativa eficaz.

LÓGICA. LENGUAJE ARTIFICIAL Lenguajes bien definidos que poseen una estructura sintáctica clara y una operativa eficaz. LÓGICA LENGUAJE ARTIICIAL Lenguajes bien definidos que poseen una estructura sintáctica clara y una operativa eficaz. En líneas generales puede decirse que todas las ciencias, en especial las ciencias

Más detalles

2. Los símbolos de la lógica proposicional.

2. 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 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

Área: Procesos de generación de hipótesis. Lectura: Introducción a la generación de hipótesis. Caso: Tipos de afirmaciones y su estructura

Área: Procesos de generación de hipótesis. Lectura: Introducción a la generación de hipótesis. Caso: Tipos de afirmaciones y su estructura Área: Procesos de generación de hipótesis Lectura: Introducción a la generación de hipótesis Caso: Tipos de afirmaciones y su estructura Situación. Dado que se van a utilizar continuamente las afirmaciones

Más detalles

2. Introducción a la Lógica proposicional y Teoría de conjuntos

2. Introducción a la Lógica proposicional y Teoría de conjuntos 2. Introducción a la Lógica proposicional y Teoría de conjuntos Lenguaje formal La lógica utiliza un lenguaje artificial, que es además un lenguaje formal. Características del lenguaje formal: a) Está

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

GUIA DE TRABAJOS TEORICO PRACTICO N 1: LÓGICA DE LAS PROPOSICIONES

GUIA DE TRABAJOS TEORICO PRACTICO N 1: LÓGICA DE LAS PROPOSICIONES CENTRO EDUCATIVO DE NIVEL TERCIARIO N 2 INTRODUCCIÓN A LA LOGICA SIMBOLICA PRIMER AÑO AÑO: 2005 GUIA DE TRABAJOS TEORICO PRACTICO N 1: LÓGICA DE LAS PROPOSICIONES La lógica es una ciencia formal, o sea,

Más detalles

Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid

Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid LÓGICA FORMAL Lógica Proposicional: Teorema de Efectividad Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Lógica Proposicional 1 La lógica proposicional

Más detalles

Lenguaje artificial. Código inventado para determinadas disciplinas y leyes, para utilizarlo de determinadas maneras.

Lenguaje artificial. Código inventado para determinadas disciplinas y leyes, para utilizarlo de determinadas maneras. LENGUAJE Y RAZONAMIENTO LÓGICO 1. LENGUAJES NATURALES Y ARTIFICIALES. 2. LA LÓGICA COMO CIENCIA DEL LENGUAJE. 3. LÓGICA PROPOSICIONAL. 3.1. Cálculo proposicional. Símbolos elementales. Reglas de formación.

Más detalles

Lógica Matemática. Operadores Lógicos. Universidad del Azuay - Marcos Orellana Cordero

Lógica Matemática. Operadores Lógicos. Universidad del Azuay - Marcos Orellana Cordero Lógica Matemática Operadores Lógicos Introducción La lógica proposicional inicia con las proposiciones y los conectores lógicos. A partir de la combinación de dos proposiciones por medio de un conector

Más detalles

FORMALIZACIÓN Y VALORACIÓN DE PROPOSICIONES

FORMALIZACIÓN Y VALORACIÓN DE PROPOSICIONES FORMALIZACIÓN Y VALORACIÓN DE PROPOSICIONES 1.1. Conectivos Lógicos Se denominan conectivos lógicos a aquellas palabras o términos funcionales que ligan, juntan, unen o enlazan las proposiciones simples

Más detalles

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

LÓGICA PRIMER SEMESTRE. Definición del Concepto de Lógica.

LÓGICA PRIMER SEMESTRE. Definición del Concepto de Lógica. PRIMER SEMESTRE Definición del Concepto de Lógica. LÓGICA 1. Quién es el Fundador de la Lógica y como la define? 2. Cuál es la definición Nominal de Lógica? 3. Escribe la definición Real de Lógica 4. Qué

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

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

Refelxiones con Respecto a la Lógica. Ana Lilia LAUREANO-CRUCES

Refelxiones con Respecto a la Lógica. Ana Lilia LAUREANO-CRUCES Refelxiones con Respecto a la Lógica Ana Lilia LAUREANO-CRUCES Qué es la lógica es el estudio de métodos y principios usados para distinguir el buen (correcto) razonamiento del malo (incorrecto). no debe

Más detalles

Pragmática es el estudio de la relación entre los signos y los sujetos que los emplean.

Pragmática es el estudio de la relación entre los signos y los sujetos que los emplean. Lógica Sólo en el caso de enunciar hechos o situaciones, las afirmaciones pueden ser calificadas de verdaderas o falsas, sólo en este caso el lenguaje tiene un determinado valor de verdad. Se le puede

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

Fundamentos básicos de matemáticas: Lógica Proposicional

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

P r o p o s i c i ó n

P r o p o s i c i ó n P r o p o s i c i ó n Es toda oración o enunciado al que se le puede asignar un cierto valor (v o f). Si no puede concluir que es verdadero o falso no es proposición. La verdad o falsedad de una proposición

Más detalles

LÓGICA PROPOSICIONAL

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

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

Sumario Prólogo Unidad didáctica 1. Historia de la lógica Objetivos de la unidad... 10

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

LA ARGUMENTACIÓN: Argumentos deductivos y Lógica

LA ARGUMENTACIÓN: Argumentos deductivos y Lógica LA ARGUMENTACIÓN: Argumentos deductivos y Lógica Qué es un argumento deductivo? Un argumento deductivo es aquel cuya conclusión se sigue necesariamente de las premisas. Es decir, si las premisas son verdaderas,

Más detalles

CAPÍTULO 8 CAPÍTULO 8. BREVE HISTORIA.

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

2. ELEMENTOS DE LÓGICA PROPOSICIONAL

2. ELEMENTOS DE LÓGICA PROPOSICIONAL Copyright 2013. Editorial Tébar lores. All rights reserved. RAMÓN RODRÍGUEZ ALLEJO 2. ELEMENTOS DE LÓGICA PROPOSICIONAL 2.1. PROPOSICIONES Definición 2.1.1.- Se denomina proposición a toda expresión verbal,

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

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

TRABAJO PRÁCTICO DOMICILIARIO Lógica

TRABAJO PRÁCTICO DOMICILIARIO Lógica FILOSOFÍA6to. Año ESO Módulo II LA FILOSOFÍA Y EL CONOCER TRABAJO PRÁCTICO DOMICILIARIO Lógica Primera parte LÓGICA INFORMAL 1 Lectura de texto: Lógica. 1. Lógica Informal Lógica. 1. Lógica Informal 1.1

Más detalles

Lógica Proposicional. Preliminares Teoría de Conjuntos. Lógica Proposicional. Conectivos lógicos. Conectivos lógicos. Conectivos lógicos

Lógica Proposicional. Preliminares Teoría de Conjuntos. Lógica Proposicional. Conectivos lógicos. Conectivos lógicos. Conectivos lógicos Lógica Proposicional Preliminares Teoría de Conjuntos Definición. Una proposición es una oración con valor declarativo o informativo, de la cual se puede predicar su verdad o falsedad. Ejemplos de proposiciones?

Más detalles

MATEMÁTICA. Módulo Educativo Etapa Presencial Docente Coordinadora: Bioq. y Farm. Marta Marzi

MATEMÁTICA. Módulo Educativo Etapa Presencial Docente Coordinadora: Bioq. y Farm. Marta Marzi MATEMÁTICA Módulo Educativo Etapa Presencial 2014 Docente Coordinadora: Bioq. y Farm. Marta Marzi Facultad de Ciencias Bioquímicas y Farmacéuticas UNIVERSIDAD NACIONAL DE ROSARIO Suipacha 531 0341-4804592/93/97

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

EL LENGUAJE FORMAL DE LA LÓGICA. Agosto del 2011

EL LENGUAJE FORMAL DE LA LÓGICA. Agosto del 2011 EL LENGUAJE FORMAL DE LA LÓGICA Agosto del 2011 Qué es un lenguaje formal? Está formado por los siguientes elementos básicos: A. Signos primitivos del lenguaje, esto es su alfabeto. B. Unas reglas de combinación

Más detalles

INSTITUTO POLITÉCNICO NACIONAL ESCUELA SUPERIOR DE INGENIERÍA MECÁNICA Y ELÉCTRICA INGENIERÍA EN COMUNICACIONES Y ELECTRÓNICA

INSTITUTO POLITÉCNICO NACIONAL ESCUELA SUPERIOR DE INGENIERÍA MECÁNICA Y ELÉCTRICA INGENIERÍA EN COMUNICACIONES Y ELECTRÓNICA INSTITUTO POLITÉCNICO NACIONAL ESCUELA SUPERIOR DE INGENIERÍA MECÁNICA Y ELÉCTRICA INGENIERÍA EN COMUNICACIONES Y ELECTRÓNICA PRÁCTICAS DE CIRCUITOS LÓGICOS LABORATORIO DE COMPUTACIÓN IV PRÁCTICA 1 NOMBRE

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

Lógica proposicional 4. Formalización de argumentos

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

Un poco de lógica. Ramón Espinosa. Departamento de Matemáticas, ITAM

Un poco de lógica. Ramón Espinosa. Departamento de Matemáticas, ITAM Un poco de lógica Ramón Espinosa Departamento de Matemáticas, ITAM La lógica, como el whisky, pierde sus efectos benéficos cuando se consume en grandes cantidades. Lord Dunsany Uno de los principales propósitos

Más detalles

Autora: Jeanneth Galeano Peñaloza. 3 de febrero de Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 1/ 50

Autora: Jeanneth Galeano Peñaloza. 3 de febrero de Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 1/ 50 Autora: Jeanneth Galeano Peñaloza Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 3 de febrero de 2013 1/ 50 Parte I 2/ 50 Proposiciones Considere las siguientes frases Guarde

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

13/04/2013 LOGICA MATEMÁTICA

13/04/2013 LOGICA MATEMÁTICA ING ARNALDO ANGULO ASCAMA profearnaldo@hotmail.com ING. ARNALDO ALBERTO ANGULO ASCAMA LOGICA MATEMÁTICA La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas

Más detalles

Lógica Matemática. Tema: Tautología, contradicción y evaluación de la validez

Lógica Matemática. Tema: Tautología, contradicción y evaluación de la validez Lógica Matemática Tema: Tautología, contradicción y evaluación de la validez Tautología, contradicción y evaluación de la validez Una proposición molecular es una tautología si es cierta, cualesquiera

Más detalles

Cantidad de proposiciones Número de combinaciones = = = n

Cantidad de proposiciones Número de combinaciones = = = n COLEGIO SAN RANCISCO JAIER DE LA ERAPAZ PROESOR RONALD CHÉN: Conectivos lógicos y tablas de verdad (Primero Básico 2017) Conceptos 3 Notación y Conectivos lógicos Conectivos lógicos son aquellas palabras

Más detalles

Lógica Matemática. Tema: Los conectores lógicos y sus símbolos

Lógica Matemática. Tema: Los conectores lógicos y sus símbolos Lógica Matemática Tema: Los conectores lógicos y sus símbolos Los conectores lógicos y sus símbolos Además de simbolizar las proposiciones, también se pueden emplear símbolos para los mismos conectores

Más detalles

LÓGICA. Colegio Marta Brunet Departamento de Matemáticas MSc. Alejandro Andrés Panes Pérez. Si x = 2 2 es un numero natural

LÓGICA. Colegio Marta Brunet Departamento de Matemáticas MSc. Alejandro Andrés Panes Pérez. Si x = 2 2 es un numero natural Colegio Marta Brunet Departamento de Matemáticas MSc. Alejandro Andrés Panes Pérez LÓGICA Definición 1. Una proposición es una expresión susceptible de ser verdadera o falsa. Ejemplo 1. p: El ser humano

Más detalles

2.5 Los argumentos: premisas y conclusiones

2.5 Los argumentos: premisas y conclusiones Los argumentos: premisas y conclusiones 29 Continúa 2. Realizar traducción lógica. Como se observa, las proposiciones p y q están negadas, por lo que su traducción lógica es: p q 3. Obtener la cantidad

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