UNIVERSIDAD DE ANTIOQUIA SEMILLERO DE MATEMÁTICAS NIVEL 11 TALLER N º 2 LÓGICA MATEMÁTICA

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

Download "UNIVERSIDAD DE ANTIOQUIA SEMILLERO DE MATEMÁTICAS NIVEL 11 TALLER N º 2 LÓGICA MATEMÁTICA"

Transcripción

1 UNIVERSIDAD DE ANTIOQUIA SEMILLERO DE MATEMÁTICAS NIVEL 11 TALLER N º 2 LÓGICA MATEMÁTICA RESEÑA HISTÓRICA Etimológicamente la palabra lógica viene del Griego "logos = razón, idea, razonamiento". Entendida como el estudio de métodos y principios utilizados para diferenciar un razonamiento correcto de otro incorrecto, la lógica, fue creada por ARISTÓTETES en el siglo V (AC) en su libro" Organón = Instrumento". La Lógica puede ser natural y formal. La natural es propia de todos los humanos (un niño de pocos meses pide el balón Y el tetero; voy a pasear entonces llevo pantaloneta). La formal es simbólica, sistemática y propia de los lógicos. En este sentido es el lenguaje de las ciencias y de las matemáticas en particular. La lógica simbólica se inició con LEIBNIZ, quien consideró un lenguaje científico universal común a todos los hombres de ciencia, y un cálculo del razonamiento, reglas precisas, para la manipulación de aquel lenguaje, aunque sin mucha profundidad. Motivados por los estudios de Leibniz, Lambert y Holland hicieron algunos aportes a esta ciencia. Entre 1825 y 1850 GEORGE BOOLE basado en estudios de Hamilton y Demorgan propuso su álgebra de la lógica, que permite un cálculo manejable y completo, donde se aplican operaciones de tipo matemático. La estructura del sistema de Bool se basa en tres ideas fundamentales: elección de símbolos, leyes del pensamiento expresadas por reglas de operación que actúan sobre los símbolos, y la observación, de que dichas reglas, actúan algebraicamente sobre los números cero y uno de igual forma. BIOGRAFÍA DE GEORGE BOOLE Nació: El 2 de noviembre de 1815 en Lincoln (Inglaterra). Murió: El 8 de diciembre de 1864 en Ballintemple (Irlanda). Era de familia humilde (una forma delicada de decir que era pobre) y recibió una educación elemental. Estudió por su cuenta latín y griego. A los 12 años era un experto en latín. A esta edad tradujo una oda de Horacio, pero la traducción era tan perfecta que no creían que era la traducción de un niño. Boole no cursó estudios oficiales. A los 16 años era ayudante del maestro de escuela (en aquella época, todos los alumnos, estaban en la misma aula y los alumnos de los cursos superiores, ayudaban al maestro en la enseñanza de los cursos inferiores). En 1835 abrió su propia escuela y empezó a estudiar matemáticas por su cuenta. En esta época fué cuando estudió los trabajos de Laplace y Lagrange. Se casó con una sobrina de George Everest (el que dio el nombre a la famosa montaña). En 1847 publicó The Mathematical Análisis of Logic y en 1854 Investigation of the Laws of though, un clásico de la historia de las matemáticas porque es el origen de la Teoría de conjuntos. Es muy conocido por lo que hoy se llama lógica booleana, que se utiliza en los computadores. A pesar de no tener estudios oficiales, Boole tuvo el reconocimiento de las Universidades de Dublín y Oxford. Murió a los 49 años, como consecuencia de un resfriado debido a que se mojó en la caminata desde su casa a la escuela. OBJETIVO GENERAL Promover en los alumnos el desarrollo del razonamiento lógico, mediante la solución de problemas, en los que se apliquen leyes de la lógica de proposiciones y de la lógica de las funciones proposiocionales.

2 TEORIA PROPOSICIÒN: Enunciado del cual podemos afirmar que es verdadero o que es falso. Ejemplos: 2 es un número primo (Verdadero) Los martes hay semillero de matemáticas. (Falso) Cómo estás? No es una proposición puesto que no podemos afirmar que es verdadera o falsa. VALOR DE VERDAD: Es la Verdad o falsedad de un enunciado. CONJUNCION: p q Dos proposiciones simples se pueden conectar por la palabra y para formar una proposición compuesta, que se llama la conjunción. El valor de verdad de la conjunción satisface la siguiente condición: La conjunción de dos enunciados simples es verdadera solamente si cada uno de los enunciados es verdadero. DISYUNCIÒN: p q La disyunción únicamente es falsa cuando las dos proposiciones son falsas. LA NEGACIÒN: ~ p p: 3 es un número primo ( V ) p: 3 no es un número primo o también no es cierto que 3 sea un numero primo( F ) EL CONDICIONAL: p q Se lee si p entonces q p siempre que q p solo si q p es suficiente para q El condicional únicamente es falso cuando el antecedente p es verdadero y el consecuente q es falso, porque una proposición verdadera no implica una falsedad. Nota: Si en el condicional se cumplen las condiciones: 1. Las proposiciones están lógicamente ligadas 2. El condicional es verdadero. Entonces el condicional se llama una implicación y se escribe p q Si 2x = 4 entonces, x = 2 es verdadero y se puede escribir: 2x = 4 implica que x = 2. EL BICONDICIONAL: p q y se lee p si y sólo si q El bicondicional es equivalente a (p q) (q p) El bicondicional es verdadero si las proposiciones simples tienen el mismo valor de verdad y es falso si las proposiciones tienen valores diferentes. EJERCICIO: Sea p: El es fuerte y q: El es inteligente. Escribir en forma simbólica los siguientes enunciados: 1. El es fuerte e inteligente. 2. El es fuerte pero no es inteligente. 3. Es falso que él es débil o inteligente. ~(~p q ) 4. El no es ni fuerte ni inteligente. 5. No es verdad que él es débil o que no es inteligente. 6. El es fuerte, o él es débil e inteligente 7. Ser fuerte es suficiente para ser inteligente. 8. El es débil sólo si no es inteligente. 9. Hay que ser débil para ser inteligente.

3 REGLAS DE INFERENCIA: Son reglas que nos sirven para probar que a partir de unas premisas es posible hacer la demostración de una conclusión específica. REGLA 1: p q p q (conclusión) 1. Si hoy es sábado entonces hay semillero de matemática. 2. Hoy es sábado. Hay semillero de matemáticas. (Conclusión). REGLA 2: p q p q ~q ~p p (conclusión) q (conclusión) 1. Un número natural a es par o impar 2. a no es impar. a es par. (Conclusión) REGLA 3: p q ~q ~p (conclusión). 1. Si llueve entonces la calle está mojada. 2. La calle no está mojada. No está lloviendo (conclusión) REGLA 4: (TRANSITIVIDAD) p q q r p r (conclusión) 1. Si n es par entonces n es divisible por Si n es divisible por 2 entonces n es múltiplo de 2. Si n es par entonces n es múltiplo de 2. (conclusión) REGLA 5: p q p q (conclusión) 1. Hoy es sábado. 2. Mañana es Domingo. Hoy es sábado y mañana es Domingo. (Conclusión) REGLA 6: p q p r p q p r q s q r r s (conclusión) r (conclusión) Ejemplo de la parte 1 de la regla 6: 1. Voy al colegio o me quedo en casa. 2. Si voy al colegio entonces asistiré al laboratorio de física. 3. Si me quedo en casa entonces escucharé música. Asistiré al laboratorio de física o escucharé música.

4 REGLA 7: p q p (conclusión) p q q (conclusión) 1. Hoy voy a estudiar al semillero y luego voy a la piscina. Hoy voy a estudiar al semillero. (conclusión) OTRAS LEYES QUE SE UTILIZAN CON FRECUENCIA: Ley de Demorgan ~(p q) ~p ~q ~(p q) ~ p ~q Ley de la doble negación: ~(~p) p Regla de la adición: p p q (conclusión) Un ejemplo usando las reglas de inferencia Si el partido A gana las elecciones, tendrá mayoría en el congreso. Si tiene mayoría el presidente podrá cumplir el programa de gobierno propuesto. O el presidente no podrá cumplir el programa propuesto o la oposición lo atacará duramente pero la oposición no lo atacará duramente. A. El partido A ganará las elecciones B. La oposición lo atacará duramente C. El partido A no ganará las elecciones D. El partido A tendrá mayoría en el congreso. Solución: A. Sacar premisas p: El partido A gana las elecciones q: El partido A tendrá mayoría en el congreso r: El presidente podrá cumplir el programa de gobierno propuesto. s: La oposición lo atacará duramente. B. Leer el texto cuidadosamente y usar los conectivos adecuados 1. p q 2. q r 3. ~r v s 4. ~s C. Recuerda que cada enunciado 1,2,3,4 es verdadero De 4, se tiene que ~s es verdadero, luego en 3, se tiene que s es falso; por lo tanto ~r tiene que ser verdadero (disyunción: es falsa cuando ambas son falsas), así que en 2, r es falsa, por consiguiente q tiene que ser falsa (la implicación es falsa solo cuando el antecedente es verdadero y el consecuente es falso) luego en 1, como q es falsa, p tiene que ser falsa, entonces se tiene que ~p es verdadero, por lo tanto la conclusión es la C.

5 CONDICION SUFICIENTE PERO NO NECESARIA. Una condición es suficiente para la realización de un proceso, cuando en su presencia el suceso debe ocurrir. (O sea que basta). Si soy antioqueño, entonces soy colombiano. CONDICION NECESARIA PERO NO SUFICIENTE: Una condición es necesaria cuando su cumplimiento es indispensable para la realización de un proceso. Pero una condición puede ser necesaria y sin embargo el suceso puede ser que no ocurra. La presencia de oxigeno es condición necesaria para que se produzca fuego, puesto que si no hay oxigeno no se produce fuego. La presencia de oxigeno no es condición suficiente par que se produzca fuego. Una expresión equivalente a p es condición necesaria para q es: ~p ~q. En el ejemplo: Si no hay oxigeno entonces no hay fuego. CONDICION NECESARIA Y SUFICIENTE: Ser p una condición necesaria y suficiente para q es equivalente a p q, o sea (p q) (q p) GLOSARIO Proposición, conjunción, disyunción, implicación, conectivos, antecedente, consecuente, inferencia.

6 TALLER En los ejercicios del 1 al 8 hallar la conclusión correspondiente a las premisas dadas. 1. María tiene clase. Si llueve en la madrugada, entonces: Si María tiene clase, llegará tarde. No es cierto que: No llueve en la madrugada o hace frío. A. Llueve en la madrugada B. María llegará tarde C. María no tiene clase. D. Hace frío. 2. Si el invierno continúa o las inundaciones aumentan, entonces las viviendas peligran o los alimentos se encarecen. No es cierto que los alimentos se encarecen. El invierno continúa. A. El invierno terminó. B. Las viviendas peligran. C. Los alimentos se encarecen D. Las inundaciones disminuyen. 3. Si el partido A gana las elecciones, tendrá mayoría en el congreso. Si tiene mayoría el presidente podrá cumplir el programa de gobierno propuesto. O el presidente no podrá cumplir el programa propuesto o la oposición lo atacará duramente pero la oposición no lo atacará duramente. A. El partido A ganará las elecciones B. La oposición lo atacará duramente C. El partido A no ganará la elecciones D. El partido A tendrá mayoría en el congreso. 4. Si estudio, entonces no perderé matemáticas. Si no juego baloncesto, entonces estudiaré. Pero perdí matemáticas A. No jugué baloncesto B. Estudié C. No perderé matemáticas D. Jugué baloncesto 5. Si Marcela digita bien, entonces Alejandro o Edwin entregará el trabajo a tiempo. Pero Marcela digitó bien y Alejandro no entregó el trabajo a tiempo. Por tanto. A. Edwin no entregó el trabajo a tiempo B. Edwin entregó el trabajo a tiempo. C. Marcela no entregó el trabajo a tiempo D. Edwin también digitó el trabajo. 6. Si el reloj está adelantado, entonces Juan llegó antes de las diez y vio partir el coche de Andrés. Si Andrés dice la verdad, entonces Juan no vio partir el coche de Andrés. O Andrés dice la verdad o estaba en el edificio en el momento del crimen. El reloj está adelantado. Por tanto. A. Juan es el criminal B. Andrés no dice la verdad C. Juan dice la verdad D. Andrés estaba en el edificio en el momento del crimen

7 7. Cuando se prevén fuertes movimientos sísmicos, el observatorio avisa a las autoridades y alerta a la población. El observatorio no ha avisado a las autoridades o no ha alertado a la población. A. No se prevén fuertes movimientos sísmicos B. La autoridades alertan a la población C. El observatorio no avisa a la autoridades D. No se informa a las autoridades. 8. Si el equipo ganó el domingo, podrá jugar en el extranjero. Y jugará en el extranjero sólo si ha contratado a un nuevo entrenador. O el equipo no ha contratado a un nuevo entrenador, o ha quedado descalificado. Pero no ha quedado descalificado. A. El equipo no ganó el domingo B. El equipo contratará un nuevo entrenador C. El equipo jugará en el extranjero D. El equipo no ha quedado descalificado. 9. Indicar si los siguientes enunciados son condiciones suficientes, necesarias o suficientes y necesarias. Justifique su respuesta. A. Si hay presencia de oxigeno, se produce combustión. B. Si un número es divisible por 6, entonces es par. C. Si X es un número positivo, X 2 es positivo. D. Si se eleva la temperatura a un punto crítico en presencia del oxigeno, entonces hay combustión de una sustancia. DESCRIPCIÓN DE UN PROCESO DE RIEGO PARA UN CULTIVO. El diagrama indica el caudal de una acequia (1) que suministra el agua para el riego de un cultivo de maracuyá (3) mediante dos sistemas independientes así: En el primero, el agua ingresa por la compuerta A hasta el tanque (2) donde es almacenada y posteriormente a través de la compuerta C, es distribuida por un sistema de mangueras subterráneas que efectúan un riego por aspersión. En el segundo el agua ingresa por la compuerta B y es distribuida directamente por un sistema de surcos en todo el cultivo, efectuándose un riego por inundación. Una ley de recursos hídricos del INDERENA sólo permite tomar agua de la acequia por la compuerta A o la compuerta B pero no por las dos al mismo tiempo, con el objetivo de distribuir la toma de aguas entre los demás usuarios de la acequia. Cuando el tanque (2) está lleno y la compuerta A está abierta pero la compuerta C está cerrada, el agua sobrante pasa por un desagüe D a formar parte del acueducto de una finca. No hay otras condiciones bajo las cuales circule agua por D. Las situaciones que se plantean a continuación, se fundamentan en el proceso descrito textualmente y se asumen las condiciones normales de funcionamiento.

8 PLANTEAMIENTO DE UNA SITUACIÓN PROBLEMA-DESCRIPCIÓN DE UN PROCESO DE RIEGO PARA CULTIVO 1. De las situaciones que se describen a continuación, indique cuáles son posibles y cuáles no los son, en las condiciones de funcionamiento del sistema. Argumente en forma breve su respuesta. A. La compuerta A está abierta y no hay riego en el cultivo. B. Las compuertas A y B está cerradas y hay riego en el cultivo. C. La compuerta B está abierta y hay riego por aspersión D. La compuerta B está abierta y hay agua circulando por el desagüe D. E. La compuerta A está abierta y hay riego por inundación F. La compuerta C está abierta y no hay riego en el cultivo. G. La compuerta B está cerrada y no hay agua circulando por el desagüe D. H. Hay agua circulando por el desagüe D y hay riego en el cultivo. I. Hay riego por inundación y por aspersión simultáneamente. J. La compuerta B está cerrada, el tanque está lleno no hay agua circulando por el desagüe D y no hay riego en el cultivo. K. El tanque está lleno y no hay riego en el cultivo. L. El tanque está vació completamente y hay riego en el cultivo. M. Hay dos compuertas abiertas y no hay riego en el cultivo. N. Hay una compuerta abierta y hay riego en el cultivo. O. Hay una compuerta abierta y no hay riego en el cultivo. 2. Hoy no hay riego en el cultivo. Señale en las opciones siguientes cuál o cuáles de ellas son causa de este hecho. A. La compuerta A está cerrada. B. La compuerta B está cerrada C. Las compuertas A y B están cerradas. D. La compuerta A está abierta y la compuerta C está cerrada. E. La compuerta B y C está cerradas. F. Hay agua circulando por el desagüe D. G. Hay dos compuertas cerradas. H. El tanque está vació. 3. Hay dos compuertas abiertas, señale, cuál o cuáles de las opciones siguientes son consecuencia de este hecho. A. Hay riego por aspersión B. Hay riego por inundación C. Hay riego en el cultivo D. No hay agua circulando por el desagüe D. E. La compuerta A está abierta F. La compuerta C está abierta.

9 4. Señale, en las opciones siguientes, la condición o condiciones siguientes para que haya riego en el cultivo. Destaque las implicaciones respectivas. A. La compuerta A está abierta. B. La compuerta B está abierta. C. La compuerta A está abierta o la compuerta B está abierta. D. La compuerta C está abierta E. Las compuertas A y C están abiertas. F. Las compuertas B y C está abiertas. G. No hay agua circulando por el desagüe D. 5. Señale, en las opciones del numeral anterior, la condición o condiciones necesarias para que haya riego en el cultivo. Destaque las implicaciones respectivas. 6. De acuerdo a lo determinado en los numerales 4 y 5 se pueden señalar algunas equivalencias? 7. Señale, en las opciones siguientes, la condición o condiciones suficientes para que circule agua por el desagüe D. Destaque las implicaciones respectivas. A. La compuerta B está cerrada B. La compuerta C está cerrada. C. La compuerta A está abierta D. El tanque 2 está lleno. E. Las compuertas B y C está cerradas. F. El tanque está lleno y la compuerta A está abierta. G. El tanque está lleno y la compuerta C está cerrada H. El tanque está lleno, la compuerta C está cerrada y la compuerta B esta abierta. I. El tanque está lleno, la compuerta A está abierta y la compuerta C está cerrada. J. El tanque está lleno, la compuerta A está abierta y no hay riego en el cultivo. 8. Señale, en las opciones del numeral anterior, la condición o condiciones necesarias para que circule agua por el desagüe D. Destaque las implicaciones respectivas. BIBLIOGRAFÍA Matemática, una propuesta curricular 11, Julio Uribe Calad. Introducción al simbolismo lógico. Hugo Guarín. Pagina Web

Universidad de Antioquia

Universidad de Antioquia Examen de Admisión Facultad de Ciencias Exactas y Naturales Instituto de Matemáticas Grupo de Semilleros de Matemáticas (Semática) Matemática Lógica Taller 6 2012 1 La es la institución académica más grande

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

Colegio Centro América. Cuaderno de ejercicios Matemáticas

Colegio 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

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

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

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

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

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

Evaluación Nacional Revisión del intento 1

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

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

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

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

PRIMERA UNIDAD II SEMESTRE FILOSOFIA

PRIMERA UNIDAD II SEMESTRE FILOSOFIA PRIMERA UNIDAD II SEMESTRE ILOSOIA Lógica Matemática y Lógica de predicados. Objetivo: Comprender la función de la lógica matemática en la reflexión y el análisis de la realidad. Objetivo especifico :

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

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

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

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 Matemática. Contenido. Definición. Finalidad de la unidad. Proposicional. Primer orden

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

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

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

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

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

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

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

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

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

Capítulo 3 Cálculo proposicional 3.5 Razonamientos con proposiciones

Capítulo 3 Cálculo proposicional 3.5 Razonamientos con proposiciones 3.5 Razonamientos con proposiciones Si nos entregan el valor de verdad de las proposiciones simples es posible deducir el valor de verdad de la proposición compuesta. p: Holmes nació antes que Marx, es

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

Licenciatura en Ingeniería en Sistemas Inteligentes

Licenciatura en Ingeniería en Sistemas Inteligentes Universidad Autónoma del Estado de México Unidad Académica Profesional Nezahualcóyotl Licenciatura en Ingeniería en Sistemas Inteligentes Unidad de aprendizaje: Lógica Matemática Inferencia Lógica Dra.

Más detalles

Operaciones con Proposiciones

Operaciones con Proposiciones Operaciones con Proposiciones ES UNA AFIRMACIÓN QUE PUEDE SER VERDADERA O FALSA EJEMPLOS DE PROPOSICIONES: La capital de España es Sevilla El Ebro pasa por Zaragoza Alicante tiene 45 millones de habitantes

Más detalles

ASIGNATURA: MATEMÁTICA DISCRETA I

ASIGNATURA: MATEMÁTICA DISCRETA I 1 FUNDAMENTOS: ASIGNATURA: MATEMÁTICA DISCRETA I Código: 15-111 Régimen: Cuatrimestral Horas Semanales: 4 Horas prácticas: 30 Horas teóricas: 30 Horas totales: 60 Escuela de Sistemas Año del programa:

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

Tardó en darse cuenta que había perdido casi cinco años tratando de aprender las materias en vez de tener un profesor experto.

Tardó en darse cuenta que había perdido casi cinco años tratando de aprender las materias en vez de tener un profesor experto. George Boole Nacido el 2 de Noviembre de 1815 en Lincoln, Lincolnshire (Inglaterra), primero concurrió a una escuela en Lincoln, luego a un colegio comercial. Sus primeras instrucciones en matemática,

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

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

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

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

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

INSTITUTO INTGERRADO DE COMERCIO BARBOSA MATEMATICAS GRADO SEXTO DOCENTES DE MATEMATICAS JM Y JT

INSTITUTO INTGERRADO DE COMERCIO BARBOSA MATEMATICAS GRADO SEXTO DOCENTES DE MATEMATICAS JM Y JT INSTITUTO INTGERRADO DE COMERCIO BARBOSA MATEMATICAS GRADO SEXTO DOCENTES DE MATEMATICAS JM Y JT ESTUDIANTE INSTRUCCIONES. Resuelva cuidadosamente cada uno de los ejercicios propuestos en papel cuadriculado

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

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

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

Lógica Digital Transversal de Programación Básica Proyecto Curricular de Ingeniería de Sistemas

Lógica Digital Transversal de Programación Básica Proyecto Curricular de Ingeniería de Sistemas 1 Lógica Digital 2013 Transversal de Programación Básica Proyecto Curricular de Ingeniería de Sistemas 2 La lógica es una disciplina que estudia la estructura, el fundamento y el uso de las expresiones

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

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

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

Asignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional

Asignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional Asignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional 1. Responda las siguientes preguntas: a) Qué es un lenguaje formal? b) Qué es lenguaje matemático? c)

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

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

TEMA II. 1.1 Negación La negación es la inversa de los valores de verdad de una declaración como se muestra en la figura: Negación

TEMA II. 1.1 Negación La negación es la inversa de los valores de verdad de una declaración como se muestra en la figura: Negación TEMA II 1. APLICACIONES PRACTICAS DE LOGICA SIMBOLICA Y ÁLGEBRA DE PROPOSICIONES La proposición lógica hace más fácil y efectiva la manipulación de valores de verdad entre proposiciones. Las tablas de

Más detalles

1. Ejercicios propuestos

1. Ejercicios propuestos Coordinación de Matemática I (MAT021) 1 er Semestre de 2015 Semana 1: Guía de Ejercicios de Complemento, lunes 9 viernes 13 de Marzo Contenidos Clase 1: Elementos de lógica: conectivos, tablas de verdad,

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

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

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

MÉTODOS DE DEMOSTRACIÓN

MÉTODOS DE DEMOSTRACIÓN 2016-1 1 Presentación 2 Métodos de Demostración Sobre métodos de demostración algunas preguntas de interés 1 Qué es una demostración? Sobre métodos de demostración algunas preguntas de interés 1 Qué es

Más detalles

ANALÓGICO vs. DIGITAL

ANALÓGICO vs. DIGITAL ANALÓGICO vs. DIGITAL Una señal analógica se caracteriza por presentar un numero infinito de valores posibles. Continuo Posibles valores: 1.00, 1.01, 200003,, infinitas posibilidades Una señal digital

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

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

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

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

MATERIA: Lógica Matemática CÓDIGO: UMAT130 CRÉDITOS: 3. PERIODO LECTIVO: Invierno PRE-REQUISITO: Ninguno. 2. OBJETIVOS (Course Objectives Goal))

MATERIA: Lógica Matemática CÓDIGO: UMAT130 CRÉDITOS: 3. PERIODO LECTIVO: Invierno PRE-REQUISITO: Ninguno. 2. OBJETIVOS (Course Objectives Goal)) UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA PROGRAMA ANALÍTICO (SUBJECT DESCRIPTION) MATERIA: Lógica Matemática CÓDIGO: UMAT130 CRÉDITOS: 3 PERIODO

Más detalles

No ~ Si entonces Sí y sólo si

No ~ Si entonces Sí y sólo si Principios de lógica. Principios de la lógica y o Objetivo general Establecer el valor de verdad de muchos de los enunciados lógicos, utilizando las leyes de la lógica y las de las inferencias, ya sea

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

UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA SYLLABUS

UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA SYLLABUS UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA SYLLABUS MATERIA: UMAT 130 Lógica Matemática HORARIO: PROFESOR(A): Ing. Rubén Pacheco Villamar SEMESTRE:

Más detalles

ALUMNO SEGUIMIENTO TALLER

ALUMNO SEGUIMIENTO TALLER AREA Matemáticas PERIODO I GRADO 6 TEMA E,A,B DOCENTE Diana Patricia Valencia Valencia ALUMNO SEGUIMIENTO TALLER NOTA 1 NOTA 2 NOTA 3 NOTA 4 Nota: Los talleres son iguales para los niveles (A, B, E) ya

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

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

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

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

Organización de Computadoras Apunte 3: Sistemas de Numeración: Operaciones Lógicas

Organización de Computadoras Apunte 3: Sistemas de Numeración: Operaciones Lógicas Organización de Computadoras 2003 Apunte 3: Sistemas de Numeración: Operaciones Lógicas Para comprender este tema, me parece apropiado que repasen el tema de cálculo proposicional introducido en el curso

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

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

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

Lógica Simbólica y Teoría de Conjuntos Parte II Juan Carlos Bressan y Ana E. Ferrazzi de Bressan

Lógica Simbólica y Teoría de Conjuntos Parte II Juan Carlos Bressan y Ana E. Ferrazzi de Bressan Lógica Simbólica y Teoría de Conjuntos Parte II Juan Carlos Bressan y Ana E. Ferrazzi de Bressan Resumen En la Parte I se introdujeron simultáneamente las proposiciones, funciones proposicionales y sus

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

Facultad de Ingeniería y Tecnología Informática Técnico en Programación de Computadoras Plan de Estudios 2014 Año 2014 Programa Analítico Lógica (1)

Facultad de Ingeniería y Tecnología Informática Técnico en Programación de Computadoras Plan de Estudios 2014 Año 2014 Programa Analítico Lógica (1) 1. OBJETIVOS: 1- OBJETIVOS GENERALES: El objetivo principal de esta asignatura es introducir al alumno en el estudio de los sistemas finitos, conforme a los avances en la era de las computadoras. Se pretende

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

LÓGICA MATEMÁTICA. ARMANDO LÓPEZ SIERRA Ingeniero de Sistemas TRABAJO FINAL

LÓGICA MATEMÁTICA. ARMANDO LÓPEZ SIERRA Ingeniero de Sistemas TRABAJO FINAL TRABAJO FINAL Nota: Las personas con temas asignados para exposiciones, que expusieron bien o que piensan que lo harán bien en el último encuentro no tienen que presentar este trabajo, ya que la nota de

Más detalles

Lógica Digital. Organización de computadoras 2018 Universidad Nacional de Quilmes. Introducción: Cálculo Proposicional

Lógica Digital. Organización de computadoras 2018 Universidad Nacional de Quilmes. Introducción: Cálculo Proposicional Lógica Digital Organización de computadoras 28 Universidad Nacional de Quilmes Introducción: Cálculo Proposicional El cálculo proposicional es el estudio de las relaciones lógicas entre objetos llamados

Más detalles

Módulo 7 Negación. Negación: Es la contradicción a la proposición afirmativa utilizando el conectivo lógico no

Módulo 7 Negación. Negación: Es la contradicción a la proposición afirmativa utilizando el conectivo lógico no Módulo 7 Negación OBJETIO: Expresará la negación de una proposición dada, graficara el conjunto de verdad de la negación de una proposición, negará conjunciones y disyunciones. Construirá proposiciones

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

INSTITUCIÓN EDUCATIVA INSTITUTO AGRICOLA JORNADA DIURNA GUÍA DE TRABAJO # 1 AREA: MATEMÁTICAS AGISNATURA: ARITMÉTICA GRADO: SEXTO

INSTITUCIÓN EDUCATIVA INSTITUTO AGRICOLA JORNADA DIURNA GUÍA DE TRABAJO # 1 AREA: MATEMÁTICAS AGISNATURA: ARITMÉTICA GRADO: SEXTO AREA: MATEMÁTICAS AGISNATURA: ARITMÉTICA GRADO: SEXTO Instrucciones. Lee cuidadosamente los conceptos, los ejemplos y desarrolla los ejercicios propuestos. No olvides guardar esta guía de trabajo en tu

Más detalles

Tema de la clase: Lógica Matemática. Introducción

Tema de la clase: Lógica Matemática. Introducción Tema de la clase: Lógica Matemática Instructor: Marcos Villagra Clase # 01 Escriba: Sergio Mercado Fecha 30/10/2017 Introducción Una de las características principales que distinguen a las matemáticas

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

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

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

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

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

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

CENTRO FORMATIVO DE ANTIOQUIA CEFA MUNICIPIO DE MEDELLÍN ÁREA DE MATEMÁTICAS GRADO 11 LA DEMOSTRACIÓN

CENTRO FORMATIVO DE ANTIOQUIA CEFA MUNICIPIO DE MEDELLÍN ÁREA DE MATEMÁTICAS GRADO 11 LA DEMOSTRACIÓN ALGUNAS REGLAS DE INFERENCIA LÓGICA PERÍODO I FECHA 18 de enero de 2018 NIVEL MEDIA TÉCNICA CENTRO FORMATIVO DE ANTIOQUIA CEFA MUNICIPIO DE MEDELLÍN ÁREA DE MATEMÁTICAS GRADO 11 LA DEMOSTRACIÓN Podemos

Más detalles

Algunos otros métodos de prueba. Raymundo Morado

Algunos otros métodos de prueba. Raymundo Morado Algunos otros métodos de prueba Raymundo Morado Árboles de verdad Enrique Montero Nayeli Rodríguez Rodolfo Vázquez Raymundo Morado Temario 1. Árboles de Verdad para probar: 1.1 validez de un argumento

Más detalles