RAZONAMIENTO MATEMÁTICO

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

Download "RAZONAMIENTO MATEMÁTICO"

Transcripción

1 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. Fórmulas lógicas D. Reglas de inferencia E. La demostración II. EJEMPLOS Y APLICACIONES AL RAZONAMIENTO MATEMÁTICO INTRODUCCIÓN La lógica es la disciplina que trata de los métodos de los razonamientos. Ofrece reglas y técnicas para determinar si un argumento es válido. A grandes rasgos la historia de la lógica se divide en 3 etapas: lógica griega, lógica escolástica y lógica matemática. El primer estudio sistemático del razonamiento lógico lo da Aristóteles que enuncia las fórmulas lógicas con palabras del lenguaje ordinario, sujetas a las reglas sintácticas. Durante la segunda etapa la lógica se abstrajo del lenguaje ordinario. En la tercera etapa quedó marcada por el uso de un lenguaje artificial en el que los signos y palabras estaban regidos por una sintaxis exacta. Mientras que en las dos primeras etapas los teoremas lógicos se derivaban del lenguaje usual, en la tercera la lógica procede al contrario. A veces se considera a Leibnitz como un precursor de este último punto de vista pues pretendía reducir todas las cosas a un orden. La fecha del nacimiento de la lógica contemporánea es cuando Boole publica su primer libro y la lógica formal de De Morgan (847). Más tarde (854) Boole construye y desarrolla la lógica formal como un nuevo tipo de álgebra y demuestra que su tipo general de álgebra suministra un algoritmo fácil para el razonamiento silogístico. Después hubo un desvanecimiento hasta la aparición de Principia Mathematica de Russell y Whitehead. En esta obra se programa que toda la matemática pura puede deducirse de un pequeño número de principios lógicos

2 fundamentales. A partir de ésta y de las obras de otros lógicos y matemáticos del s. XX se disponen de potentes herramientas. Gödel (93) demostró que existen dentro del sistema ciertas afirmaciones bien definidas, que no pueden ser demostradas ni refutadas a partir de los axiomas. Así el teorema de Gödel se considera como el resultado más importante de la lógica matemática. I. LÓGICA PROPOSICIONAL La lógica de proposicional se ocupa de proposiciones, de frases descriptivas en el seno de una teoría. No todas las frases son proposiciones. A. Proposiciones Una proposición es una frase de la que se pueda decir que es verdadera o falsa. Observación - No son proposiciones las frases interrogativas o exclamativas o enunciados prescriptivos. - Existen lógicas en las que se consideran más de 2 valores lógicos, pero verdadero y falso son los únicos valores de verdad de las proposiciones. Rige el llamado principio de bivalencia: Toda proposición es o bien verdadera o bien falsa. La lógica proposicional se ocupa de las relaciones de inferencia entre proposiciones tomadas en bloque. No se analiza la estructura interna de las proposiciones, son estas las unidades de análisis. Como primer nivel del análisis lógico, lo que se pretende es analizar la validez de aquellos razonamientos en los que se parte de premisas, que son proposiciones sin analizar, para llegar a conclusiones que son proposiciones que tampoco se analizan. Desde el punto de vista de la lógica proposicional sólo se tienen en cuenta aquellas formas de deducir una proposición a partir de otras que sean válidas sin necesidad de analizar interiormente cada una de ellas. Los elementos que componen una proposición son irrelevantes. Sólo interesan las proposiciones como tales, cada una de ellas considerada como un todo. Como es indiferente el contenido de cada proposición, éstas se representan mediante variables proposicionales: p,q,r,s,... símbolos que sustituyen a proposiciones cualesquiera. Cada proposición tiene un único valor de verdad. La variable p, que reemplaza a una proposición cualquiera, podrá tener el valor de verdad (v ó ) o el valor falso (F ó ). B. Conectivos proposicionales Una proposición se llama molecular cuando es una composición de otras. Se llama atómica si no lo es. Se llaman conectivos proposicionales a las diversas formas de enlazar o transformar proposiciones. Cada conectivo proposicional queda determinado conociendo su función de verdad, la relación existente entre la verdad o falsedad de las proposiciones componentes y la resultante. Es normal dar una función de verdad mediante una tabla de verdad, que son tablas en la que junto a cada posible combinación de valores de verdad de las proposiciones componentes figura el de la proposición compuesta. Según el número de componentes se habla de conectivos monádicos o singulares, diádicos o binarios, ternarios, etc. 2

3 Observaciones - Como para n variables proposicionales existen 2 n asignaciones distintas de los valores de verdad y como para cada una de ellas la función de verdad puede tomar cualquiera de los 2 valores, existen 2 (2n) operaciones distintas con n proposiciones. - Sólo algunos conectivos proposicionales corresponden a expresiones normales del lenguaje y aparecen en la exposición natural de los razonamientos. En la práctica se representan por símbolos que se conocen con el mismo nombre que el conectivo al que representan. B.. Negación Dada una proposición p, su negación es la proposición p, que será verdadera si p es falsa y falsa si p es verdadera. Se lee no p y corresponde a la negación del lenguaje usual. Su tabla de verdad es: p p B.2. Conjunción Dadas 2 proposiciones p y q, su conjunción es la proposición p q, que será verdadera sólo cuando p y q son verdaderas y falsa en los demás casos. Se lee p y q y se corresponde con la y o con la yuxtaposición del lenguaje usual. Su tabla de verdad es: p q p q B.3. Disyunción Dadas dos proposiciones p y q, su disyunción es la proposición p q, que será falsa cuando p y q son falsas y verdaderas en los demás casos. Se lee p ó q y se corresponde con la o no excluyente del lenguaje usual. Su tabla de verdad es: p q p q B.4. Condicional Dadas dos proposiciones, p y q, su condicional es la proposición p q, falsa sólo si q es falsa y p verdadera y verdadera en los demás casos. Se dice que p es el antecedente y q el consecuente del condicional. Se lee si p entonces q y se corresponde con expresiones tales como: si... entonces..., cuando... entonces... del lenguaje verbal. Su tabla de verdad es: p q p q 3

4 B.5. Bicondicional Dadas dos proposiciones p y q, su bicondicional es la proposición p q, que será verdadera si ambas son verdaderas o si ambas son falsas y falsa en los demás casos. Se lee p si y sólo si q. Supone un doble condicional en el lenguaje usual: si p entonces q y si q entonces p. Su tabla de verdad es: p q p q B.6. Otros conectivos Es escaso el interés que presentan los restantes conectivos singulares o binarios de los otros 3 conectivos singulares: dos son constantes, independientes de la variable; el tercero es la identidad. De los restantes 2 conectivos binarios sólo la disyunción exclusiva (que es verdadera sólo si una sólo una de las proposiciones lo es) tiene sentido en el lenguaje usual aún cuando se utilice muy raramente en el razonamiento matemático. Estrictamente hablando sería suficiente considerar dos únicos conectivos: la negación y uno cualquiera de entre la conjunción, la disyunción o el condicional, ya que los demás se podrían definir en término de esos dos, tal como veremos más adelantes. Incluso, este número mínimo de conectivos puede reducirse a uno: el conectivo incompatibilidad o el conectivo negación conjunta. C. Fórmula lógicas La aplicación reiterada de conectivos permite formar proposiciones moleculares más complejas. Se llama fórmula lógica a toda expresión formada por la aplicación de un número finito de conectivos proposicionales a variables proposicionales. Los conectivos se aplican de izquierda a derecha salvo que se indique otra cosa. Las variables proposicionales se denotan por letras mayúsculas: A,B,C... A toda fórmula lógica le corresponde una única función de verdad que asocia a cada combinación de valores de las variables el valor de verdad resultante en la fórmula Se representa mediante una tabla de verdad. Observación Una fórmula lógica resulta al sustituir en una proposición molécula cada proposición por una misma variable y una variable por una misma proposición. Si una fórmula lógica es siempre verdadera se llama tautología (T). Si siempre es falsa se llama contradicción (K) y si toma los dos valores de verdad se llama indeterminada. Si una fórmula lógica A es una tautología A es una contradicción y viceversa. Las tautologías que son fórmulas universalmente ciertas se llaman leyes de la lógica proposicional. De ellas se obtienen las reglas de inferencia que permitirán pasar de proposiciones verdaderas a otras propoposiciones verdaderas. 4

5 Proposición Toda fórmula lógica es lógicamente equivalente a otra en la que sólo aparecen los conectivos,,,. Demostración p q (p q) (q p) y que: p q ( p) q Proposición Sean A, B y C fórmulas lógicas. Se verifican las siguientes equivalencias lógicas:.) Doble negación: ( A) A 2.) Asociativa: A (B C) (A B) C A (B C) (A B) C 3.) Conmutativa: A B B A A B B A 4.) Idempotencia: A A=A A A A 5.) De complemento: A ( A) K A ( A) T 6.) Elemento absorbente: A K K A T T 7.) Elemento neutro: A T A A K A 8.) Simplificativa: A (A B) A A (A B) A 9.) Distributiva: A (B C) (A B) (A C) A (B C) (A B) (A C).) De Morgan: (A B) ( A) ( B) (A B) ( A) ( B) Demostración Es muy fácil, veamos cómo se hace por ejemplo.) y los demás igual. A B A B A B (A B) ( A) ( B) (A B) (( A) ( B)) Observación - La equivalencia lógica es una relación de equivalencia en el conjunto de las fórmulas lógicas. Si en el conjunto cociente respecto de se definen las operaciones,, por medio de los representantes se obtiene que dicho cociente forma con las operaciones un álgebra de Boole. - Las fórmulas lógicas pueden, salvo equivalencia, formarse sólo con los conectivos y. D. Reglas de inferencia Las tablas de verdad son útiles cuando el número de variables es pequeño pero cuando hay muchas no es conveniente. Ahora proponemos otro sistema. Se dice que q es una consecuencia tautológica de las proposiciones p,p 2,...,p n si (p p 2... p n ) q es una tautología. Se simboliza en una columna. También se dice que p,p 2,...,p n implican lógicamente q, que q se deriva o se deduce de las p i u otras expresiones análogas. Así, si p,p 2,...,p n son tautologías lo es q. Las reglas que permite derivar unas tautologías de otras se llaman reglas de inferencia. Existen infinitas reglas de inferencia ya que cualquier fórmula tautológica 5

6 condicional determinará una. Se han propuesto sistemas basados en cantidades reducidas de reglas que permiten derivar todas las leyes de la lógica proposicional. A continuación enunciamos las reglas de inferencias más importantes: Modus poniendo ponens (Regla de separación): Si tenemos A y A B tenemos B Modus tollendo tollens: Si tenemos A B y B tenemos A Modus tollendo ponens: Si tenemos A B y A tenemos B Transitividad del condicional o modus barbara: Si tenemos A B y B C tenemos A C Contraposición del condicional: A B es equivalente a ( B A) Simbólicamente se representa por: PP: A B TT: A B TP: A B TC: A B CC: A B A B A B C B A B A C B A Observaciones - Como un bicondicional equivale a un doble condicional, cada equivalencia lógica engendra reglas de inferencia. - De las definiciones de los conectivos se desprende que A B y A B son consecuencias tautológicas de B y que A B y A B lo son de A y B. D. La demostración Se llama demostración o prueba al proceso lógico que permite obtener de unas premisas una conclusión. Se parte de unas proposiciones que se llaman premisas y se busca llegar a otra proposición que se llama conclusión usando las reglas de inferencia. El paso lógico de las premisas a la conclusión es la deducción. La idea de la demostración consiste en que de premisas verdaderas sólo se pueden obtener conclusiones que sean verdaderas. Una demostración de la proposición p a partir de las proposiciones del conjunto de premisas S, es una secuencia finita de líneas cada una de las cuales está formada por una premisa o por una consecuencia tautológica de proposiciones de líneas anteriores y cuya última línea es la proposición p. El uso de las 2 reglas de sustitución siguientes facilita la deducción de la conclusión. Proposición Si en una tautología A se sustituyen sus proposiciones atómicas p,p 2,...,p n por otras proposiciones q,,q 2,...,q n, la proposición B resultante es una tautología. Demostración Cualesquiera que sean los valores de verdad que se asignen a las proposiciones atómicas de B resultarán unos valores de verdad para q,q 2,..,q n. El correspondiente valor lógico de B coincidirá con el que toma A cuando las proposiciones p,p 2,...,p n toman los valores de verdad obtenidos para q,q 2,...,q n como A es tautología, B también. Proposición 2 Si p q es una tautología y B resulta de A reemplazando una o más ocurrencia de p por ocurrencias de q, entonces A B es una tautología y B es una tautología si y sólo si lo es A. Demostración 6

7 Al tomar p y q los mismos valores de verdad, el valor de verdad de A no se altera al hacer la sustitución. La última parte es enunciar la equivalencia lógica de A y B. III. EJEMPLOS Y APLICACIONES AL RAZONAMIENTO Como la lógica proposicional es demasiado simple se recurre a la lógica de predicados para expresar formalmente cualquier razonamiento matemático. En el desarrollo de una teoría matemática no todas las proposiciones son demostrables. La progresiva reducción de unos enunciados a otros más simples conduce a resultados que no se derivan de otros. Son enunciados cuya veracidad se ha establecido en una teoría previa o se toma por convenio. Son los axiomas o postulados de la teoría y a ellos se recurre en las demostraciones. Los enunciados matemáticos se expresan normalmente en forma condicional: h t, negando e intercambiando antecedente y consecuente se deducen otros 3: teorema recíproco (t h), teorema contrario ( h t) y teorema contrarrecíproco ( t h). Si son ciertos un teorema y su recíproco, el bicondicional h t es cierto y se dice que el enunciado es una equivalencia. - Ejemplo: Teorema de Euclides: si un número m divide a un producto de dos factores a b y es primo con uno de ellos a, divide al otro factor b. m.c.d.(m,a)= m.c.d.(mb,ab)=b. Como m ab y m b m m.c.d.(mb,ab)=b Desde el punto de vista formal aparecen las siguiente proposiciones: p= m ab q= m es primo con a r= m m s= m mb u= m.c.d.(m,a)= v= m m.c.d.(mb,ab) w= m.c.d.(mb,ab)=b t= m b () p Hipótesis (2) q Hipótesis (3) r Conocimiento previo (4) r s Conocimiento previo (5) s Modus ponens (4) y (3) (6) q u Conocimiento previo (7) u Modus ponens (6) y (2) (8) u w Conocimiento previo (9) w Modus ponens (8) y (7) () p s Regla de unión () y (5) () (p s) v Conocimiento previo (2) v Modus ponenes () y () (3) v w Regla de unión (2) y (9) (4) (v w) t Conocimiento previo (5) t Modus ponens (4) y (3) A continuación analizamos algunos de los métodos usuales de demostración. Demostración directa: son aquellas demostraciones en las que la conclusión se deduce directamente de las premisas por aplicación de las reglas de inferencia, sin que se efectúen suposiciones sobre otras proposiciones. Demostración por implicación: son razonamientos en los que se realiza la demostración de una proposición condicional empleándose la regla de demostración condicional. Demostración por reducción al absurdo: para deducir la proposición p de un conjunto de axiomas S, a menudo, se realiza infiriendo a partir de la hipótesis de la negación p una cierta proposición q, cuya negación se deduce en seno de los 7

8 axiomas S. De las proposiciones ( p q) y q se sigue, en virtud de la regla de inferencia modus tollens, la veracidad de p y con ello la de p. Demostración por recurrencia: el razonamiento por recurrencia necesita para una formulación rigurosa de la lógica de predicados. Sin pretender desarrollar un cálculo de predicados. Veamos algunos conceptos: Dado un conjunto A se llama forma proposicional de una variable sobre A a toda expresión conteniendo una variable x, que se convierte en una proposición al darle a x valores de A. Se representan por p(x), q(x)... Si para cada a A la proposición p(a) es verdadera, se escribe: x A p(x) (para todo x perteneciente a A, p(x)). El símbolo que expresa la transformación de la forma proposicional en una proposición es el cuantificador universal. En un razonamiento por recurrencia, la proposición que se demuestra es de la forma n N p(n), es decir, la aplicación del cuantificador universal a una forma proposicional de una variable sobre el conjunto de los números naturales. La demostración se apoya en una propiedad especial de los números naturales que es el 5º axioma de Peano: si un subconjunto M de N contiene al = y siempre que contiene a un número también contiene a un sucesor, entonces M=N. En el razonamiento por recurrencia primero se demuestra p() y luego que n N p(n) p(n+). El 5º axioma de Peano asegura que M=N. La aplicación reiterada de modus ponens a la cadena de proposiciones p(), p() p(), p() p(2), etc. permite deducir p(), p(2), etc., luego, si fuera posible efectuar una infinidad de pasos, que para cualquier valor de n, p(n) es verdadera. La inducción completa garantiza la validez del proceso. CONCLUSIONES La lógica y las matemáticas han estado siempre muy relacionadas aunque han surgido diversas corrientes, que apoyándose en unas teorías u otras, siguen una determinada matemática. Esto es lo que veremos en el tema siguiente: las corrientes matemáticas. Pero lo que no cabe a la duda es que la relación existe y que las matemáticas pueden apoyarse con consistencia en la lógica para demostrar resultados. En este tema, lo que hemos visto sin profundizar y a groso modo es la lógica proposicional y los elementos que la componen. Además hemos introducido unas cuantas técnicas de demostración que se utilizan para el desarrollo de las matemáticas. BIBLIOGRAFÍA - Deaño, A.: Introducción a la lógica formal. - Mates, S.: Lógica matemática elemental - Valdes, J. Y Santos, J.J.: Matemáticas comunes C.O.U. 8

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

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

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

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

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

REGLAS Y LEYES LOGICAS

REGLAS Y LEYES LOGICAS LOGICA II REGLAS Y LEYES LOGICAS Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente ciertos enunciados a partir de otros.

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

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

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

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

Matemáticas Discretas TC1003

Matemáticas Discretas TC1003 Matemáticas Discretas TC1003 Módulo I: s Válidos Departamento de Matemáticas ITESM Módulo I: s Válidos Matemáticas Discretas - p. 1/50 En matemáticas y en lógica un argumento no es una disputa. Más bien,

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

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

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

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

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

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

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

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

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

Funciones y Cardinalidad

Funciones y Cardinalidad Funciones y Cardinalidad Definición 1 Llamaremos función f entre dos conjuntos A y B a una relación que verifica las siguientes propiedades: i) Dom(f) = A ii) Si (a, b), (a, c) f entonces b = c Dicho de

Más detalles

TEMAS DE MATEMÁTICAS (Oposiciones de Secundaria)

TEMAS DE MATEMÁTICAS (Oposiciones de Secundaria) TEMAS DE MATEMÁTICAS (Oposiciones de Secundaria) TEMA 70 LÓGICA PROPOSICIONAL. EJEMPLOS Y APLICACIONES AL RAZONAMIENTO MATEMÁTICO. 1. Introducción. 2. El Lenguaje para la Lógica de Proposiciones. 2.1.

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

ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 Nº 15 FEBRERO DE 2009

ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 Nº 15 FEBRERO DE 2009 LÓGICA PROPOSICIONAL AUTORÍA SILVIA BORREGO DEL PINO TEMÁTICA MATEMÁTICAS. LÓGICA ETAPA UNIVERSITARIA Resumen La lógica forma parte de la filosofía, en la que se distinguen dos dimensiones, la dimensión

Más detalles

Ejercicios de Lógica Proposicional *

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

Más detalles

TEMA 1: NÚMEROS NATURALES. SISTEMA DE NUMERACIÓN

TEMA 1: NÚMEROS NATURALES. SISTEMA DE NUMERACIÓN 1 TEMA 1: NÚMEROS NATURALES. SISTEMA DE NUMERACIÓN 1. INTRODUCCIÓN Los números naturales aparecen debido a la necesidad que tiene el hombre para contar. Para poder construir este conjunto N, podemos seguir

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

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

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

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

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

Tema 3.1 Introducción a los circuitos combinacionales. Algebra de Boole

Tema 3.1 Introducción a los circuitos combinacionales. Algebra de Boole Tema 3.1 Introducción a los circuitos combinacionales. Algebra de Boole Índice Algebra de Boole. Definición. Operaciones lógicas: OR, AND, XOR y NOT Puertas lógicas Algebra de Boole Postulados Teoremas

Más detalles

APENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN

APENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN LOGICA (FCE-UBA) APENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente

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

John Venn Matemático y filósofo británico creador de los diagramas de Venn

John Venn Matemático y filósofo británico creador de los diagramas de Venn Georg Cantor Matemático Alemán creador de la teoría de conjuntos John Venn Matemático y filósofo británico creador de los diagramas de Venn August De Morgan Matemático ingles creador de leyes que llevan

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

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

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

ESTRUCTURA Y TECNOLOGÍA DE LOS COMPUTADORES I. TEMA 4 Algebra booleana y puertas lógicas

ESTRUCTURA Y TECNOLOGÍA DE LOS COMPUTADORES I. TEMA 4 Algebra booleana y puertas lógicas ESTRUCTURA Y TECNOLOGÍA DE LOS COMPUTADORES I TEMA 4 Algebra booleana y puertas lógicas TEMA 4. Algebra booleana y puertas lógicas 4.1 Definición de álgebra de Boole 4.2 Teoremas del álgebra de Boole 4.3

Más detalles

Capítulo 2 Conjuntos. 2.1 Introducción. 2.2 Determinación de conjuntos. Definición:

Capítulo 2 Conjuntos. 2.1 Introducción. 2.2 Determinación de conjuntos. Definición: Capítulo 2 Conjuntos 2.1 Introducción El concepto de conjunto, de singular importancia en la ciencia matemática y objeto de estudio de una de sus disciplinas más recientes, está presente, aunque en forma

Más detalles

Operaciones con conjuntos (ejercicios)

Operaciones con conjuntos (ejercicios) Operaciones con conjuntos (ejercicios) Ejemplo: Definición de la diferencia de conjuntos. Sean y conjuntos. Entonces \ := { x: x x / }. Esto significa que para todo x tenemos la siguiente equivalencia:

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

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

Semana02[1/23] Conjuntos. 9 de marzo de Conjuntos

Semana02[1/23] Conjuntos. 9 de marzo de Conjuntos Semana02[1/23] 9 de marzo de 2007 Introducción Semana02[2/23] La teoría de conjuntos gira en torno a la función proposicional x A. Los valores que hacen verdadera la función proposicional x A son aquellos

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

ELEMENTOS DE LA MATEMATICA

ELEMENTOS DE LA MATEMATICA ELEMENTOS DE LA MATEMATICA SEMESTRE: Primero CODIGO ANTERIOR: 22G7 CODIGO: 8101 REQUISITOS: No tiene CREDITOS: 6 HORAS DE TEORIA: 4 HORAS DE PRACTICA : 4 TEMA 1: Lógica simbólica. Las conectivas lógicas.

Más detalles

Inducción Matemática Conjuntos Funciones. Matemática Discreta. Agustín G. Bonifacio UNSL. Repaso de Inducción, Conjuntos y Funciones

Inducción Matemática Conjuntos Funciones. Matemática Discreta. Agustín G. Bonifacio UNSL. Repaso de Inducción, Conjuntos y Funciones UNSL Repaso de Inducción, y Inducción Matemática (Sección 1.7 del libro) Supongamos que queremos demostrar enunciados del siguiente tipo: P(n) : La suma de los primeros n números naturales es n(n+1)

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

Los fundamentos de la matemática y los teoremas de Gödel

Los fundamentos de la matemática y los teoremas de Gödel Los fundamentos de la matemática y los teoremas de Gödel Mario A. Natiello Centre for Mathematical Sciences Lund University Sweden Los fundamentos de la matemática y los teoremas de Gödel p.1/23 Contenido

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

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

INTRODUCCION AL ALGEBRA.

INTRODUCCION AL ALGEBRA. INTRODUCCION AL ALGEBRA. 2- TEORIA DE CONJUNTOS. Apuntes de la Cátedra. Alberto Serritella. Colaboraron: Cristian Mascetti. Vanesa Bergonzi Edición Previa CECANA CECEJS CET Junín 2010. UNNOBA Universidad

Más detalles

RESPUESTAS REPARTIDO 3 PARA ESCRITO TEORICO Diego Danieli 2IA UTU BUCEO AXIOMAS - TEOREMAS CÓMO SE CONSTRUYE LA GEOMETRIA MODERNA?

RESPUESTAS REPARTIDO 3 PARA ESCRITO TEORICO Diego Danieli 2IA UTU BUCEO AXIOMAS - TEOREMAS CÓMO SE CONSTRUYE LA GEOMETRIA MODERNA? AXIOMAS - TEOREMAS CÓMO SE CONSTRUYE LA GEOMETRIA MODERNA? FUNDAMENTOS 1 Comenzó siendo un conjunto de reglas y conocimientos obtenidos por la experiencia, usados por los constructores y medidores de terrenos.

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

TEMA 3 ÁLGEBRA DE CONMUTACIÓN

TEMA 3 ÁLGEBRA DE CONMUTACIÓN TEMA 3 ÁLGEBRA DE CONMUTACIÓN TEMA 3: Álgebra de Boole ÍNDICE. POSTULADOS DEL ÁLGEBRA DE CONMUTACIÓN 2. ÁLGEBRA DE BOOLE BIVALENTE O ÁLGEBRA DE CONMUTACIÓN 2. Teoremas del álgebra de conmutación 3. VARIABLES

Más detalles

Resumen de deducción natural

Resumen de deducción natural Resumen de deducción natural F. Javier Gil Chica 2010 1. Orientación de estas notas El cálculo de argumentos mediante tablas de verdad es un método rápido y seguro. También mecánico, puesto que se puede

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 Discretas. Oscar Bedoya

Matemáticas Discretas. Oscar Bedoya Matemáticas Discretas Oscar Bedoya oscar.bedoya@correounivalle.edu.co http://eisc.univalle.edu.co/~oscarbed/md/ * Lógica proposicional * Concepto de proposición * Valores de verdad * Operadores lógicos

Más detalles

Lógica Proposicional

Lógica Proposicional Existen en la realidad un número considerable de problemas con los que una persona se enfrenta y de los cuales se deben deducir ciertos datos para poder resolverlos. Generalmente la forma en que las personas

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

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

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

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

Estructuras Algebraicas

Estructuras Algebraicas Tema 1 Estructuras Algebraicas Definición 1 Sea A un conjunto no vacío Una operación binaria (u operación interna) en A es una aplicación : A A A Es decir, tenemos una regla que a cada par de elementos

Más detalles

Pregunta 1 Es correcta esta definición? Por qué?

Pregunta 1 Es correcta esta definición? Por qué? TEORÍA DE CONJUNTOS. En un libro de COU de 1975 puede leerse la siguiente definición de conjunto: Un conjunto es una colección de objetos, cualquiera que sea su naturaleza. Pregunta 1 Es correcta esta

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

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

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

Algoritmos y programas. Algoritmos y Estructuras de Datos I

Algoritmos y programas. Algoritmos y Estructuras de Datos I Algoritmos y programas Algoritmos y Estructuras de Datos I Primer cuatrimestre de 2012 Departamento de Computación - FCEyN - UBA Programación funcional - clase 1 Funciones Simples - Recursión - Tipos de

Más detalles

Proposicional. Curso Mari Carmen Suárez de Figueroa Baonza

Proposicional. Curso Mari Carmen Suárez de Figueroa Baonza Semántica Proposicional Curso 2014 2015 Mari Carmen Suárez de Figueroa Baonza mcsuarez@fi.upm.es Contenidos Introducción Interpretación de FBFs proposicionales Validez Satisfacibilidad Validez y Satisfacibilidad

Más detalles

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

CAPÍTULO 2 NOCIONES BÁSICAS DE TEORÍA DE CONJUNTOS

CAPÍTULO 2 NOCIONES BÁSICAS DE TEORÍA DE CONJUNTOS CAPÍTULO 2 NOCIONES BÁSICAS DE TEORÍA DE CONJUNTOS 2.1. NOCIONES PRIMITIVAS Consideraremos tres nociones primitivas: Conjunto, Elemento y Pertenencia. Conjunto Podemos entender al conjunto como, colección,

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

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

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

ÁLGEBRA DE BOOLE. 1.- Postulados de HUNTINGTON

ÁLGEBRA DE BOOLE. 1.- Postulados de HUNTINGTON ÁLGEBRA DE BOOLE El Algebra de Boole es importante pues permite representar matemáticamente el funcionamiento de los circuitos digitales. Los circuitos digitales son capaces de permanecer en 2 estados,

Más detalles

Tema 9: Cálculo Deductivo

Tema 9: Cálculo Deductivo Facultad de Informática Grado en Ingeniería Informática Lógica PARTE 2: LÓGICA DE PRIMER ORDEN Tema 9: Cálculo Deductivo Profesor: Javier Bajo jbajo@fi.upm.es Madrid, España 24/10/2012 Introducción a la

Más detalles

Lógica, conjuntos, relaciones y funciones

Lógica, conjuntos, relaciones y funciones Lógica, conjuntos, relaciones y funciones Álvaro Pérez Raposo Universidad Autónoma de San Luis Potosí Universidad Politécnica de Madrid Publicaciones Electrónicas Sociedad Matemática Mexicana A la memoria

Más detalles

1. Números reales. Análisis de Variable Real

1. Números reales. Análisis de Variable Real 1. Números reales Análisis de Variable Real 2014 2015 Índice 1. Sistemas numéricos 2 1.1. Números naturales. Principio de Inducción... 2 1.2. Números enteros... 4 1.3. Números racionales... 6 2. Los números

Más detalles

Espacios Vectoriales Asturias: Red de Universidades Virtuales Iberoamericanas 1

Espacios Vectoriales Asturias: Red de Universidades Virtuales Iberoamericanas 1 Espacios Vectoriales 201 6Asturias: Red de Universidades Virtuales Iberoamericanas 1 Índice 1 Espacios Vectoriales... 4 1.1 Definición de espacio vectorial... 4 1.2 Definición de subespacio vectorial...

Más detalles

UNIDAD 4. Álgebra Booleana

UNIDAD 4. Álgebra Booleana UNIDAD 4 Álgebra Booleana ÁLGEBRA BOOLEANA El Álgebra Booleana se define como una retícula: Complementada: existe un elemento mínimo 0 y un elemento máximo I de tal forma que si a esta en la retícula,

Más detalles

Álgebra de Boole. Adición booleana. Multiplicación booleana. Escuela Politécnica Superior

Álgebra de Boole. Adición booleana. Multiplicación booleana. Escuela Politécnica Superior Álgebra de Boole El Álgebra de Boole es una forma muy adecuada para expresar y analizar las operaciones de los circuitos lógicos. Se puede considerar las matemáticas de los sistemas digitales. Operaciones

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

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

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

BLOQUE 1. LOS NÚMEROS

BLOQUE 1. LOS NÚMEROS BLOQUE 1. LOS NÚMEROS Números naturales, enteros y racionales. El número real. Intervalos. Valor absoluto. Tanto el Cálculo como el Álgebra que estudiaremos en esta asignatura, descansan en los números

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

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

Algebra lineal y conjuntos convexos

Algebra lineal y conjuntos convexos Apéndice A Algebra lineal y conjuntos convexos El método simplex que se describirá en el Tema 2 es de naturaleza algebraica y consiste en calcular soluciones de sistemas de ecuaciones lineales y determinar

Más detalles

El conjunto de las operaciones de simetría que se pueden aplicar a una molécula tienen las propiedades de un grupo matemático.

El conjunto de las operaciones de simetría que se pueden aplicar a una molécula tienen las propiedades de un grupo matemático. TEORIA DE GRUPOS El conjunto de las operaciones de simetría que se pueden aplicar a una molécula tienen las propiedades de un grupo matemático. Propiedades de un grupo Existe un operador identidad (E)

Más detalles

Notas de Álgebra y Matemática Discreta

Notas de Álgebra y Matemática Discreta Libros de Cátedra Notas de Álgebra y Matemática Discreta Liliana Alcón FACULTAD DE CIENCIAS EXACTAS NOTAS DE ÁLGEBRA Y MATEMÁTICA DISCRETA Liliana Alcón 2014 Alcón, Liliana Notas de algebra y matemática

Más detalles

IIC2213. IIC2213 Teorías 1 / 42

IIC2213. IIC2213 Teorías 1 / 42 Teorías IIC2213 IIC2213 Teorías 1 / 42 Qué es una teoría? Una teoría es un cúmulo de información. Debe estar libre de contradicciones. Debe ser cerrada con respecto a lo que se puede deducir de ella. Inicialmente

Más detalles

Tema 2. Fundamentos de la Teoría de Lenguajes Formales

Tema 2. Fundamentos de la Teoría de Lenguajes Formales Departamento de Tecnologías de la Información Tema 2. Fundamentos de la Teoría de Lenguajes Formales Ciencias de la Computación e Inteligencia Artificial Índice 2.1. Alfabeto 2.2. Palabra 2.3. Operaciones

Más detalles

CAPÍTULO II TEORÍA DE CONJUNTOS

CAPÍTULO II TEORÍA DE CONJUNTOS TEORÍ DE ONJUNTOS 25 PÍTULO II TEORÍ DE ONJUNTOS 2.2 INTRODUIÓN Denotaremos los conjuntos con letras mayúsculas y sus elementos con letras minúsculas, si un elemento p pertenece a un conjunto escribiremos

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

Anillo de polinomios con coeficientes en un cuerpo

Anillo de polinomios con coeficientes en un cuerpo Capítulo 2 Anillo de polinomios con coeficientes en un cuerpo En el conjunto Z se ha visto cómo la relación ser congruente módulo m para un entero m > 1, es compatible con las operaciones suma y producto.

Más detalles