Matemáticas Básicas para Computación

Documentos relacionados
Matemáticas Básicas para Computación

Matemáticas Básicas para Computación

Elaborar un mapa conceptual del tema de Lógica Proposicional (Diapositivas: Lógica Proposicional) Desarrollar ejercicios de la ficha de trabajo y del

Lógica proposicional. 1. Lógica proposicional. 4. Conectivos lógicos. 2. Proposición lógica. 3. Negación de una proposición

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

Enunciados Abiertos y Enunciados Cerrados

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

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

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

P r o p o s i c i ó n

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

Lógica Proposicional. Guía Lógica Proposicional. Tema I: Proposiciones

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


Apuntes de Lógica Proposicional

Introducción a la lógica. Matemáticas Discretas Universidad de san buenaventura Cali

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

Lógica proposicional

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 MATEMÁTICA O FORMAL O SIMBÓLICA

Introducción a la Lógica

La Lógica Proposicional

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

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

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

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

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

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

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

UNIDAD I: LÓGICA MATEMÁTICA

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

EVOLUCIÓN HISTÓRICA DE LA LÓGICA

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

Matemáticas Dicretas LÓGICA MATEMÁTICA

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

13/04/2013 LOGICA MATEMÁTICA

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

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

Guía para el estudiante

CIENCIAS FORMALES CIENCIAS FÁCTICAS

Lógica proposicional o Lógica de enunciados

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

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

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

Matemáticas Básicas para Computación

Lógica de Proposiciones y de Predicado

Introducción a la lógica matemática

Forma lógica de enunciados

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

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

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

LÓGICA PROPOSICIONAL

IDENTIFICANDO ZONAS EN LOS DIAGRAMAS DE VENN UTILIZANDO CONECTIVOS Y CUANTIFICADORES

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

Guía de estudio Algunos aspectos de lógica matemática Unidad A: Clases 1 y 2

Lógica Proposicional. Sergio Stive Solano Sabié. Abril de 2013

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

- AnallogicA - Software para crear tablas de verdad

Capítulo 1 Lógica Proposicional

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

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

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

LÓGICA Y RAZONAMIENTO JURÍDICO

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

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

Lógica Proposicional. Introducción

UNIVERSIDAD SEÑOR DE SIPÁN CURSO: LÓGICO MATEMÁTICA. Gonzales Caicedo Walter Orlando. Guía. Walter

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

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

Lógica proposicional 2. El lenguaje formal

Lógica Proposicional

SESIÓN 04 LÓGICA PROPOSICIONAL

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

MATEMÁTICAS DISCRETAS. UNIDAD1 Lógica y Demostraciones

PRIMERA UNIDAD II SEMESTRE FILOSOFIA

CORPORACION UNIFICADA NACIONAL DE EDUCACION SUPERIOR CUN DEPARTAMENTO DE CIENCIAS BASICAS: MATEMATICAS

Matemáticas Básicas para Computación

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

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

LÓGICA PROPOSICIONAL

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

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

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

2. ELEMENTOS DE LÓGICA PROPOSICIONAL

INTRODUCCIÓN A LA LÓGICA

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

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

Lógica de Proposiciones y de Predicado

Introducción a la Matemática Discreta

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

Lógica Matemática. Contenido. Definición. Finalidad de la unidad. Proposicional. Primer orden

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

No ~ Si entonces Sí y sólo si

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

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

Semántica española. César Antonio Aguilar Facultad de Lenguas y Letras 10/04/2017.

DEPARTAMENTO DE MATEMÁTICA Y FÍSICA ASIGNATURA

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos

Transcripció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 lógicas a través de las tablas de verdad. Contextualización Las proposiciones son el lenguaje por excelencia de la lógica simbólica, esta lógica es por la que están regidas todas las leyes de la matemática que tiene como principal fuente de estudio la simbología. La importancia de las proposiciones se basa en que estos enunciados son los que utiliza la lógica para formar y expresar sus argumentos. Muchas de las herramientas más usadas en el funcionamiento de los computadores han sido basadas en la lógica, a lo largo del curso iremos hablando de estas herramientas, mientras tanto no debes perderte esta sesión para aprender la base de lo que se verá a futuro.

MATEMÁTICAS BÁSICAS PARA COMPUTACIÓN 2 Introducción al Tema Las proposiciones son oraciones literarias en las que su único sentido es establecer un valor de verdad o falsedad, estas oraciones también pueden ser matemáticas; pueden ser falsas o verdaderas pero no las dos cosas al mismo tiempo. De tal manera que si nos encontramos con una oración que no tenga sentido o que carezca de cualquier valor no podremos considerarla proposición, sino que se le conocerá como un enunciado. Cuando un acto mental tiene como resultado una proposición se denomina juicio, los seres humanos tenemos un juicio cuando pensamos que algo es o no es alguna otra cosa; por tanto la expresión verbal de un juicio es una proposición. Si tú piensas que está haciendo mucho calor estás haciendo un juicio; pero si quieres expresar de forma verbal el juicio lo deberás hacer como proposición; en pocas palabras, el juicio es lo que ocurre cuando estamos pensando y la proposición es la oración que haces para expresar dicho juicio.

MATEMÁTICAS BÁSICAS PARA COMPUTACIÓN 3 Explicación Proposiciones Es una oración referencial de la cual se puede obtener su veracidad o falsedad, es decir, cualquier enunciado que sea verdadero o falso, pero no ambos al mismo tiempo. Son proposiciones las leyes científicas, las fórmulas y esquemas lógicos, los enunciados cerrados, las oraciones aseverativas y las fórmulas matemáticas. No se le puede nombrar proposiciones a las opiniones, proverbios, refrenes, modismos, suposiciones, las interrogaciones, las operaciones matemáticas, las oraciones imperativas y exclamativas, y los enunciados abiertos. El valor de verdad de una proposición depende en conjunto con el estado del mundo y del conocimiento que se tenga de ese estado. Por ejemplo el valor de verdad de la oración Pedro juega, no sólo depende de la persona Pedro y del significado de jugar, sino también del momento en que fue mencionada la expresión. Pedro probablemente esté jugando ahora, pero en efecto no siempre está jugando. Del mismo modo debemos distinguir entre la oración gramatical o enunciado y del significado o contenido del mismo, que es la proposición. Los siguientes enunciados son la misma proposición realmente: En Alaska hace mucho frio. Alaska en un estado muy friolento. La temperatura promedio de Alaska es bastante baja. El clima de Alaska es helado. En cambio las siguientes expresiones representan proposiciones: El oro es un mineral. Einstein fue un físico teórico.

MATEMÁTICAS BÁSICAS PARA COMPUTACIÓN 4 25 + 35 = 60. Cristóbal Colón conquistó América. Los siguientes ejemplos son expresiones que no son una proposición: El hombre más feo del mundo. Tú te callas! Cuánto cuesta esa chamarra? El director de la escuela. Las proposiciones se representan por letras minúsculas: p, q, r, s, t, u. por ejemplo p es la proposición tres más cinco es igual a ocho que se denota p: Tres más cinco es igual a ocho. Las proposiciones se clasifican en dos: Proposiciones Simples o Atómicas Son aquellas que no se pueden separar y por lo tanto carecen de todo tipo de conectivos lógicos. Dentro de este grupo se encuentran dos tipos de proposiciones: 1. Predicativas: en ellas se afirma o se atribuye alguna característica respecto a un objeto, por ejemplo: José Montes es Ingeniero. 2. Relacionales: existe una relación de dependencia, establece una relación entre dos o más objetos, por ejemplo: Madrid es la capital de España. Proposiciones Compuestas o Moleculares Son el resultado de la combinación de 2 o más proposiciones simples, estas proposiciones están unidas por uno o más conectivos lógicos y pueden ser

MATEMÁTICAS BÁSICAS PARA COMPUTACIÓN 5 descompuestas o separadas en proposición más simples. El valor de verdad depende de las proposiciones por las que están compuestas. Se mostrarán los diferentes conectores lógicos mediante una tabla mencionando su denominación o nombre, su significado y el símbolo por el que se representa y podremos identificarlas entre ellas. Denominación Significado Símbolo Conjunción Y Disyunción Inclusiva O Disyunción Exclusiva O O Condicional Si ; entonces Bicondicional Si y solo si...; entonces Negación No

MATEMÁTICAS BÁSICAS PARA COMPUTACIÓN 6 Conclusión En conclusión podemos decir que las proposiciones son aquellas oraciones o expresiones que se califican como verdaderas o como falsas, a esta calificación se le conoce como valor de verdad. Las proposiciones las nombramos generalmente con letras minúsculas y se pueden clasificar como simples o compuestas. Éstas últimas son formadas gracias a los conectores lógicos que nos ayudan a combinar cualquier número de proposiciones. No te pierdas las siguientes sesiones donde seguiremos aprendiendo acerca de la lógica.

MATEMÁTICAS BÁSICAS PARA COMPUTACIÓN 7 Para aprender más S.a. (2012) Proposiciones lógicas parte 1 Video de youtube. http://brd.unid.edu.mx/proposiciones-logicas-parte-1/ S.a. (2012) Proposiciones lógicas parte 1 Video de youtube. http://brd.unid.edu.mx/proposiciones-logicas-parte-2/ Tareasplus. (2013) Qué es la lógica? Video de YouTube: http://www.youtube.com/watch?v=xnfu4dzcs1e&feature=youtu.be Tareasplus. (2013) Cálculo proposicional. Video de YouTube: http://www.youtube.com/watch?v=gog6arhvheg&feature=youtu. be

MATEMÁTICAS BÁSICAS PARA COMPUTACIÓN 8 Actividad de Aprendizaje Instrucciones: Con base en los conceptos aprendidos en la sesión, realiza la descripción correcta sobre las expresiones lingüísticas indicando si son o no proposiciones y fundamentando tu respuesta: Quién es la cabeza del narcotráfico? Que tenga usted buena tarde. x * y = y * x. Oslo es la capital de Noruega. No le pegues nunca a nadie. El año tiene 52 semanas. Con base en los conceptos aprendidos en la sesión, aplícalos para saber si las siguientes proposiciones son atómicas o moleculares, fundamenta tu respuesta: Juan y Pedro son hermanos. Hace unos años se consideraba al computador como una gran calculadora, pero hoy se habla de sus logros intelectuales. Los términos lenguaje y metalenguaje no son relativos sino absolutos. La abuela y el abuelo fueron al doctor. María aprobó el examen porque estudió muchos días. Todos los ángulos del cuadrado miden 90 al igual que del rectángulo. Aplica los conceptos sobre tipos de proposiciones y fundamenta si son proposiciones moleculares conjuntivas, disyuntivas inclusivas, disyuntivas exclusivas, condicionales, bicondicionales o negativas:

MATEMÁTICAS BÁSICAS PARA COMPUTACIÓN 9 David no es mexicano ni latino. El 25% de 200 es 50 o 25. Francis Fukuyama proclama el fin de la historia y la muerte de toda ideología, puesto que era liberal. Cuando apruebe el examen de admisión ingresaré a la UNAM. La huelga sigue, puesto que no hay común acuerdo. Sube a la plataforma tu trabajo en el lugar indicado.

MATEMÁTICAS BÁSICAS PARA COMPUTACIÓN 10 Bibliografía B, P. G. (2013). Lógico Matemático. Obtenido de SlideShare: 5583597 http://www.slideshare.net/guadalupe121270/proposiciones-logicas- Gutiérrez, I. V. (2013). Universidad Nacional de Moquequia. Obtenido de http://www.unam.edu.pe/website/images/stories/archivos/material_doc entes/vaneza_flores/separata/matem_discreta/logica- Proposicional.pdf W. K. Grassmann, J. P. (1997). Matemática Discreta y Lógica. Prentice HAll.