RAZONAMIENTO MATEMÁTICO
|
|
- María del Rosario Valenzuela Ramírez
- hace 7 años
- Vistas:
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 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 detallesLógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012
Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa
Más detallesCoordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos
Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo Complementos Contenidos Clase 1: Elementos de lógica: Conectivos, tablas de verdad, tautologías y contingencias.
Más detallesIntroducción a la Lógica
Tema 0 Introducción a la Lógica En cualquier disciplina científica se necesita distinguir entre argumentos válidos y no válidos. Para ello, se utilizan, a menudo sin saberlo, las reglas de la lógica. Aquí
Más detallesCapítulo 4. Lógica matemática. Continuar
Capítulo 4. Lógica matemática Continuar Introducción La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un teorema es falso o verdadero, además
Más detallesAmpliació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 detallesREGLAS 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 detallesTema 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 detallesINTRODUCCION 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 detallesRAZONAMIENTO LÓGICO LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO. La lógica se puede clasificar como:
La lógica se puede clasificar como: 1. Lógica tradicional o no formal. 2. Lógica simbólica o formal. En la lógica tradicional o no formal se consideran procesos psicológicos del pensamiento y los métodos
Más detallesMATEMÁTICAS BÁSICAS. 23 de febrero de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS
23 de febrero de 2009 Parte I Lógica Proposiciones Considere las siguientes frases Páseme el lápiz. 2 + 3 = 5 1 2 + 1 3 = 2 5 Qué hora es? En Bogotá todos los días llueve Yo estoy mintiendo Maradona fue
Más detallesALGEBRA 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 detallesMatemá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 detallesLICENCIATURA 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 detallesSOBRE 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 detallesMaterial diseñado para los estudiantes del NUTULA, alumnos del profesor Álvaro Moreno.01/10/2010 Lógica Proposicional
Lógica Proposicional INTRODUCCIÓN El humano se comunica con sus semejantes a través de un lenguaje determinado (oral, simbólico, escrito, etc.) construido por frases y oraciones. Estas pueden tener diferentes
Más detallesCapítulo 1 Lógica Proposicional
Capítulo 1 Lógica Proposicional 1.1 Introducción El ser humano, a través de su vida diaria, se comunica con sus semejantes a través de un lenguaje determinado (oral, escrito, etc.) por medio de frases
Más detallesLó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 detallesInteligencia 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 detallesencontramos dos enunciados. El primero (p) nos afirma que Pitágoras era griego y el segundo (q) que Pitágoras era geómetra.
Álgebra proposicional Introducción El ser humano, a través de su vida diaria, se comunica con sus semejantes a través de un lenguaje determinado (oral, escrito, etc.) por medio de frases u oraciones. Estas
Más detallesBenemé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 detallesLÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA
LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA La lógica formal o simbólica, a diferencia de la lógica clásica, utiliza un lenguaje artificial, es decir, está rigurosamente construido, no admite cambios en el
Más detallesCálculo Proposicional
Universidad Técnica ederico Santa María Departamento de Informática undamentos de Informática 1 Cálculo Proposicional Dr. Gonzalo Hernández Oliva Dr. Gonzalo Hernández USM I-1 Cálculo Proposicional 1 1)
Más detallesFunciones 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 detallesTEMAS 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 detallesRAZONAMIENTO 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 detallesISSN 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 detallesEjercicios de Lógica Proposicional *
Ejercicios de Lógica Proposicional * FernandoRVelazquezQ@gmail.com Notación. El lenguaje proposicional que hemos definido, aquel que utiliza los cinco conectivos,,, y, se denota como L {,,,, }. Los términos
Más detallesTEMA 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 detallesANOTACIONES BÁSICAS SOBRE LÓGICA PROPOSICIONAL FILOSOFÍA 1º BACHILLERATO
Pág. 1 Lógica Proposicional La lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una representación primitiva del lenguaje, permite representar y manipular aserciones
Más detallesConjuntos, 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 detalles2. 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 detallesIntrod. 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 detallesMatemá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 detallesTema 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 detallesAPENDICE 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 detallesLó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 detallesJohn 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 detallesMatemá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 detallesForma lógica de enunciados
Forma lógica de enunciados Marisol Miguel Cárdenas Lenguaje natural y lenguaje formal El lenguaje natural es aquel que utilizamos cotidianamente. Surge históricamente dentro de la sociedad y es aprendido
Más detallesCIRCUITOS 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 detallesESTRUCTURA 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 detallesCapí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 detallesOperaciones 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 detallesMatemá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 detallesTaller 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 detallesSemana02[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 detallesMá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 detallesELEMENTOS 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 detallesInducció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 detallesMé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 detallesLos 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 detallesNo ~ Si entonces Sí y sólo si
Principios de lógica. Principios de la lógica y o Objetivo general Establecer el valor de verdad de muchos de los enunciados lógicos, utilizando las leyes de la lógica y las de las inferencias, ya sea
Más detalles1.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 detallesINTRODUCCION 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 detallesRESPUESTAS 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 detallesLa Lógica estudia la forma del razonamiento. La Lógica Matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la
LÓGICA MATEMÁTICA OBJETIVOS Definirás proposición simple. Definirás proposiciones compuestas: Disyunción y conjunción. Relacionarás dichas proposiciones con las operaciones de conjuntos: unión e intersección.
Más detallesTEMA 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 detallesResumen 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 detalles10.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 detallesMatemáticas Discretas. Oscar Bedoya
Matemáticas Discretas Oscar Bedoya oscar.bedoya@correounivalle.edu.co http://eisc.univalle.edu.co/~oscarbed/md/ * Lógica proposicional * Concepto de proposición * Valores de verdad * Operadores lógicos
Más detallesLó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 detallesUNIVERSIDAD 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 detallesLó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 detallesLó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 detallesL 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 detallesEstructuras 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 detallesPregunta 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 detallesMATEMÁTICA 1 JRC El futuro pertenece a aquellos que creen en la belleza de sus sueños
MATEMÁTICA 1 JRC LÓGICA Es la ciencia formal que estudia los principios y procedimientos que permiten demostrar la validez o invalidez de una inferencia, es decir, reconocer entre un razonamiento correcto
Más detallesUniversidad 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 detallesMATERIAL 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 detallesAlgoritmos 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 detallesProposicional. Curso Mari Carmen Suárez de Figueroa Baonza
Semántica Proposicional Curso 2014 2015 Mari Carmen Suárez de Figueroa Baonza mcsuarez@fi.upm.es Contenidos Introducción Interpretación de FBFs proposicionales Validez Satisfacibilidad Validez y Satisfacibilidad
Más detallesUna 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 detallesCAPÍ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 detallesIntroducció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 detallesFacultad 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 detallesEn 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 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 detallesTema 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 detallesLó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 detalles1. 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 detallesEspacios 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 detallesUNIDAD 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 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 detallesEn 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 detallesTó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 detallesINTRODUCCIÓ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 detallesCURSO 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 detallesBLOQUE 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 detallesSESIÓ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 detallesApuntes 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 detallesAlgebra 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 detallesEl 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 detallesNotas 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 detallesIIC2213. 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 detallesTema 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 detallesCAPÍ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 detallesAsignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional
Asignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional 1. Responda las siguientes preguntas: a) Qué es un lenguaje formal? b) Qué es lenguaje matemático? c)
Más detallesAnillo 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