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

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

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

Transcripción

1 CORPORACION UNIFICADA NACIONAL DE EDUCACION SUPERIOR CUN DEPARTAMENTO DE CIENCIAS BASICAS: MATEMATICAS ACTIVIDAD ACADEMICA: FUNDAMENTOS MATEMATICOS DOCENTE: LIC- ING: ROSMIRO FUENTES ROCHA UNIDAD N 1: LOGICA Propósitos: Manejar correctamente las proposiciones y conectivos lógicos compuestas Identificar las proposiciones simples y las LA LÓGICA La palabra lógica viene del griego logo y significa, razón, tratado o ciencia. Puede ser considerada como la ciencia que estudia la forma de razonar correctamente, la que indica la forma correcta de obtener conclusiones y los métodos conocidos para lograrlo. PROPOSICIONES LOGICAS Una proposición lógica es un enunciado con sentido, del que se puede decir que es verdadero o falso, pero no las dos cosas al tiempo. Toda proposición consta de tres partes: un sujeto, un verbo y un complemento referido al verbo. Algunos ejemplos de proposiciones lógicas son los siguientes: a. 3 4 = 12 b. Cartagena es la capital de Cesar c. Las empresas de servicios temporales (EST) contratan la prestación de servicios con terceros beneficiarios d. 1 kilobytes tiene 1024 bytes e. 2+1 = 2 Proposiciones abiertas. Son aquellas que no tienen determinado el sujeto, o también una expresión matemática que contiene una o más variables y al sustituir las variables por valores específicos se obtiene una proposición lógica. Algunas proposiciones en las que no puede determinarse plenamente el valor de verdad (su valor es relativo ya sea al tiempo, al lugar u otra) también se les considera proposiciones abiertas. Ejemplos X - 1 = 4 El precio del dólar caerá al final del año Bogotá es la capital de x Las proposiciones no incluyen frases o sentencias como: Preguntas, exclamaciones y opiniones Frases. Todas las expresiones que no cumplen alguna de las dos definiciones anteriores. Hoy es lunes Observa la cámara! Que estás haciendo? Esta frase que usted está leyendo es falsa 13 es un número de mala suerte Brahms escribió mejor música que Bach Las proposiciones se pueden representar por las letras minúsculas p, q, r, s, t,... Estas letras reciben el nombre de variables proposicionales. Se pueden definir las siguientes proposiciones: p : Gabriel García Márquez escribió cien años de soledad q : Colombia es un estado social de derecho r : 7-4 = 3 s: 2x+1 = 0 t: La inflación refleja la disminución del poder adquisitivo de la moneda PROPOSICIONES SIMPLES O ATÓMICAS. Se puede decir que una proposición simple es el menor enunciado con carácter verdadero o falso, pero no las dos cosas al mismo tiempo. También se puede decir que es una proposición que consta de una única variable o constante proposicional o en la que se identifica una sola acción (verbo). Compilado por Rosmiro Fuentes Rocha, docente CUN, Licenciado en Matemáticas y Física, Ingeniero de Alimentos Página 1

2 PROPOSICIONES COMPUESTAS O MOLECULARES Las proposiciones compuestas son aquellas que están constituidas por dos o más proposiciones simples, unidas por partículas de enlaces llamadas conectivos lógicos. En una proposición compuesta se observan dos acciones (ver bos) Los conectivos lógicos son: y, o, si entonces, si y solo si, no Conectivo lógico símbolo y o Si entonces si y solo si no ~ EJEMPLOS: Brasil es un país exportador de Caucho (Proposición simple, una sola acción) Colombia firma el TLC con estados unidos o se asocia a la Mercosur (proposición compuesta) Se observan las dos proposiciones simples: p: Colombia firma el TLC con estados unidos q. Colombia se asocia con la mercosur OPERADORES LOGICOS 1. NEGACION DE UNA PROPOSICION La negación es la conexión lógica más sencilla. Toda proposición se puede negar anteponiendo a su enunciado es falso que, no es cierto que o no es el caso que o insertando dentro de la proposición la palabra no. Simbólicamente, la negación de la proposición p sería ~p, que se lee no p, no es cierto que p, es falso que p o no es el caso que p. La negación es el conectivo lógico que permite cambiar el valor de verdad de una proposición. Así si la proposición p tiene un valor de verdad verdadero, entonces la proposición ~ p tiene valor de verdad falso. Tabla de verdad de la negación p V F ~ p F V Ejemplo: negar las siguientes proposiciones y escribir el valor de verdad de la negación p: El índice de precios es una medida frecuente de la inflación q: Plutón es un planeta r: Los bancos centrales no controlan el tamaño de la emisión monetaria s: El número real x es negativo t: La inflación baja se atribuye a las fluctuaciones de la demanda de bienes y servicios Solución ~ p: El índice de precios no es una medida frecuente de la inflación ( falso) ~ q: no es cierto que Plutón es un planeta (verdadero) ~ r: Los bancos centrales controlan el tamaño de la emisión monetaria (verdadero) ~ s: El número real x no es negativo o también El número real x es positivo ó cero (abierta ~ t: Es falso que la inflación baja se atribuye a las fluctuaciones de la demanda de bienes y servicios (falso) 2. CONJUNCION Al enlazar una dos o más proposiciones simples mediante el conectivo y se obtiene una tercera proposición compuesta llamada conjunción. La conjunción sirve para indicar que se cumplen dos condiciones simultáneamente. Se puede utilizar cuando se quiere expresar el hecho de que dos proposiciones son Compilado por Rosmiro Fuentes Rocha, docente CUN, Licenciado en Matemáticas y Física, Ingeniero de Alimentos Página 2

3 verdaderas. El conectivo lógico que se usa en la conjunción es proposiciones, p q se llama conjunción de p y q., el cual se lee como y. Si p y q son dos Ejemplo 1: 5 es un número impar y 6 es un número par p q Se observa que está compuesta de dos proposiciones simples que se denotaran p y q, p: 5 es un número impar q: 6 es un número par Por ser ambas verdaderas, la conjunción de ellas (que no es sino la declaración) es verdadera. Ejemplo 2: Colombia produce textiles y exporta café Se observan las dos proposiciones simples p: Colombia produce textiles q: Colombia exporta café Tabla de verdad de la conjunción F F F Obsérvese que para la conjunción p ^ q sea verdadera las dos expresiones que intervienen deben ser verdaderas y sólo en ese caso como se indica por su tabla de verdad. La palabra y no siempre denota conjunción como en el caso de: Santa Marta y Cartagena son destinos turísticos. Se pueden utilizar otras palabras para denotar conjunción como por ejemplo: pero, además, más aún. 3. DISYUNCION. La disyunción es una proposición compuesta formada por dos o más proposiciones simples relacionadas con el conectivo o. La disyunción se da en el caso de que al menos una de las proposiciones sea verdadera. Las oraciones que contienen una o se pueden traducir como disyunciones. El conectivo lógico que se usa en la disyunción es, el cual se lee como o. Si p y q son dos proposiciones, p q se llama disyunción de p y q. Ejemplo: Colombia firma el TLC con estados unidos o se afilia al grupo de Mercosur. Se observan las dos proposiciones simples p: Colombia firma el TLC con estados unidos q: Colombia o se afilia al grupo de Mercosur p q Ejemplo: En la oración El programa de computadora tiene un error, o la entrada es errónea, no excluye ninguna de las dos posibilidades. La disyunción se puede decir que es incluyente por lo tanto p q se puede leer como p o q o ambas A esta disyunción se le conoce también como bancaria, lógica o matemática, que es la misma y se utiliza en computación como el operador OR V F V F V V F F F Tabla de verdad de la disyunción Compilado por Rosmiro Fuentes Rocha, docente CUN, Licenciado en Matemáticas y Física, Ingeniero de Alimentos Página 3

4 Con la disyunción a diferencia de la conjunción, se representan dos expresiones y que afirman que una de las dos es verdadera, por lo que basta con que una de ellas sea verdadera para que la expresión p q sea verdadera. La disyunción sólo es falsa cuando ambas proposiciones son falsas. 4. IMPLICACION O CONDICIONAL Una proposición compuesta es condicional cuando las proposiciones que la forman están relacionadas con el conectivo lógico si entonces, llamado implicación. Recibe también el nombre de implicación. El conectivo lógico que se usa en la condicional es. Si p y q son dos proposiciones, p q se llama condicional de p y q, y se lee como si p entonces q o p implica q. La afirmación p se llama antecedente y q el consecuente. Ejemplo: Si la tierra es un planeta, entonces carece de luz propia Ejemplo: Si aumenta el precio de un artículo entonces disminuye la cantidad demandada Tabla de verdad de la implicación F V V F F V Con respecto a este operador binario, lo primero que hay que destacar es que no es conmutativo, a diferencia de los dos anteriores la conjunción y la disyunción. El único caso que resulta falso es cuando el primero es verdadero y el segundo falso. También cabe señalar que este viene a ser el operador más importante en el proceso deductivo y que la mayoría de las leyes de inferencia y las propiedades en matemáticas se pueden enunciar utilizando este operador Otras formas del condicional Hay varias maneras de expresar el condicional, algunas son: si p, entonces q, siempre que p, entonces q, p es suficiente para q, p sólo si q, p implica q. También se puede invertir el orden del antecedente y el consecuente; entre las diferentes formas de decir si p entonces q invirtiendo el orden del antecedente y el consecuente se tienen: q si p, q siempre que p, q es necesario para p, q es implicada por p ; En este caso se puede representar simbólicamente como q p. Un ejemplo sería: El frasco lleva una etiqueta de advertencia si contiene veneno, la cual se puede expresar como Es necesaria una etiqueta de advertencia para los frascos que contienen veneno. Ejemplo. Supóngase la implicación Si apruebo el examen, entonces te presto el libro La implicación está compuesta de las proposiciones p: apruebo el examen q: te presto el libro P q Interesa conocer la verdad o falsedad de la implicación, en relación a la verdad o falsedad de las proposiciones p y q. El enunciado puede pensarse como un compromiso, condicionado por p, y se puede asociar su verdad al cumplimiento del compromiso. Es evidente que si p es F, es decir si no apruebo el examen, quedo liberado del compromiso y preste o no el apunte la implicación es verdadera. Si p es verdadera, es decir si apruebo el examen, y no presto el libro, e l compromiso no se cumple y la proposición i) es falsa. Si p y q son verdaderas, entonces la proposición i) es verdadera pues el compromiso se cumple Elementos de un condicional. Hipótesis o Antecedente: Es la parte del condicional que sigue a la partícula si Conclusión, tesis o consecuente: Es la parte del condicional que sigue a la palabra entonces Compilado por Rosmiro Fuentes Rocha, docente CUN, Licenciado en Matemáticas y Física, Ingeniero de Alimentos Página 4

5 Ejemplo: En la expresión: Si el caudal del río Manzanares aumenta, entonces se inundaran los barrios que se encuentran en su cauce. La proposición aumenta el cauce del río Manzanares es la hipótesis Y la proposición se inundaran los barrios que se encuentran en su cauce es la conclusión Contraria, Recíproca y contra recíproca de un condicional Dado el condicional p q, llamada para el caso condicional directa, entonces se denominan Contraria: es la condicional ~ p ~ q Recíproca: es la condicional q p Contrarecíproca: Es la condicional ~ q ~ p 5. EQUIVALENCIA O BICONDICIONAL Una proposición compuesta es bicondicional cuando cada proposición simple implica a la otra. Dichas proposiciones están relacionadas con el conectivo lógico si y solo si Recibe también el nombre de equivalencia o doble implicación. El conectivo lóg ico que se usa en la bicondicional es. Si p y q son dos proposiciones, p q se llama bicondicional de p y q, y se lee como p si y sólo si q. Se puede utilizar si como una abreviatura para si y sólo si. Ejemplo: Las células vegetales poseen cloroplastos si, y solo si contienen clorofila Ejemplo: Se reducen los accidentes laborales si, y solo si se tiene un adecuado programa de prevención de riesgos. Tabla de verdad de la equivalencia F F V La equivalencia o bicondicional es verdadera cuando una y solo cuando, las dos proposiciones que la forman tienen el mismo valor de verdad TABLAS DE VERDAD DE PROPOSICIONES COMPUESTAS Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes. Las tablas de verdad se usan para encontrar el valor de verdad de las proposiciones compuestas de naturaleza extensa. CONSTRUCCIÓN DE UNA TABLA DE VERDAD A partir de una fórmula cualesquiera en lógica de enunciados se va a poder construir su tabla de verdad siguiendo los cuatro pasos siguientes 1. Hay que especificar qué proposiciones simples aparecen en la fórmula dada. estas deberán colocarse individualmente al principio de la tabla de verdad y justo debajo de ellas se deberán construir todas las combinaciones posibles de valores de verdad entre estas, por medio de una serie de filas, cuyo número n 2 donde n deberá ser igual a 2 elevado al número de proposiciones simples diferentes, es decir representa el número de proposiciones simple 2. En segundo lugar, se deben rellenar ese número de filas especificado asegurándose que están presentes todas las combinaciones entre los valores de verdad 3. A partir de estas líneas iniciales y siguiendo las tablas de verdad de los conectivos lógicos se deben construir las columnas intermedias Compilado por Rosmiro Fuentes Rocha, docente CUN, Licenciado en Matemáticas y Física, Ingeniero de Alimentos Página 5

6 4. Por último, a partir de las columnas intermedias se debe llegar hasta la columna final, siguiendo siempre el mismo procedimiento, es decir, teniendo en cuenta los conectores implicados en cada caso y los valores de verdad y las fórmulas a las que afectan. Miremos un ejemplo: Hallar el valor de verdad de ( p q) ~ (p q) Solución: se construye una tabla en la que aparezcan las proposiciones compuestas, siguiendo el orden de los signos de agrupación p q (p q) (p q) ~ (p q) ( p q) ~ (p q) V F V F V V F V V F V V F V V TAUTOLOGIAS Y CONTRADICCIONES Una tautología es una expresión lógica que es verdadera para todos los posibles valores de verdad de sus componentes atómicos. En lógica se entiende por tautología aquella proposición cuya tabla de verdad da siempre el valor de verdad V en todos los casos posibles de los valores de verdad (V, F) de cada una de las proposiciones que la integran. En todos los casos la forma del argumento ofrece un resultado verdadero, por lo que el argumento es válido Una contradicción es una expresión lógica que es falsa para todos sus valores. ACTIVIDAD DE AUTOAPRENDIZAJE N 1 I. Clasifique las siguientes expresiones del idioma en proposiciones lógicas, proposiciones abiertas o expresiones indeterminadas. a. Colón descubrió América en miércoles b = 5 c. Espérame un momento d. Estudien mucho e. x + 1 < 4 f. Estoy mintiendo g. Todos los pericos son verdes h. Un ángulo recto mide 90 grados II. Niegue las expresiones siguientes. p: Algunos peces pueden nadar q: El agua es transparente r: México no está en América s: La mesa es azul t: Todos los días hace calor w:. Ningún oso polar tiene frío y: Algún sabio no toma café III: Escriba las siguientes expresiones en forma simbólica 1.. Hoy es lunes o mañana será sábado 2. Un número distinto de cero es positivo o negativo 3. Si no llueve iremos de día de campo 4. Se pueden estacionar alumnos y maestros 5. Si encuentra un producto mejor, cómprelo 6. El no es rico ni feliz 7. Ser pobre es ser feliz 8. Hay que saber matemáticas para ser feliz IV. Escriba con palabras las siguientes expresiones simbólicas Compilado por Rosmiro Fuentes Rocha, docente CUN, Licenciado en Matemáticas y Física, Ingeniero de Alimentos Página 6

7 1. p v q p: llueve q: hay nubes 2. p (q v r) p: mi carro falla q: me iré en taxi r: me iré en camión 3. (p ^ q) r p: compraré un cuaderno q: compraré un libro r: el maestro dicta la lección 4. (p v q) r p: encuentro un cuaderno azul q: encuentro un cuaderno rojo r: compro un cuaderno 5. ( p ^ q ) (r v s) p: paso el examen q: me dejan tarea r: voy al cine s: voy de paseo V. Completar las siguientes tablas de verdad p q (p q) ~ (p q) ~(p q) q ~ p q q p V V F V V F V F F p q r (p q) (q r) (p r) (p q) (q r) ((p q) (q r)) (p r) V V F V F V F V V F F V F F F VI. Construya una tabla de verdad 1. p q r 2. (p ^ ~q) p 3. (p q) (p r) 4. ((p q) ^ p) q 5. (p r) (q p) VII. Compruebe que las siguientes fórmulas son tautologías 1. ((p q) ^ p) q 2. p Λ ~ p 3. ( p ^ (~q p)) ~q 4. ((p q) ^ ~q) ~p 5. (p ^ (p q) ^ (~q r)) r 6. ((p q) ^ (q r)) (p r) Compilado por Rosmiro Fuentes Rocha, docente CUN, Licenciado en Matemáticas y Física, Ingeniero de Alimentos Página 7

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

Material diseñado para los estudiantes del NUTULA, alumnos del profesor Álvaro Moreno.01/10/2010 Lógica Proposicional Lógica Proposicional INTRODUCCIÓN El humano se comunica con sus semejantes a través de un lenguaje determinado (oral, simbólico, escrito, etc.) construido por frases y oraciones. Estas pueden tener diferentes

Más detalles

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

encontramos dos enunciados. El primero (p) nos afirma que Pitágoras era griego y el segundo (q) que Pitágoras era geómetra. Álgebra proposicional Introducción El ser humano, a través de su vida diaria, se comunica con sus semejantes a través de un lenguaje determinado (oral, escrito, etc.) por medio de frases u oraciones. Estas

Más detalles

MATEMÁTICAS BÁSICAS. 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

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

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

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

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

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

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

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

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

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

Tópicos de Matemáticas Discretas

Tópicos de Matemáticas Discretas Tópicos de Matemáticas Discretas Proposiciones Lógicas y Tablas de Verdad Raquel Torres Peralta Universidad de Sonora Matemáticas Discretas Proposiciones Lógicas Matemáticas Discretas Lógica - La lógica

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

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

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

INTRODUCCIÓN A LA LÓGICA

INTRODUCCIÓN A LA LÓGICA UNIVERSIDAD NACIONAL DE RÍO CUARTO FACULTAD DE CIENCIAS EXACTAS, FÍSICO-QUÍMICAS Y NATURALES DEPARTAMENTO DE MATEMÁTICA INTRODUCCIÓN A LA LÓGICA Para el ingreso a las carreras de Matemática Material preparado

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

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

Cálculo Proposicional

Cálculo Proposicional Universidad Técnica ederico Santa María Departamento de Informática undamentos de Informática 1 Cálculo Proposicional Dr. Gonzalo Hernández Oliva Dr. Gonzalo Hernández USM I-1 Cálculo Proposicional 1 1)

Más detalles

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

SESIÓN 04 LÓGICA PROPOSICIONAL

SESIÓN 04 LÓGICA PROPOSICIONAL SESIÓN 04 LÓGICA PROPOSICIONAL La Lógica Proposicional, sentencial o lógica de enunciados, es la parte de la Lógica simbólica que trata de las proposiciones sin analizarlas y de sus combinaciones. 1. PROPOSICIONES

Más detalles

Introducción. El uso de los símbolos en matemáticas.

Introducción. El uso de los símbolos en matemáticas. Introducción El uso de los símbolos en matemáticas. En el estudio de las matemáticas lo primero que necesitamos es conocer su lenguaje y, en particular, sus símbolos. Algunos símbolos, que reciben el nombre

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

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

L OGICA Proposiciones

L OGICA Proposiciones CAPíTULO 4 LÓGICA Uno de los procesos por los cuales adquirimos conocimiento es el proceso de razonamiento. A su vez, hay una variedad de modos o formas mediante las cuales razonamos o argumentamos a favor

Más detalles

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

RAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA ESCUELA DEL MINISTERIO PÚBLICO Dr. Gonzalo Ortiz de Zevallos Roedel RAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA Dr. Luis Alberto Pacheco Mandujano Gerente Central de la Escuela del Ministerio Público

Más detalles

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

Universidad de Puerto Rico Departamento de Matemáticas MATE 3023 Repaso 2(Lógica)

Universidad de Puerto Rico Departamento de Matemáticas MATE 3023 Repaso 2(Lógica) Universidad de Puerto Rico Departamento de Matemáticas MATE 3023 Repaso 2(Lógica) Apellidos: No. Estudiante: Nombre: Sección: Conceptos Básicos de Lógica: Lógica es el estudio de como razonar correctamente.

Más detalles

LICENCIATURA EN MATEMÁTICA. Práctico N 1 Lenguaje de la lógica. proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 /

LICENCIATURA EN MATEMÁTICA. Práctico N 1 Lenguaje de la lógica. proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 / Práctico N 1 Lenguaje de la lógica LICENCIATURA EN MATEMÁTICA proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 / 2 0 1 0 PRÁCTICO N 1 1. Fundamentación: fundamentar la expresión Por lo tanto del siguiente

Más detalles

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

Lógica Matemática, Sistemas Formales, Cláusulas de Horn Lógica Matemática, Sistemas Formales, Cláusulas de Horn Lic. José Manuel Alvarado La lógica se ocupa de las argumentaciones válidas. Las argumentaciones ocurren cuando se quiere justificar una proposición

Más detalles

Matemáticas Discretas TC1003

Matemáticas Discretas TC1003 Matemáticas Discretas TC1003 Lógica : Proposiciones, Conectivos, Tablas de Verdad y Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM Lógica Matemáticas Discretas - p. 1/43 En esta lectura

Más detalles

Ejercicios de Lógica Proposicional *

Ejercicios de Lógica Proposicional * Ejercicios de Lógica Proposicional * FernandoRVelazquezQ@gmail.com Notación. El lenguaje proposicional que hemos definido, aquel que utiliza los cinco conectivos,,, y, se denota como L {,,,, }. Los términos

Más detalles

Conceptos básicos necesarios en la asignatura de Fundamentos de Ordenadores (ETSETB)

Conceptos básicos necesarios en la asignatura de Fundamentos de Ordenadores (ETSETB) UNIVERSITAT POLITÈCNICA DE CATALUNYA BarcelonaTECH Conceptos básicos necesarios en la asignatura de Fundamentos de Ordenadores (ETSETB) Marta Jiménez y Beatriz Otero Departament d Arquitectura de Computadors

Más detalles

Ampliación Matemática Discreta. Justo Peralta López

Ampliación Matemática Discreta. Justo Peralta López Justo Peralta López UNIVERSIDAD DE ALMERíA DEPARTAMENTO DE ÁGEBRA Y ANÁLISIS MATEMÁTICO 1 Introducción 2 Definición semántica de las proposiciones 3 Diagrama de valores de certeza 4 Evaluación de fórmulas.

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

INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN

INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN Referencias: Inteligencia Artificial Russell and Norvig Cap.6. Artificial Intellingence Nils Nilsson Ch.4

Más detalles

Facultad de Informática. Módulo 1 Lógica. Matemática 0 UNLP. Curso de Ingreso 2013 Matemática 0 Página 1

Facultad de Informática. Módulo 1 Lógica. Matemática 0 UNLP. Curso de Ingreso 2013 Matemática 0 Página 1 Matemática 0 UNLP Curso de Ingreso 2013 Matemática 0 Página 1 Contenido 1.1 Álgebra de proposiciones 3 Expresiones No Proposicionales 4 Enunciados Abiertos 4 Clasificación de las Proposiciones 4 1.2 Conectivos

Más detalles

2. Si P; Q; R son verdaderas y S; T son falsas, determine el valor de verdad de la proposición: [P =) (R =) T )] () [(:P ^ S) =) (Q =) :T )]

2. Si P; Q; R son verdaderas y S; T son falsas, determine el valor de verdad de la proposición: [P =) (R =) T )] () [(:P ^ S) =) (Q =) :T )] Instituto Tecnológico de Costa Rica Escuela de Matemática I semestre 2012 Cálculo Diferencial e Integral. Prof. Juan José fallas. 1 Leyes de la lógica y reglas de inferencia 2 Ejercicios 1 Leyes de la

Más detalles

RAZONAMIENTO MATEMÁTICO

RAZONAMIENTO MATEMÁTICO RAZONAMIENTO MATEMÁTICO I. LÓGICA PROPOSICIONAL A. Proposiciones B. Conectivos proposicionales B.. Negación B.2. Conjunción B.3. Disyunción B.4. Condicional B.5. Bicondicional B.6. Otros conectivos C.

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

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

UNIVERSIDAD SEÑOR DE SIPÁN CURSO: LÓGICO MATEMÁTICA. Gonzales Caicedo Walter Orlando. Guía.  Walter UNIERSIDAD SEÑOR DE SIPÁN CURSO: LÓGICO MATEMÁTICA Gonzales Caicedo Orlando Guía 2 0 10 LÓGICA PROPOSICIONAL 1.1 Enunciados y alor de erdad La lógica es la rama del conocimiento que trata los modelos de

Más detalles

Taller Matemático. Lógica. Cristóbal Pareja Flores antares.sip.ucm.es/cpareja Facultad de Estadística Universidad Complutense de Madrid

Taller Matemático. Lógica. Cristóbal Pareja Flores antares.sip.ucm.es/cpareja Facultad de Estadística Universidad Complutense de Madrid Taller Matemático Lógica Cristóbal Pareja Flores antares.sip.ucm.es/cpareja Facultad de Estadística Universidad Complutense de Madrid 1. Lógica 14 amigos aportan la misma cantidad de dinero, sobre un fondo

Más detalles

INSTITUTO TECNOLÓGICO METROPOLITANO DECANATURA DE CIENCIAS JEFATURA DE CIENCIAS BÁSICAS

INSTITUTO TECNOLÓGICO METROPOLITANO DECANATURA DE CIENCIAS JEFATURA DE CIENCIAS BÁSICAS INSTITUTO TECNOLÓGICO METROPOLITANO DECANATURA DE CIENCIAS JEFATURA DE CIENCIAS BÁSICAS NIVELATORIO DE MATEMÁTICAS BÁSICAS Guía 1 Conjuntos Numéricos COMPETENCIA Reconocer los diferentes conjuntos numéricos,

Más detalles

INSTITUCION EDUCATIVA LA PRESENTACION NOMBRE ALUMNA: ASIGNATURA: MATEMATICAS. NOTA

INSTITUCION EDUCATIVA LA PRESENTACION NOMBRE ALUMNA: ASIGNATURA: MATEMATICAS. NOTA INSTITUCION EDUCATIA LA PRESENTACION NOMBRE ALUMNA: AREA : MATEMATICAS ASIGNATURA: MATEMATICAS. NOTA DOCENTE: HUGO HERNAN BEDOYA TIPO DE GUIA: CONCEPTUAL - EJERCITACION PERIODO GRADO ECHA N DURACION 1

Más detalles

Unidad 2.- Lógica y tablas de verdad. Lógica

Unidad 2.- Lógica y tablas de verdad. Lógica Lógica Algebra Booleana Las álgebras booleanas, estudiadas por primera vez en detalle por George Boole, constituyen un área de las matemáticas que ha pasado a ocupar un lugar prominente con el advenimiento

Más detalles

Es toda la información que utiliza el computador. Según sea la información que guardemos en los datos, se clasifican en los siguientes tipos:

Es toda la información que utiliza el computador. Según sea la información que guardemos en los datos, se clasifican en los siguientes tipos: Tipos de datos. Dato: Es toda la información que utiliza el computador. Según sea la información que guardemos en los datos, se clasifican en los siguientes tipos: I Numéricos: Almacenan números y con

Más detalles

SOBRE LOGICA MATEMATICA. Sandra M. Perilla-Monroy. Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia.

SOBRE LOGICA MATEMATICA. Sandra M. Perilla-Monroy. Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia. SOBRE LOGICA MATEMATICA Sandra M. Perilla-Monroy Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia. Resumen. sandraperilla@usantotomas.edu.co Carrera 9 No 51-11 Bogotá Colombia

Más detalles

CUADERNILLO DE EJERCICIOS MATEMÁTICAS PARA COMPUTADORA (PRIMER SEMESTRE) INGENIERÍA EN SISTEMAS COMPUTACIONALES

CUADERNILLO DE EJERCICIOS MATEMÁTICAS PARA COMPUTADORA (PRIMER SEMESTRE) INGENIERÍA EN SISTEMAS COMPUTACIONALES Gobierno del Estado de México Secretaría de Educación, Cultura y Bienestar Social Subsecretaría de Educación Media Superior y Superior Tecnológico de Estudios Superiores del Oriente del Estado de México

Más detalles

Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción Curso 0: Matemáticas y sus Aplicaciones Tema 5. Lógica y Formalismo Matemático Leandro Marín Dpto. de Matemática Aplicada Universidad de Murcia 2012 1 Proposiciones y Conectores Lógicos 2 Tablas de Verdad

Más detalles

Tema 6: Teoría Semántica

Tema 6: Teoría Semántica Tema 6: Teoría Semántica Sintáxis Lenguaje de de las las proposiciones Lenguaje de de los los predicados Semántica Valores Valores de de verdad verdad Tablas Tablas de de verdad verdad Tautologías Satisfacibilidad

Más detalles

Algoritmos y Estructura de Datos I

Algoritmos y Estructura de Datos I Clase práctica de Especificación - Lógica proposicional Viernes 20 de Marzo de 2015 Menú del día Fórmulas bien formadas Tablas de verdad Tautologías, Contingencias y Contradicciones Relación de fuerza

Más detalles

Conjuntos Los conjuntos se emplean en muchas áreas de las matemáticas, de modo que es importante una comprensión de los conjuntos y de su notación.

Conjuntos Los conjuntos se emplean en muchas áreas de las matemáticas, de modo que es importante una comprensión de los conjuntos y de su notación. NÚMEROS REALES Conjuntos Los conjuntos se emplean en muchas áreas de las matemáticas, de modo que es importante una comprensión de los conjuntos y de su notación. Un conjunto es una colección bien definida

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

Horas Trabajo Estudiante: 128

Horas Trabajo Estudiante: 128 PROGRAMAS DE:: CIIENCIIAS BÁSIICAS E IINGENIIERÍÍAS DEPARTAMENTO DE MATEMÁTIICAS Y ESTADÍÍSTIICA CONTENIIDOSS PPROGRAMÁTIICOSS PPOR UNIIDADESS DE APPRENDIIZAJJE Curso: Créditos: 3 Lógica Matemática Horas

Más detalles

1.1.1 Conectivos lógicos, formas proposicionales y tablas de verdad.

1.1.1 Conectivos lógicos, formas proposicionales y tablas de verdad. Tema 1 Lógica. 1.1 Cálculo proposicional. Definición 1.1 Una proposición es una frase o sentencia declarativa que es verdadera o falsa pero no ambas cosas a la vez. Los dos posibles valores de verdad que

Más detalles

TEMA N 1 LÓGICA Y CONJUNTOS

TEMA N 1 LÓGICA Y CONJUNTOS TEMA N 1 LÓGICA Y CONJUNTOS DEFINICIÓN Y NOTACIÓN DE CONJUNTOS OBJETIVOS Comprenderás, o repasarás, la idea intuitiva de conjunto. Definirás conjuntos por enumeración y por comprensión, así como su forma

Más detalles

TRABAJO PRÁCTICO DOMICILIARIO Lógica

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

Más detalles

MATERIAL DE APOYO PARA EL PRIMER CURSO DE MATEMÁTICAS COMPUTACIONALES.

MATERIAL DE APOYO PARA EL PRIMER CURSO DE MATEMÁTICAS COMPUTACIONALES. MATERIAL DE APOYO PARA EL PRIMER CURSO DE MATEMÁTICAS COMPUTACIONALES. Ing. HUGO HUMBERTO MORALES PEÑA MAESTRÍA EN ENSEÑANZA DE LAS MATEMÁTICAS Línea de Matemáticas Computacionales UNIVERSIDAD TECNOLÓGICA

Más detalles

Definición y representación de los

Definición y representación de los Definición y representación de los circuitos lógicos. LÁMARA R + - + - OBJETIVO GENERAL BATERÍA Utilizar el álgebra booleana para analizar y describir el funcionamiento de las combinaciones de las compuertas

Más detalles

Universidad Nacional Abierta y a Distancia UNAD-Lógica Matemática - Georffrey Acevedo G. A que viene la lógica?

Universidad Nacional Abierta y a Distancia UNAD-Lógica Matemática - Georffrey Acevedo G. A que viene la lógica? A que viene la lógica? Autor: Georffrey Acevedo G. Noviembre 16 de 2008. Los conceptos de proposiciones, conectivos e inferencias confluyen al analizar un razonamiento. Para tener claridad sobre los conceptos

Más detalles

SEMINARIO MENOR DIOCESANO SAN JOSE DE CUCUTA LA JUVENTUD A JESUCRISTO QUEREMOS DEVOLVER PLAN DEMEJORAMIENTO 2012

SEMINARIO MENOR DIOCESANO SAN JOSE DE CUCUTA LA JUVENTUD A JESUCRISTO QUEREMOS DEVOLVER PLAN DEMEJORAMIENTO 2012 NOMBRE:. AREA: MATEMATICAS A. SELECCIONA LA RESPUESTA CORRECTA: 1. Una proposición es : a) Una afirmación que comunica una idea verdadera o falsa. b) Una idea que es verdadera. c) Una afirmación que es

Más detalles

POR UNA CULTURA HUMANISTA Y TRASCENDENTE R FORMATO DE PLANEACIÓN DE CURSO HRS. DEL CURSO: 48 CLAVE: 314 HRS. POR SEMANA: 4

POR UNA CULTURA HUMANISTA Y TRASCENDENTE R FORMATO DE PLANEACIÓN DE CURSO HRS. DEL CURSO: 48 CLAVE: 314 HRS. POR SEMANA: 4 N- R POR UNA CULTURA HUMANISTA Y TRASCENDENTE R FORMATO DE PLANEACIÓN DE CURSO CATEDRÁTICO: CARRERA: ASIGNATURA Ing. Fernando Robles Gil Sistemas Computacionales Hardware II (Matemáticas Discretas) INICIO

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. 6 Nombre: Álgebra Booleana Objetivo Durante la sesión el participante identificará las principales características

Más detalles

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

CORPORACION UNIFICADA NACIONAL DE EDUCACION SUPERIOR CUN DEPARTAMENTO DE CIENCIAS BASICAS: MATEMATICAS ACTIVIDAD ACADEMICA: ESTADISTICA DESCRIPTIVA DOCENTE: LIC- ING: ROSMIRO FUENTES ROCHA UNIDAD N 1: CONCEPTOS BASICOS DEFINICIÓN DE ESTADÍSTICA La Estadística trata del recuento, ordenación y clasificación

Más detalles

EJERCICIOS SOBRE PROPOSICIÓN. DEFINICIÓN Y CLASES

EJERCICIOS SOBRE PROPOSICIÓN. DEFINICIÓN Y CLASES INSTRUCCIÓN. Resuelve los problemas propuestos del modo siguiente: primero en forma individual, luego en forma grupal y por último preséntalo en forma grupal en un máximo de cinco (05) integrantes. EJERCICIOS

Más detalles

UNIDAD 4: INTRODUCCIÓN A LA LÓGICA

UNIDAD 4: INTRODUCCIÓN A LA LÓGICA UNIDAD 4: INTRODUCCIÓN A LA LÓGICA Bien! hemos pasado a la segunda parte de los contenidos, espero que esos ánimos sigan predispuestos a continuar con el estudio de estos nuevos contenidos. Lo invitamos

Más detalles

CAPÍTULO I ÁLGEBRA DE PROPOSICIONES

CAPÍTULO I ÁLGEBRA DE PROPOSICIONES ÁLGEBRA DE PROPOSICIONES 1 CAPÍTULO I ÁLGEBRA DE PROPOSICIONES 1.1 PROPOSICIÓN Proosición (o enunciado) es una afirmación verbal a la ue uede asociarse un valor de verdad, es decir, uede ser verdadera

Más detalles

En general, un conjunto A se define seleccionando los elementos de un cierto conjunto U de referencia que cumplen una determinada propiedad.

En general, un conjunto A se define seleccionando los elementos de un cierto conjunto U de referencia que cumplen una determinada propiedad. nidad 3: Conjuntos 3.1 Introducción Georg Cantor [1845-1918] formuló de manera individual la teoría de conjuntos a finales del siglo XIX y principios del XX. Su objetivo era el de formalizar las matemáticas

Más detalles

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

UNIVERSIDAD DE ANTIOQUIA SEMILLERO DE MATEMÁTICAS NIVEL 11 TALLER N º 2 LÓGICA MATEMÁTICA 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

Más detalles

UNIVERSIDAD DEL CARIBE UNICARIBE. Escuela de Educación

UNIVERSIDAD DEL CARIBE UNICARIBE. Escuela de Educación UNIVERSIDAD DEL CARIBE UNICARIBE Escuela de Educación Programa de Asignatura Nombre de la asignatura : Matemática en el c. v. de la Educación Media I Carga académica : 3 Créditos Modalidad : Semipresencial

Más detalles

UNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO

UNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO UNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGÍAS L Ó G I C A Carrera: Programador Universitario en Informática Equipo Docente: Miriam Alagastino Ximena Villarreal

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 La Lógica es la disciplina que se ocupa de los métodos de razonamiento, suministrando reglas y técnicas que nos permiten decidir si una argumentación, una deducción,

Más detalles

Un poco de Lógica...

Un poco de Lógica... Seminario Universitario Matemática Módulo 1 Un poco de Lógica... Introducción La matemática exige un lenguaje claro y preciso, es decir que no admita ambigüedades. Para lograrlo, se vale de la lógica simbólica

Más detalles

INSTITUCIÓN EDUCATIVA GABRIEL TRUJILLO CORREGIMIENTO DE CAIMALITO, PEREIRA

INSTITUCIÓN EDUCATIVA GABRIEL TRUJILLO CORREGIMIENTO DE CAIMALITO, PEREIRA INSTITUCIÓN EDUCATIVA GABRIEL TRUJILLO CORREGIMIENTO DE CAIMALITO, PEREIRA Pobre del estudiante que no aventaje a su maestro. LA LÍNEA RECTA Leonardo da Vinci DESEMPEÑOS Identificar, interpretar, graficar

Más detalles

Introd. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar

Introd. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar ClasesATodaHora.com.ar > Exámenes > UBA - UBA XXI > Introd. al Pensamiento Científico Introd. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar Razonamientos: Conjunto de propiedades

Más detalles

ALGEBRA DE BOOLE George Boole C. E. Shannon E. V. Hungtington [6]

ALGEBRA DE BOOLE George Boole C. E. Shannon E. V. Hungtington [6] ALGEBRA DE BOOLE El álgebra booleana, como cualquier otro sistema matemático deductivo, puede definirse con un conjunto de elementos, un conjunto de operadores y un número de axiomas no probados o postulados.

Más detalles

Lógica. Matemática discreta. Matemática discreta. Lógica

Lógica. Matemática discreta. Matemática discreta. Lógica Lógica Matemática discreta Lógica: rama de las matemáticas instrumento para representar el lenguaje natural proporciona un mecanismo de deducción 2 y de predicados Razonamientos Cálculo proposicional Cálculo

Más detalles

Existen diferentes compuertas lógicas y aquí mencionaremos las básicas pero a la vez quizá las más usadas:

Existen diferentes compuertas lógicas y aquí mencionaremos las básicas pero a la vez quizá las más usadas: Compuertas lógicas Las compuertas lógicas son dispositivos electrónicos utilizados para realizar lógica de conmutación. Son el equivalente a interruptores eléctricos o electromagnéticos. para utilizar

Más detalles

INSTITUTO DE AYUDA POLITÉCNICA Quisquís 1020 entre Avenida del Ejército y García Moreno. 2282705 086412883

INSTITUTO DE AYUDA POLITÉCNICA Quisquís 1020 entre Avenida del Ejército y García Moreno. 2282705 086412883 . PROPOSICIONES PROPOSICIÓN: Una proposición es una unidad semántica que, o sólo es verdadera o sólo es falsa. Por esta razón, las oraciones que no son falsas ni verdaderas, las que son falsas y verdaderas

Más detalles

Métodos de Inteligencia Artificial

Métodos de Inteligencia Artificial Métodos de Inteligencia Artificial L. Enrique Sucar (INAOE) esucar@inaoep.mx ccc.inaoep.mx/esucar Tecnologías de Información UPAEP Contenido Lógica proposicional Lógica de predicados Inferencia en lógica

Más detalles

Algoritmos. Medios de expresión de un algoritmo. Diagrama de flujo

Algoritmos. Medios de expresión de un algoritmo. Diagrama de flujo Algoritmos En general, no hay una definición formal de algoritmo. Muchos autores los señalan como listas de instrucciones para resolver un problema abstracto, es decir, que un número finito de pasos convierten

Más detalles

Razonamientos. Premisas Conclusión Premisas Conclusión V V V V V F F V F V F F F F

Razonamientos. Premisas Conclusión Premisas Conclusión V V V V V F F V F V F F F F 2.3.1.1 Validez e invalidez. Verdad y falsedad es una propiedad de las proposiciones o enunciados. Con las proposiciones o enunciados se pueden construir razonamientos. Pero los razonamientos no son ni

Más detalles

En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse

En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse lógicamente como un término no definido. Un conjunto se

Más detalles

Bases Matemáticas para la Educación Primaria. Guía de Estudio. Tema 3: Números racionales. Parte I: Fracciones y razones Números racionales

Bases Matemáticas para la Educación Primaria. Guía de Estudio. Tema 3: Números racionales. Parte I: Fracciones y razones Números racionales Bases Matemáticas para la Educación Primaria Guía de Estudio Tema 3: Números racionales Parte I: Fracciones y razones Números racionales 1 Situación introductoria ANÁLISIS DE CONOCIMIENTOS PUESTOS EN JUEGO

Más detalles

CIRCUITOS LÓGICOS. Lógica FCE 1. ALGEBRA DE BOOLE

CIRCUITOS LÓGICOS. Lógica FCE 1. ALGEBRA DE BOOLE Lógica FE IRUITOS LÓGIOS 1. LGER DE OOLE 1.1 Introducción Tanto la teoría de conjuntos como la lógica de enunciados tienen propiedades similares. Tales propiedades se utilizan para definir una estructura

Más detalles

SISTEMA DE NUMEROS REALES

SISTEMA DE NUMEROS REALES SISTEMA DE NUMEROS REALES 1.1 Conjuntos Es una agrupación de objetos distintos (pero con algunas características en común), los que reciben el nombre de elementos. Generalmente se nombra a un conjunto

Más detalles

Conjuntos, relaciones y funciones Susana Puddu

Conjuntos, relaciones y funciones Susana Puddu Susana Puddu 1. Repaso sobre la teoría de conjuntos. Denotaremos por IN al conjunto de los números naturales y por ZZ al de los enteros. Dados dos conjuntos A y B decimos que A está contenido en B o también

Más detalles

EL CONDICIONAL. La tercera y cuarta fila incomoda a mucha gente. Porque?

EL CONDICIONAL. La tercera y cuarta fila incomoda a mucha gente. Porque? EL CONDICIONAL DEFINICIÓN : Sean p y q dos proposiciones. El condicional con antecedente p y consecuente q es la proposición p q, que se lee si p entonces q cuyo valor lógico está dado por la siguiente

Más detalles

Inteligencia en Redes de Comunicaciones. Razonamiento lógico. Julio Villena Román.

Inteligencia en Redes de Comunicaciones. Razonamiento lógico. Julio Villena Román. Inteligencia en Redes de Comunicaciones Razonamiento lógico Julio Villena Román jvillena@it.uc3m.es Índice La programación lógica Lógica de predicados de primer orden Sistemas inferenciales IRC 2009 -

Más detalles

Lógica. Lógica Proposicional. Cuáles de las siguientes frases son proposiciones? Proposición

Lógica. Lógica Proposicional. Cuáles de las siguientes frases son proposiciones? Proposición Lógica Lógica Proposicional Escuela de Ingeniería Industrial Pontificia Universidad Católica de Valparaíso, Chile rgatica@ucv.cl Proposición Definición: Una proposición o enunciado es una frase que a la

Más detalles

personal.us.es/elisacamol Elisa Cañete Molero Curso 2011/12

personal.us.es/elisacamol Elisa Cañete Molero Curso 2011/12 Teoría de conjuntos. Teoría de Conjuntos. personal.us.es/elisacamol Curso 2011/12 Teoría de Conjuntos. Teoría de conjuntos. Noción intuitiva de conjunto. Propiedades. Un conjunto es la reunión en un todo

Más detalles

CASO I: FACTORIZACION DE BINOMIOS

CASO I: FACTORIZACION DE BINOMIOS CORPORACION UNIFICADA NACIONAL DE EDUCACION SUPERIOR CUN DEPARTAMENTO DE CIENCIAS BASICAS: MATEMATICAS ACTIVIDAD ACADEMICA: FUNDAMENTOS MATEMATICOS DOCENTE: LIC- ING: ROSMIRO FUENTES ROCHA UNIDAD N : FACTORIZACION

Más detalles

2. EXPRESIONES 3. OPERADORES Y OPERANDOS 4. INDENTIFICADORES COMO LOCALIDADES DE MEMORIA

2. EXPRESIONES 3. OPERADORES Y OPERANDOS 4. INDENTIFICADORES COMO LOCALIDADES DE MEMORIA CONTENIDOS: 1. TIPOS DE DATOS 2. EXPRESIONES 3. OPERADORES Y OPERANDOS 4. INDENTIICADORES COMO LOCALIDADES DE MEMORIA OBJETIO EDUCACIONAL: El alumno conocerá las reglas para cambiar fórmulas matemáticas

Más detalles

3. OBJETIVOS ESPECÍFICOS (De formación académica): Como resultado de cada capítulo el estudiante estará en capacidad de:

3. OBJETIVOS ESPECÍFICOS (De formación académica): Como resultado de cada capítulo el estudiante estará en capacidad de: MATERIA Lógica y Argumentación. CÓDIGO 08273 PRERREQUISITOS: Ninguno. PROGRAMAS: Todos los programas de pregrado. PERÍODO ACADÉMICO: 162-2 (Segundo semestre de 2016) INTENSIDAD HORARIA: 4 horas semanales

Más detalles

Grado en Ingeniería Informática Fundamentos matemáticos para la informática Curso Introducción a la lógica matemática

Grado en Ingeniería Informática Fundamentos matemáticos para la informática Curso Introducción a la lógica matemática Grado en Ingeniería Informática Fundamentos matemáticos para la informática Curso 2009-10 Introducción a la lógica matemática Lógica es la disciplina que se ocupa de los métodos de razonamiento, suministrando

Más detalles

TEMA 4. RAZONAMIENTO DEDUCTIVO (III). RAZONAMIENTO PROPOSICIONAL Introducción a los aspectos formales del razonamiento proposicional.

TEMA 4. RAZONAMIENTO DEDUCTIVO (III). RAZONAMIENTO PROPOSICIONAL Introducción a los aspectos formales del razonamiento proposicional. TEMA 4. RAZONAMIENTO DEDUCTIVO (III). RAZONAMIENTO PROPOSICIONAL 4.1. Introducción a los aspectos formales del razonamiento proposicional. 4.2. El razonamiento disyuntivo. 4.3. El razonamiento condicional.

Más detalles

ESCUELA SUPERIOR POLITÉCNICA DEL LITORAL FACULTAD DE CIENCIAS NATURALES Y MATEMÁTICAS DEPARTAMENTO DE MATEMÁTICAS CURSO DE NIVELACIÓN S

ESCUELA SUPERIOR POLITÉCNICA DEL LITORAL FACULTAD DE CIENCIAS NATURALES Y MATEMÁTICAS DEPARTAMENTO DE MATEMÁTICAS CURSO DE NIVELACIÓN S ESCUELA SUPERIOR POLITÉCNICA DEL LITORAL FACULTAD DE CIENCIAS NATURALES Y MATEMÁTICAS DEPARTAMENTO DE MATEMÁTICAS CURSO DE NIVELACIÓN 014 1S PRIMERA EVALUACIÓN DE MATEMÁTICAS PARA CIENCIAS, INGENIERÍAS

Más detalles

Matemáticas 2º E.S.P.A. Pág.1 C.E.P.A. Plus Ultra. Logroño

Matemáticas 2º E.S.P.A. Pág.1 C.E.P.A. Plus Ultra. Logroño ALGEBRA 1. LETRAS EN VEZ DE NÚMEROS En muchas tareas de las matemáticas es preciso trabajar con números de valor desconocido o indeterminado. En esos casos, los números se representan por letras y se operan

Más detalles

Más sobre Leyes de implicación

Más sobre Leyes de implicación Más sobre Leyes de implicación Dilema constructivo. Se abrevia d.c. Se considera que si hay una disyunción que contiene los antecedentes de dos condicionales, la conclusión será la disyunción de los consecuentes.

Más detalles