MATEMÁTICAS GRADO 6º UNIDAD 1 LÓGICA

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

Download "MATEMÁTICAS GRADO 6º UNIDAD 1 LÓGICA"

Transcripción

1 MATEMÁTICAS GRADO 6º UNIDAD 1 LÓGICA 1

2 LOGRO: Reconocer las propiedades de la lógica y los conjuntos aplicando este conocimiento a la cotidianidad e identificando la estrecha relación entre ambas teorías INDICADORES DE LOGRO: Reconoce las diferencias entre los diferentes conectivos lógicos Identifica la utilización de la lógica en su cotidianidad Determina el valor de verdad de proposiciones compuestas Propone ejemplos relacionados con su contexto para identificar conjuntos Representa un conjunto por extensión y por comprensión Reconoce y aplica las operaciones que se pueden dar entre conjuntos Soluciona problemas de su cotidianidad relacionados con conjuntos QUÉ SIGNIFICA PARA TI TRABAJAR LOGICAMENTE? QUÉ ENTIENDES CUANDO TE DICEN QUE POR LÓGICA DEBES HACER ALGO? 2

3 TRABAJEMOS EN NUESTRO APRENDIZAJE ACTIVIDAD: Discute con tus compañeros y concluyan la mejor definición para los siguientes conceptos y la escriben en los espacios en frente: Qué es la lógica? Qué es una proposición? Qué es una negación? 3

4 SEMBREMOS UN POCO DE CONOCIMIENTO RESEÑA HISTÓRICA La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática guarda estrechas conexiones con las ciencias de la computación y la lógica filosófica. La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican conceptos intuitivos de objetos matemáticos como conjuntos, números, demostraciones y computación. La lógica matemática suele dividirse en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. La investigación en lógica matemática ha jugado un papel fundamental en el estudio de los fundamentos de las matemáticas. La lógica matemática fue también llamada lógica simbólica. El primer término todavía se utiliza como sinónimo suyo, pero el segundo se refiere ahora a ciertos aspectos de la teoría de la demostración. La lógica matemática no es la "lógica de las matemáticas" sino la "matemática de la lógica". Incluye aquellas partes de la lógica que pueden ser modeladas y estudiadas matemáticamente. ( El año 1874, apareció el primer trabajo revolucionario de Cantor sobre la teoría de conjuntos. El estudio de los infinitos por parte de Cantor fue considerado por Kronecker con una locura matemática. Creyendo que la matemática sería llevada al manicomio bajo la dirección de Cantor, Kronecker lo atacó vigorosamente con toda las armas que tuvo en su 4

5 mano, con el trágico resultado de que no fue la teoría de conjuntos la que cayó en el manicomio, sino el propio Cantor. Cantor murió en Halle (ciudad del centro de Alemania), el 6 de enero de 1918, teniendo 73 años de edad. Ya le habían sido concedidos múltiples honores y su obra había logrado ser reconocida. ( Qué es una proposición? Una proposición es una expresión que se puede calificar de verdadera o falsa; no es necesario que sea verdadera para decir que es una proposición. En nuestro día a día, decimos un sin número de frases tales como el cafecito está caliente, el bus está demorado las cuales pueden calificarse de verdaderas o falsas con elativa facilidad; hay otras frases de las que se dicen a diario que no son tan fácilmente evaluables, por ejemplo cuánto te demoras de la casa al colegio?, mi amor, tu si me quieres?, no te demores por favor!, etc. Las proposiciones matemáticas pueden ser simples o compuestas, las proposiciones simples se simbolizan con letras minúsculas como p, q, r, s, etc. Ejemplo: p: Dos es un número primo q: Estamos estudiando en el colegio cooperativo 5

6 TRABAJEMOS EN NUESTRO APRENDIZAJE ACTIVIDAD: Diga cuáles de las siguientes oraciones son proposiciones y si es una proposición, diga si es verdadera o falsa: Tienes hambre? El colegio Cooperativo de Barbosa forma gente de bien 3 es divisor de 7 Hay que trabajar más! 7 es un número primo Uribe es mortal Hay más de 2 estudiantes en la clase de matemáticas Existe vida en otros planetas Todas las vacas tienen cuatro patas Ahora escribe en tu cuaderno 5 proposiciones falsas y 5 proposiciones verdaderas; además escribe 5 oraciones que no sean proposiciones. 6

7 SEMBREMOS UN POCO DE CONOCIMIENTO Las proposiciones compuestas se forman uniendo las proposiciones simples con conectivos lógicos. Entonces se puede decir que una proposición compuesta es una oración, proposición o enunciado que se puede descomponer en varias proposiciones. Y qué son conectivos lógicos? Los conectivos lógicos son partículas de enlace que se utilizan en el lenguaje cotidiano y en la lógica para enlazar proposiciones dando una coherencia a lo que se dice: Ejemplo: Tres es un número primo y cinco es un número impar Está lloviendo o está haciendo sol El lápiz es rojo y el borrador es blanco o negro Las partículas de enlace o conectivos lógicos entre proposiciones pueden considerarse como las operaciones, ya que transforman dos proposiciones simples en una proposición compuesta. (LOGROS MATEMÁTICOS 6, 1996) Qué es el valor de verdad? Ya dijimos que una proposición es una expresión que se puede calificar de verdadera o falsa, pues bien ese valor que se le da a la proposición es su valor de verdad. Este valor de verdad de las proposiciones es único ya que una proposición no puede ser verdadera y falsa al mismo tiempo. 7

8 Qué es una negación? La negación es una operación que cambia el valor de verdad de una proposición y se denota por el símbolo. Entonces si una proposición es verdadera, su negación será falsa y al contrario. EJEMPLOS P: Don Carlos está terminando su bachillerato P: Don Carlos no está terminando su bachillerato La negación también puede ser dada por P: No es cierto que don Carlos esté terminando su bachillerato q: La piña es una fruta q: No es cierto que la piña es una fruta q: la piña no es una fruta Qué es una conjunción? Una conjunción es una proposición compuesta conectada por el conector lógico Y y se denota como p ^ q; para que una proposición compuesta por una conjunción sea verdadera es necesario que ambas proposiciones simples que la componen sean verdaderas, así pues, se da la siguiente tabla que ayudará a reconocer cuando una proposición compuesta por la conjunción es verdadera o falsa: Ejemplos: p q p ^ q V V V V F F F V F F F F p: La mayoría de los Barboseños son católicos (V) q: Los Barboseños no son paisas (F) r: La principal fuente económica de Barbosa es la agricultura (V) Entonces la combinación de estas proposiciones nos debe dar como valor de verdad (F) 8

9 Mirémoslo La mayoría de los Barboseños son católicos y Los barboseños no son paisas Ahora p ^ q = (F) V ^ F= (F) La mayoría de los Barboseños son católicos y La principal fuente económica de Barbosa es la agricultura p ^ q = (V) V ^ V= (V) TRABAJEMOS EN NUESTRO APRENDIZAJE ACTIVIDAD: Escriba en su cuaderno 5 proposiciones simples con su valor de verdad y luego escribe su negación con su respectivo valor de verdad, recuerde de simbolizar todas las oraciones. En grupo con sus compañeros de clase tome las 5 proposiciones simples y conviértalas en el cuaderno en 5 proposiciones compuestas con la conjunción y escribe su valor de verdad con su simbolización. 9

10 SEMBREMOS UN POCO DE CONOCIMIENTO Qué es una disyunción?: Es la proposición compuesta que surge de conectar dos proposiciones simples con el conectivo lógico o y en lógica esa o se simboliza v Ejemplo: Analicemos el valor de verdad de las siguientes proposiciones simples y luego las unimos por medio del conectivo lógico o y analizamos nuevamente su valor de verdad. p: Uribe y santos son amigos (V) q: Uribe y Obama se odian (F) r: Santos y Chávez son amigos (V) Ahora unámoslas Uribe y santos son amigos o Santos y Chávez son amigos Es verdadero que pasa una cosa o pasa la otra, por lo tanto si una sola es verdadera entonces es suficiente para decir que la disyunción es verdadera. Uribe y santos son amigos o Santos y Chávez son amigos Es verdadero que pasa una cosa o pasa la otra, por lo tanto como en este caso pasan ambas cosas, también podemos decir que la conjunción es verdadera. A continuación se presenta una tabla que nos muestra el valor de verdad de las proposiciones compuestas con la conjunción, según el valor de cada proposición simple. p q p v q V V V V F V 10

11 F V V F F F TRABAJEMOS EN NUESTRO APRENDIZAJE ACTIVIDAD: Escriba en el cuaderno 5 proposiciones simples con su simbolización y su respectivo valor de verdad y, en grupo, toman esas proposiciones simples y las convierten en compuestas con la conjunción y determinan su valor de verdad con su simbolización. SEMBREMOS UN POCO DE CONOCIMIENTO Qué es una proposición condicional?: Las proposiciones compuestas si hace buen clima, sale buena cosecha ; si está lloviendo entonces te pones saco para ir al colegio, tienen en común la forma como se enuncian: si, entonces. Las expresiones que tienen esta forma se llaman CONDICIONALES y la simbolización más utilizada para el si, entonces es (. Estos enunciados que establecen como una cosa se concluye de otra son muy utilizados en la formación lógica y coherente de las matemáticas. 11

12 Ejemplo: p: hoy es Martes q: ayer fue Lunes Utilizando el condicional pueden resultar las siguientes proposiciones compuestas: p( q: si hoy es Martes, entonces ayer fue Lunes q( p: si ayer fue Lunes, entonces hoy es Martes Qué es una proposición bicondicional? En el ejemplo anterior se pudo observar que la condicional se cumplía en ambos sentidos, es decir p( q y q( p, cuando esto pasa se dice que la proposición es bicondicional y se puede cambiar el si, entonces por un si y solo si. Los valores de verdad de la proposición condicional y bicondicional dependen también de los valores de verdad de las proposiciones simples que las componen: P q p q V V V V F F F V V F F V p q p q V V V V F F F V F F F V 12

13 TRABAJEMOS EN NUESTRO APRENDIZAJE ACTIVIDAD: 1. Escriba en su cuaderno con sus compañeros de clase 10 proposiciones condicionales y 10 bicondicionales hallando su respectivo valor de verdad. 2. Forma el condicional y el bicondicional de las siguientes expresiones hallando el valor de verdad. a. p: Hay un abogado que se llama Juan (V) q: Juan estudió derecho (V) b. p: los libros de astronomía son interesantes (V) q: El quijote de la mancha es un libro de ciencia (F) c. p: 4+3=7 (V) q: 4-3=7 (F) 13

14 3. Dadas las siguientes proposiciones simples con su respectivo valor de verdad, encuentra el valor de cada proposición compuesta: P (F), q(v), r(f) a. p ^ r b. p v q c. q p d. r q e. p q f. q V r g. q ^ r h. (p q) V r RECOLECTEMOS LO SEMBRADO Preséntale a tu profesor un trabajo escrito con los siguientes puntos resueltos para que corrija tus dudas y afiance tu aprendizaje. 1. Analiza las siguientes proposiciones y resuelve lo que se te pide al final de acuerdo a tu análisis: a. El ratón es un roedor b. 3+7=9 14

15 c. Un triángulo es más grande que un cuadrado d. 8+8=16 e. La cosecha de café empieza en Octubre f. Barbosa está cumpliendo 215 años g. Nuestro actual presidente es Antanas Mockus h. Tienes hambre? i. El campeón del mundial fue España i. identificar cuáles son y cuales no son proposiciones ii. Hacer su representación (por ejemplo p V q) iii. Decir su valor de verdad iv. Niega las proposiciones que encontraste y hallas su nuevo valor de verdad v. Niega nuevamente las proposiciones ya negadas y revisa su valor de verdad sacando tus propias conclusiones. 2. Analiza las siguientes proposiciones y resuelve lo que se te pide al final de acuerdo a tu análisis: a. Juan Pablo segundo fue papa o presidente b. Iván Ramiro Córdoba es ganador de la Champions league entonces es futbolista. c. El sol sale si y sólo si está de dia d. La vaca es un animal cuadrúpedo y mamífero 15

16 e. Barbosa es un municipio aledaño a Don Matías y Girardota f. Wildeman te enseña por lo tanto es tu profesor g. Las proposiciones son simples o compuestas h. Dios es piadoso y misericordioso por lo tanto nos perdona i. Identificar su conectivo lógico ii. Hacer su representación (por ejemplo p V q) iii. Separar en proposiciones simples iv. Clasificarlas según su conectivo lógico v. Reescríbelas de forma que aparezcan claramente las proposiciones que forman 3. Si p, q son proposiciones falsas y r, s son proposiciones falsas, determine el valor de verdad de las siguientes proposiciones compuestas. a. p V q b. p q c. p v q ^ r d. r v s e. s v p f. s q g. r v s h. q r 16

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

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

Lógica proposicional

Lógica proposicional Lógica proposicional La palabra lógica viene del griego y significa, razón, tratado o ciencia. En matemáticas es la ciencia que estudia los métodos de razonamiento proporciona reglas y técnicas para determinar

Más detalles

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

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

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

Matemáticas - Guía 1 Proposiciones

Matemáticas - Guía 1 Proposiciones LOGROS: 1. Reconoce el conceto e roosición. 2. Clasifica las roosiciones en simles y comuestas. 3. Resuelve roosiciones comuestas utilizando los conectivos lógicos. 4. Halla el valor de verdad de una roosición

Más detalles

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

Guía de estudio Algunos aspectos de lógica matemática Unidad A: Clases 1 y 2 Guía de estudio Algunos aspectos de lógica matemática Unidad A: Clases 1 y 2 Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa *. 1. Lógica

Más detalles

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

La Lógica Proposicional

La Lógica Proposicional La Lógica Proposicional 1. Las proposiciones y sus tipos. Una proposición es una oración enunciativa, es decir, una oración que afirma o niega algo y que puede ser verdadera o falsa. Las proposiciones

Más detalles

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

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

MATEMÁTICAS DISCRETAS. UNIDAD1 Lógica y Demostraciones

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

Más detalles

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

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

Taller de Análisis Lógico de Argumentos Filosóficos Semestre FORMALIZACIÓN: CONECTIVAS Y CONSTÁNTES LÓGICAS. I. Lenguaje formal. FORMALIZACIÓN: CONECTIVAS Y CONSTÁNTES LÓGICAS I. Lenguaje formal. 1 II. Definición y utilidad de la formalización Formalización es el proceso de traducción de los argumentos del lenguaje natural a esquemas

Más detalles

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

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

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

LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA La lógica formal o simbólica, a diferencia de la lógica clásica, utiliza un lenguaje artificial, es decir, está rigurosamente construido, no admite cambios en el

Más detalles

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

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

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

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

Guía para el estudiante

Guía para el estudiante Guía para el estudiante Guía realizada por Jefferson Bustos Profesional en Matemáticas Master en Educación Nombre: Fecha: Curso: Dentro del lenguaje común, las palabras y frases pueden tener diversas interpretaciones.

Más detalles

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

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

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

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

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

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

- AnallogicA - Software para crear tablas de verdad

- AnallogicA - Software para crear tablas de verdad - AnallogicA - Software para crear tablas de verdad Henry Suarez skilltik@gmail.com Año 2010 Proyecto de POO de la carrera de Ingeniería en Informática de la Universidad Nacional del Litoral. Módulos del

Más detalles

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

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

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

Elaborar un mapa conceptual del tema de Lógica Proposicional (Diapositivas: Lógica Proposicional) Desarrollar ejercicios de la ficha de trabajo y del Elaborar un mapa conceptual del tema de Lógica Proposicional (Diapositivas: Lógica Proposicional) Desarrollar ejercicios de la ficha de trabajo y del módulo (Página 175 ) Se sugiere ver el siguiente video:

Más detalles

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

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

Lógica Proposicional. Guía Lógica Proposicional. Tema III: Cuantificadores

Lógica Proposicional. Guía Lógica Proposicional. Tema III: Cuantificadores Guía Lógica Proposicional Tema III: Cuantificadores 1.7.2. CUANTIFICADORES Los cuantificadores permiten afirmaciones sobre colecciones enteras de objetos en lugar de tener que enumerar los objetos por

Más detalles

CONJUNTO: Colección o agregado de ideas u objetos de cualquier especie.

CONJUNTO: Colección o agregado de ideas u objetos de cualquier especie. RESUMEN DE MATEMATICAS I PARTE I CONJUNTOS CONJUNTO: Colección o agregado de ideas u objetos de cualquier especie. A= {números pares} B= { banda de rock} ELEMENTO: Son las ideas u objetos cualesquiera

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

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

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

Más detalles

IDENTIFICANDO ZONAS EN LOS DIAGRAMAS DE VENN UTILIZANDO CONECTIVOS Y CUANTIFICADORES

IDENTIFICANDO ZONAS EN LOS DIAGRAMAS DE VENN UTILIZANDO CONECTIVOS Y CUANTIFICADORES IDENTIFICANDO ZONAS EN LOS DIAGRAMAS DE VENN UTILIZANDO CONECTIVOS Y CUANTIFICADORES Recuerda: CUANTIFICADORES LÓGICOS : generalmente son palabras que se anteponen a una proposición para indicar la cantidad

Más detalles

Matemáticas Básicas para Computación

Matemáticas Básicas para Computación Matemáticas Básicas para Computación MATEMÁTICAS BÁSICAS PARA COMPUTACIÓN 1 Sesión No. 5 Nombre: Tablas de verdad Objetivo Al término de la sesión el participante aplicará los conceptos de lógica a través

Más detalles

Módulo 5 Inducción y Deducción

Módulo 5 Inducción y Deducción Módulo 5 Inducción y Deducción OBJETIVO: Distinguirá razonamientos en que se empleen los métodos inductivo y deductivo; la definición, construcción y forma de graficar en Diagrama de Venn las proposiciones

Más detalles

P r o p o s i c i ó n

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

Más detalles

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

Lógica Proposicional. Guía Lógica Proposicional. Tema I: Proposiciones Guía Lógica Proposicional Tema I: Proposiciones El hombre ha hecho uso del lenguaje para comunicarse entre sí; usa conjuntos de palabras del idioma que organizadas coherentemente en un contexto determinado

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

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

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

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

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

logica computacional Tema 1: Introducción al Cálculo de Proposiciones Tema 1: Introducción al Cálculo de Proposiciones Introducción al concepto de cálculo Un cálculo es una estructura pura; un sistema de relaciones. Un cálculo se compone de lo siguiente: Un conjunto de elementos

Más detalles

Introducción a la lógica matemática

Introducción a la lógica matemática Introducción a la lógica matemática por Iván Cruz Aceves Existen diferentes situaciones en las que es indispensable reconocer cuando una situación o argumento, es o no válido, y es en estas situaciones

Más detalles

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

2. Los símbolos de la lógica proposicional. Bloque I: El Saber Filosófico. Tema 4: La Lógica Formal. 1. Las proposiciones y sus tipos. Una proposición es una oración enunciativa, es decir, una oración que afirma o niega algo y que puede ser verdadera

Más detalles

Lógica proposicional. Ivan Olmos Pineda

Lógica proposicional. Ivan Olmos Pineda Lógica proposicional Ivan Olmos Pineda Introducción Originalmente, la lógica trataba con argumentos en el lenguaje natural es el siguiente argumento válido? Todos los hombres son mortales Sócrates es hombre

Más detalles

Proposiciones En nuestro lenguaje usualmente se hace uso de cuatro tipos de proposiciones, a saber:

Proposiciones En nuestro lenguaje usualmente se hace uso de cuatro tipos de proposiciones, a saber: GRUPO TEMATICO: Proposiciones lógicas. Valor de verdad de una proposición. Introducción a la teoría de conjuntos. Operaciones con conjuntos. Números enteros y su representación. Proposiciones lógicas Proposiciones

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

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

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 Matemática. Tema: Los conectores lógicos y sus símbolos

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

Más detalles

Benemérita Universidad Autónoma de Puebla

Benemérita Universidad Autónoma de Puebla Tarea No. 1 Matemáticas Elementales Profesor Fco. Javier Robles Mendoza Benemérita Universidad Autónoma de Puebla Facultad de Ciencias de la Computación Lógica y Conjuntos 1. Considere las proposiciones

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

10.4 Sistemas de ecuaciones lineales

10.4 Sistemas de ecuaciones lineales Programa Inmersión, Verano 2016 Notas escritas por Dr. M Notas del cursos. Basadas en los prontuarios de MATE 001 y MATE 02 Clase #11: martes, 14 de junio de 2016. 10.4 Sistemas de ecuaciones lineales

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

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

Fundamentos básicos de matemáticas: Lógica Proposicional Fundamentos básicos de matemáticas: Lógica Proposicional Victor Hugo Gil A. Universidad del Valle 28 de agosto de 2016 Victor Hugo Gil A. (Univalle) Lógica Proposicional 28 de agosto de 2016 1 / 10 Lógica

Más detalles

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

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

4.2. Procedimiento para elaborar tablas de verdad

4.2. Procedimiento para elaborar tablas de verdad 4.1. Qué es una tabla de verdad? Usamos tablas de verdad, en el apartado 2.1 de la unidad II, para determinar el valor de verdad de una proposición compuesta. En este apartado explicaremos más detenidamente

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

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

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

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

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

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

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

Más detalles

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

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

Más detalles

APUNTES DE LÓGICA Y CONJUNTOS

APUNTES DE LÓGICA Y CONJUNTOS 1 APUNTES DE LÓGICA Y CONJUNTOS Docente: Roque Julio Vargas R. Departamento de Ciencias Básicas. Unidades Tecnológicas de Santander 2 1 CAPITULO 1: LOGICA Y CONJUNTOS 1.1 LOGICA La Lógica Matemática es

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

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

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

CURSO NIVELACIÓN LÓGICA MATEMÁTICA PROYECTO UNICOMFACAUCA TU PROYECTO DE VIDA LAS PROPOSICIONES LAS PROPOSICIONES Objetivo Brindar al estudiante un concepto claro en la formulación, interpretación y aplicabilidad de las proposiciones. La interpretación de las proposiciones compuestas permite al estudiante

Más detalles

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

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

Más detalles

El lenguaje formal de la Lógica Qué es un lenguaje formal? Un lenguaje formal, en tanto que lenguaje artificial, está formado por los siguientes elementos básicos: Unos signos primitivos del lenguaje,

Más detalles

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

Apuntes de Lógica Proposicional

Apuntes de Lógica Proposicional Apuntes de Lógica Proposicional La lógica proposicional trabaja con expresiones u oraciones a las cuales se les puede asociar un valor de verdad (verdadero o falso); estas sentencias se conocen como sentencias

Más detalles

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

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

Más detalles

Matemáticas Básicas para Computación

Matemáticas Básicas para Computación Matemáticas Básicas para Computación MATEMÁTICAS BÁSICAS PARA COMPUTACIÓN 1 Sesión No. 4 Nombre: Proposiciones Objetivo Al término de la sesión el participante aplicará las características de las proposiciones

Más detalles

Módulo 8 Implicación. Equivalencia Lógica

Módulo 8 Implicación. Equivalencia Lógica Módulo 8 Implicación. Equivalencia Lógica OBJETIO: Identificará la suposición o hipótesis de la implicación y su conclusión, expresará en diferentes formas una implicación; e identificará las proposiciones

Más detalles

MATEMÁTICAS UNIDAD 4 GRADO 6º. Números naturales

MATEMÁTICAS UNIDAD 4 GRADO 6º. Números naturales 1 Franklin Eduardo Pérez Quintero MATEMÁTICAS UNIDAD 4 GRADO 6º Números naturales 1 2 Franklin Eduardo Pérez Quintero LOGRO: Estudiar, analizar y profundizar las operaciones y propiedades de los números

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

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

logica computacional Tema 1: Introducción al Cálculo de Proposiciones Tema 1: Introducción al Cálculo de Proposiciones Introducción al concepto de cálculo Un cálculo es una estructura pura; un sistema de relaciones. Un cálculo se compone de lo siguiente: Un conjunto de elementos

Más detalles

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

GRADO: TERCERO JORNADA: MAÑANA Y TARDE FECHA: DÍA MES AÑO

GRADO: TERCERO JORNADA: MAÑANA Y TARDE FECHA: DÍA MES AÑO GUÍA DE ESTUDIO PARA LA RECUPERACIÓN ÁREA: MATEMÁTICAS LOGROS DEL GRADO: 1. Apropiación del lenguaje matemático que le permita al estudiante: relacionar, describir, reconocer, analizar y predecir. 2. Desarrollo

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

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

2.1.- Formalización de enunciados en lenguaje ordinario

2.1.- Formalización de enunciados en lenguaje ordinario 2.1.- Formalización de enunciados en lenguaje ordinario Una de las tareas más importantes para poder aplicar la lógica a los diferentes campos del saber humano es la formalización, también conocida como

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

UNIVERSIDAD DE GUADALAJARA PROGRAMA DE ASIGNATURA MT106

UNIVERSIDAD DE GUADALAJARA PROGRAMA DE ASIGNATURA MT106 UNIVERSIDAD DE GUADALAJARA PROGRAMA DE ASIGNATURA NOMBRE DE MATERIA CÓDIGO DE MATERIA DEPARTAMENTO ÁREA DE FORMACIÓN LOGICA Y CONJUNTOS MT106 CIENCIAS BIOLOGICAS BÁSICA COMUN CENTRO UNIVERSITARIO CENTRO

Más detalles

Jugamos a formular problemas con números de dos cifras

Jugamos a formular problemas con números de dos cifras SEGUNDO GRADO UNIDAD 1 SESIÓN 15/25 Jugamos a formular problemas con números de dos cifras En esta sesión, se espera que los niños y las niñas formulen un problema con números de dos cifras y representen

Más detalles

Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos).

Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos). Lógica intuitiva Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos). A : Las águilas vuelan B : El cielo es rosa C : No existe vida extraterrestre D : 5 < 3 E : Algunos

Más detalles

LÓGICA PROPOSICIONAL 1. LENGUAJE DE LA LÓGICA PROPOSICIONAL 2. SÍMBOLOS LÓGICOS. 1.a. Símbolos formales. Símbolos no lógicos. Símbolos auxiliares

LÓGICA PROPOSICIONAL 1. LENGUAJE DE LA LÓGICA PROPOSICIONAL 2. SÍMBOLOS LÓGICOS. 1.a. Símbolos formales. Símbolos no lógicos. Símbolos auxiliares LÓGICA PROPOSICIONAL 1. LENGUAJE DE LA LÓGICA PROPOSICIONAL Un lenguaje para el ámbito de la lógica se estructura en tres niveles diferentes: símbolos formales, reglas de formación de fórmulas y reglas

Más detalles

MAPA CONCEPTUAL. PDF created with pdffactory trial version

MAPA CONCEPTUAL. PDF created with pdffactory trial version MAPA CONCEPTUAL Mapa conceptual es una técnica usada para la representación gráfica de los saberes y el conocimiento. Es una herramienta de asociación, interrelación, discriminación, descripción y ejemplificación

Más detalles

Prof. Daniel Valerio Martínez Teoría de conjuntos.

Prof. Daniel Valerio Martínez Teoría de conjuntos. Prof. Daniel Valerio Martínez Teoría de conjuntos. Propósito de la sesión. El alumno reconocerá la importancia de la teoría de conjuntos como una herramienta importante en la solución de problemas de probabilidad

Más detalles