UNIVERSIDAD DE ANTIOQUIA SEMILLERO DE MATEMÁTICAS NIVEL 11 TALLER N º 2 LÓGICA MATEMÁTICA
|
|
- Milagros Soriano Cuenca
- hace 7 años
- Vistas:
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
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 detallesCIENCIAS FORMALES CIENCIAS FÁCTICAS
UNA CLASIFICACIÓN DE LAS CIENCIAS CIENCIAS FORMALES CIENCIAS FÁCTICAS CIENCIAS FORMALES MATEMÁTICA LÓGICA CIENCIAS FÁCTICAS FÍSICA BIOLOGÍA QUÍMICA CIENCIAS SOCIALES OTRAS CIENCIAS FORMALES VOCABULARIO
Más detallesColegio Centro América. Cuaderno de ejercicios Matemáticas
Colegio Centro América Cuaderno de ejercicios Matemáticas Nombre: Séptimo grado: Profesora: Urania Zepeda. Objetivo 1: Objetivo 1: Determinar el valor de verdad de proposiciones simples y construir tablas
Más detallesTEMA 1: LÓGICA. p p Operador conjunción. Se lee y y se representa por. Su tabla de verdad es: p q p q
TEMA 1: LÓGICA. Definición. La lógica es la ciencia que estudia el razonamiento formalmente válido. Para ello tiene un simbolismo que evita las imprecisiones del lenguaje humano y permite comprobar la
Más detallesLógica Proposicional. Cátedra de Matemática
Lógica Proposicional Cátedra de Matemática Abril 2017 Qué es la lógica proposicional? Es la disciplina que estudia métodos de análisis y razonamiento; utilizando el lenguaje de las matemáticas como un
Más detallesMATEMÁ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 detallesLOGICA 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 detallesALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.
ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción 1 La lógica es
Más detalles13/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 detallesEvaluación Nacional Revisión del intento 1
LOGICA MATEMATICA Perfil Salir Evaluación Nacional Revisión del intento 1 Finalizar revisión Comenzado el sábado, 15 de junio de 2013, 15:59 Completado el sábado, 15 de junio de 2013, 16:35 Tiempo empleado
Más detallesIDENTIFICACIÓ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 detallesRAZONAMIENTO LÓGICO LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO. La lógica se puede clasificar como:
La lógica se puede clasificar como: 1. Lógica tradicional o no formal. 2. Lógica simbólica o formal. En la lógica tradicional o no formal se consideran procesos psicológicos del pensamiento y los métodos
Más detallesElaborar 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 detallesGuí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 detallesLÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA
LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA La lógica formal o simbólica, a diferencia de la lógica clásica, utiliza un lenguaje artificial, es decir, está rigurosamente construido, no admite cambios en el
Más detallesPRIMERA 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 detallesEnunciados Abiertos y Enunciados Cerrados
I n g. L u z A d r i a n a M o n r o y M a r t í n e z L ó g i c a 1 Unidad II lógica proposicional Es probable que en el siglo IV antes de la Era Común, se iniciara con Aristóteles el estudio de la Lógica;
Más detallesIntroducció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 detallesLógica proposicional. 1. Lógica proposicional. 4. Conectivos lógicos. 2. Proposición lógica. 3. Negación de una proposición
Lógica proposicional 1. Lógica proposicional Es una parte de la lógica que estudia las proposiciones y la relación existente entre ellas, así como la función que tienen los conectivos lógicos. 2. Proposición
Más detallesAutora: 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 detallesLógica Matemática. Contenido. Definición. Finalidad de la unidad. Proposicional. Primer orden
Contenido Lógica Matemática M.C. Mireya Tovar Vidal Proposicional Definición Sintaxis Proposición Conectivos lógicos Semántica Primer orden cuantificadores Finalidad de la unidad Definición Traducir enunciados
Más detallesEn general, se considera válido un razonamiento cuando sus premisas ofrecen soporte suficiente a su conclusión.
Se llama razonamiento lógico al proceso mental de realizar una inferencia de una conclusión a partir de un conjunto de premisas. La conclusión puede no ser una consecuencia lógica de las premisas y aun
Más detallesLó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 detallesIntroducció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 detallesLÓ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 detallesANOTACIONES 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 detallesTablas 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 detallesTeoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes
FUNCIONES DE VARIABLE COMPLEJA 1 Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes Lógica Matemática Una prioridad que tiene la enseñanza de la matemática
Más detallesCoordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos
Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo Complementos Contenidos Clase 1: Elementos de lógica: Conectivos, tablas de verdad, tautologías y contingencias.
Más detallesMó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 detallesp 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 detallesCapí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 detallesLó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 detallesMatemá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 detallesLicenciatura 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 detallesOperaciones 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 detallesASIGNATURA: 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 detallesencontramos dos enunciados. El primero (p) nos afirma que Pitágoras era griego y el segundo (q) que Pitágoras era geómetra.
Álgebra proposicional Introducción El ser humano, a través de su vida diaria, se comunica con sus semejantes a través de un lenguaje determinado (oral, escrito, etc.) por medio de frases u oraciones. Estas
Más detallesTardó 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 detallesCAPÍTULO 8 CAPÍTULO 8. BREVE HISTORIA.
CAPÍTULO 8 CAPÍTULO 8. BREVE HISTORIA. Para evitar confusiones, consideraremos tres momentos de la lógica bien diferenciados: 1º el de la Lógica No-Matemática, que abarca desde Aristóteles (384 322 a.c.),
Más detallesTema 2: Teoría de la Demostración
Tema 2: Teoría de la Demostración Conceptos: Estructura deductiva Teoría de la Demostración Sistemas axiomáticos: Kleene Fórmulas válidas Teorema de la Deducción Introducción a la T. de la Demostración
Más detallesLógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012
Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa
Más detallesMATEMÁTICA 1 JRC El futuro pertenece a aquellos que creen en la belleza de sus sueños
MATEMÁTICA 1 JRC LÓGICA Es la ciencia formal que estudia los principios y procedimientos que permiten demostrar la validez o invalidez de una inferencia, es decir, reconocer entre un razonamiento correcto
Más detallesNo 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 detallesINSTITUTO 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 detallesEL 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 detallesIntroducció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 detallesIntroducción a la Lógica
Tema 0 Introducción a la Lógica En cualquier disciplina científica se necesita distinguir entre argumentos válidos y no válidos. Para ello, se utilizan, a menudo sin saberlo, las reglas de la lógica. Aquí
Más detallesUNIDAD I: LÓGICA MATEMÁTICA
UNIDAD I: LÓGICA MATEMÁTICA 1.1. Introducción La Lógica Matemática es la rama de las Matemáticas que nos permite comprender sobre la validez o no de razonamientos y demostraciones que se realizan. La lógica
Más detallesLó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 detallesMatemáticas Discretas Lógica
Coordinación de Ciencias Computacionales - INAOE Matemáticas Discretas Lógica Cursos Propedéuticos 2010 Ciencias Computacionales INAOE Lógica undamentos de Lógica Cálculo proposicional Cálculo de predicados
Más detallesMATEMÁ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 detallesLógica Proposicional. Sergio Stive Solano Sabié. Abril de 2013
Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa
Más detallesTaller de Análisis Lógico de Argumentos Filosóficos Semestre FORMALIZACIÓN: CONECTIVAS Y CONSTÁNTES LÓGICAS. I. Lenguaje formal.
FORMALIZACIÓN: CONECTIVAS Y CONSTÁNTES LÓGICAS I. Lenguaje formal. 1 II. Definición y utilidad de la formalización Formalización es el proceso de traducción de los argumentos del lenguaje natural a esquemas
Más detallesAsignatura: 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 detallesGuí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 detallesMaterial diseñado para los estudiantes del NUTULA, alumnos del profesor Álvaro Moreno.01/10/2010 Lógica Proposicional
Lógica Proposicional INTRODUCCIÓN El humano se comunica con sus semejantes a través de un lenguaje determinado (oral, simbólico, escrito, etc.) construido por frases y oraciones. Estas pueden tener diferentes
Más detallesTEMA 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 detalles1. 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 detallesDEPARTAMENTO 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 detallesLógica proposicional o Lógica de enunciados
Tema 3 Lógica proposicional o Lógica de enunciados 1. Qué es la Lógica? 2. El cálculo de proposiciones 2.1. Las conectivas 2.2. Las tablas de verdad 2.3. La deducción natural Bibliografía Deaño, A.: Introducción
Más detallesLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL QUE ES LA LÓGICA? El sentido ordinario de la palabra lógica se refiere a lo que es congruente, ordenado, bien estructurado. Lo ilógico es lo mismo que incongruente, desordenado, incoherente.
Más detallesMÉ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 detallesANALÓ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 detallesCantidad 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 detallesLa 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 detallesEjercicios de Lógica Proposicional *
Ejercicios de Lógica Proposicional * FernandoRVelazquezQ@gmail.com Notación. El lenguaje proposicional que hemos definido, aquel que utiliza los cinco conectivos,,, y, se denota como L {,,,, }. Los términos
Más detallesCapítulo 4. Lógica matemática. Continuar
Capítulo 4. Lógica matemática Continuar Introducción La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un teorema es falso o verdadero, además
Más detallesMATERIA: 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 detallesNo ~ 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 detallesUn enunciado es toda frase u oración que se emite
OBJETIO 2: Aplicar la lógica proposicional y la lógica de predicados en la determinación de la validez de una proposición dada. Lógica Proposicional La lógica proposicional es la más antigua y simple de
Más detallesUNIVERSIDAD 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 detallesALUMNO 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 detallesCapítulo 1 Lógica Proposicional
Capítulo 1 Lógica Proposicional 1.1 Introducción El ser humano, a través de su vida diaria, se comunica con sus semejantes a través de un lenguaje determinado (oral, escrito, etc.) por medio de frases
Más detallesForma lógica de enunciados
Forma lógica de enunciados Marisol Miguel Cárdenas Lenguaje natural y lenguaje formal El lenguaje natural es aquel que utilizamos cotidianamente. Surge históricamente dentro de la sociedad y es aprendido
Más detallesINSTITUTO 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 detallesLó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 detallesOrganizació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 detallesProposicional. Curso Mari Carmen Suárez de Figueroa Baonza
Semántica Proposicional Curso 2014 2015 Mari Carmen Suárez de Figueroa Baonza mcsuarez@fi.upm.es Contenidos Introducción Interpretación de FBFs proposicionales Validez Satisfacibilidad Validez y Satisfacibilidad
Más detallesUniversidad 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 detallesResumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón.
Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. 0.1. Elementos de lógica Una proposición es una oración declamativa a la cual se le puede asignar un valor verdad: verdadera (V)
Más detallesLó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 detallesLÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS
LÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS Patricia Zamora Villalobos John Alexander Coral Llanos Josué Maleaño Trejos Prof. Francisco Carrera Fecha de entrega: miércoles de setiembre
Más detallesLÓ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 detallesFacultad 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 detallesLó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 detallesLÓ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 detallesLó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 detallesMó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 detalles2. 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 detallesINSTITUCIÓ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 detallesTema 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 detallesUn 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 detallesLÓ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 detallesP 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 detallesCálculo Proposicional
Universidad Técnica ederico Santa María Departamento de Informática undamentos de Informática 1 Cálculo Proposicional Dr. Gonzalo Hernández Oliva Dr. Gonzalo Hernández USM I-1 Cálculo Proposicional 1 1)
Más detallesENUNCIADO ABIERTO: Es un enunciado en forma de expresión matemática que no es verdadero ni falso. Ejemplos: x < 9 x + 2 = 10 a + b = 1 a 2 + b 2 = c 2
LÓGICA Es la ciencia que estudia el razonamiento inductivo y deductivo. El razonamiento inductivo es aquel que permite llegar a conclusiones generales a partir de observaciones particulares, por el contrario,
Más detallesMatemáticas Dicretas LÓGICA MATEMÁTICA
Matemáticas Dicretas LÓGICA MATEMÁTICA Esta pagina fue diseñada como un auxiliar y herramienta para aquellos que esten interesados en reforzar y tener mas conocimientos sobre las matematicas discretas.
Más detallesCENTRO 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 detallesAlgunos 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