Capítulo 8: Sistemas completos de contectivos

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

Download "Capítulo 8: Sistemas completos de contectivos"

Transcripción

1 Capítulo 8: Sistemas completos de contectivos por G 3 Agosto 2014 Resumen Un conectivo de aridad n, es una función que asigna un valor de verdad a un conjuntos de n proposiciones ordenadas Mostramos que hay 2 2n conectivos de aridad n Mostramos además que existen conjuntos de conectivos (mínimos) de los cuales pueden construirse el resto 1 Conectivos unarios y binarios Los conectivos lógicos que hemos estudiado con detalle hasta ahora son,,,,, y, los cuales conocemos, respectivamente, como: negación, doble negación (o identidad), conjunción, disyunción, disyunción excluyente (o diferencia simétrica), implicación y doble implicación Estos son los conectivos más usuales Pero no son los únicos Definimos, por ejemplo, la barra de Sheffer, como el conectivo, (o también ) determinado por la tabla de valores de verdad dada por p q p q V V F V F V F V V F F V (1) 1

2 Es decir, la proposición p q es F si, y sólo si, ambas p y q son V Entonces leemos p q como p es incompatible con q Es fácil comprobar que p q (p q) Por lo que la barra de Sheffer es también denominada como NAND, es decir, no and Definimos, en contraparte, el funtor de Peirce, como el conectivo, determinado por la tabla de valores de verdad dada por p q p q V V F V F F F V F F F V (2) Es decir, la proposición p q es V si, y sólo si, ambas p y q son F Por lo tanto, leemos p q como ni p ni q Es también fácil comprobar que p q (p q) Por lo que el funtor de Peirce es también denominado como NOR, es decir, no or Nos preguntamos entonces: Cuántos conectivos hay? Vayamos por partes Primero, distinguimos dos tipos de conectivos: los conectivos unarios y los binarios Un conectivo es unario cuando produce una proposición a partir de una sola proposición Un conectivo es binario cuando produce una proposición a partir de dos proposiciones Por ejemplo, y son unarios La doble negación es el conectivo identidad puesto que p p, para toda proposición p Y por otra parte,,,, y son conectivos binarios Aún no sabemos cuántos conectivos unarios y binarios hay Explicamos en seguida cómo vamos a contarlos 2

3 Consideremos cualquier conectivo unario en particular Usemos el símbolo para denotarlo Si p es una proposición, entonces p quedará determinado por una tabla de valores de verdad del siguiente tipo: p p V? F? (3) En esta tabla, los signos de interrogación? son ocupados por cualquiera de las letras V o F, según como esté determinado Por ejemplo, los conectivos y están determinados por las tablas p p p p V F y V V F V F F En general, cualquier conectivo unario, estará determinado por el valor de verdad, V o F, asignado en el lugar del símbolo? en cada uno de los dos renglones de la tabla (3) Por lo tanto, hay tantos conectivos unarios como tablas del tipo (3), donde los signos? son ocupados por cualquiera de las letras V o F Así que nos preguntamos, cuántas tablas de esta forma hay? Pues bien, el signo? de cada uno de los dos renglones de la tabla (3), puede ser ocupado por cualquiera de los dos símbolos V o F Así que debe haber 2 2 = 4 formas posibles de construir una tabla del tipo (3), donde los signos? son ocupados por cualquiera de las letras V o F En consecuencia, hay solo 4 conectivos unarios Específicamente, en la tabla siguiente, enlistamos todos los conectivos unarios posibles Denotaremos tales conectivos como 1, 2, 3 y 4 p 1 p 2 p 3 p 4 p V F F V V F F V F V (4) Ahora bien, en cuanto a la cantidad de conectivos binarios podemos proceder de modo análogo 3

4 En efecto, note que si es cualquier conectivo binario, éste tendrá que estar determinado por una tabla de valores de verdad del tipo p q p q V V? V F? F V? F F? (5) para cualquier par de proposiciones p y q, y en donde los signos? de cada renglón están ocupados por alguno de los valores V o F Luego, el número de conectivos binarios corresponde al número de tablas del tipo (5), que puedan formarse, tal que en cada renglón, el signo? sea ocupado por alguno de las letras V y F Pues bien, en cada uno de los 4 renglones de la tabla (5), el signo? puede ser ocupado por cualquiera de las 2 letras V o F Por tanto hay = 16 formas posibles de construir una tabla del tipo (5), al que en cada renglón, el signo? sea ocupado por alguno de las letras V y F En consecuencia, hay 16 conectivos binarios Exhaustivamente, si sólo asignamos un número para representar cada uno de los 16 conectivos, podemos enlistarlos en la tabla siguiente: VV F F F F V V V V F F F F V V V V VF F F F V F V F F V V F V F V V V FV F F V F F F V F V F V V V F V V FF F V F F F F F V F V V V V V F V (6) En la página siguiente mostramos en forma de diagrama la lista anterior, interpretada de forma conjuntista 4

5 Figure 1: Los 16 conectivos binarios Imagen tomada del artículo: Simetría y lógica, de M García, J F Gómez y A Oostra Liga 5

6 Por último queremos remarcar un hecho sencillo pero relevante Note que los renglones de la tabla (5) corresponden a cada una de las parejas ordenadas VV, VF, FV, FF De manera que el número de renglones corresponde al número de elementos del producto cartesiano {V,F} 2 = {VV, VF, FV, FF} En otras palabras, el número de renglones de la tabla (5), corresponde al número de todos los arreglos de tamaño 2, con repetición incluso, de las letras V y F, tomadas una a una en orden Por otra parte, es cierto que cualquier conectivo binario puede interpretarse como una función de dos variables, cada una de ellas perteneciente al espacio de todas las proposiciones, y cuyo contradominio es este mismo espacio Pero lo que importa de cualquier proposición es su valor de verdad, y éste es uno de entre únicamnete dos valores: V o F Así que cuelquier conectivo binario puede entenderse como una función del conjunto {V,F} 2 al conjunto {V, F } La regla de correspondencia de está determinada justamente por su tabla de valores de verdad Del mismo modo, cualquier conectivo unario, puede entenderse como una función del conjunto {V,F} en sí mismo 2 Conectivos de aridad n La lista de conectivos no se agota únicamente en los tipos unarios y binarios Definición 1 Un conectivo (lógico proposicional) de aridad n, es una función que asigna un valor de verdad a n proposiciones ordenadas Los conectivos unarios son precisamente todos los conectivos de aridad n = 1, y los binarios los de aridad n = 2 Hay entonces 4 = 2 21 conectivos de aridad 1, y hay 16 = 2 22 conectivos de aridad 2 6

7 En general, cuántos conectivos de aridad n hay? Proposición 1 Hay 2 2n conectivos de aridad n Demostración Sea (n) cualquier conectivo de aridad n Sean p 1,,p n, proposiciones Escribimos (n) (p 1,, p n ) como la proposición resultante de aplicar el conectivo (n) a las proposiciones p 1,,p n Note entonces que la tabla de (n) (p 1,, p n ) tiene 2 n renglones p 1 p 2 p n 1 p n (n) (p 1,, p n ) V V V V? V V V F? V V F V? V V F F? F F F F? En efecto, cada renglón de la tabla de (n) (p 1,, p n ) corresponde a un arreglo de tamaño n, con repetición incluso, de las letras V y F, dispuestas una a una en orden Y cada lugar de un arreglo de tamaño n, puede ser ocuapado por cualquiera de las dos letras V o F Así que el número de renglones es 2 } 2 {{ 2} = 2 n n-veces Note que cada renglón corresponde a cada arreglo ordenado de tamaño n del producto cartesiano {V,F} n = {V,F} {V,F} {V,F} }{{} n-veces El número de renglones de la tabla de (n) (p 1,, p n ) corresponde así al número de elementos que tiene el conjunto {V,F} n Ahora bien, note que cada renglón de la tabla de (n) (p 1,, p n ) está asociado a uno de los dos únicos valores de verdad: V o F En conclusión, cualquier conectivo de aridad n, tiene una tabla de 2 n renglones, cada uno de los cuales tiene asignado un único valor de verdad de entre dos valores: V o F 7

8 Por lo tanto, el número de tablas con estas características, y por ende el número de conectivos de aridad n, es igual a 2 } 2 {{ 2} = 2 2n 2 n -veces Ejemplo 1 Definimos el conectivo de aridad 3, tal que para cualesquiera proposiciones p, q y r, el valor de verdad de (p, q, r) está dado por la tabla p q r (p, q, r) V V V F V V F F V F V F V F F F F V V V F V F F F F V V F F F V Note que (p, q, r) ( p) (q r) Ejemplo 2 Definimos la disyunción de aridad 3 como el conectivo, tal que para cualesquiera proposiciones p, q y r, el valor de verdad de (p, q, r) está dado por la tabla p q r (p, q, r) V V V V V V F V V F V V V F F V F V V V F V F V F F V V F F F F Note que (p, q, r) p q r 8

9 Del mismo modo podemos definir la conjunción de aridad 3, mediante la equivalencia (p, q, r) p q r En general, si p 1,,p n son proposiciones, definimos la disyunción de aridad n, con la equivalencia (p1, p 2,, p n ) p 1 p 2 p n Y definimos la conjunción de aridad n con la equivalencia (p1, p 2,, p n ) p 1 p 2 p n También es usual la notación n p i y i=1 i=1 n p i Motivados por los ejemplos anteriores (y muchos similares que el lector puede hacer por sí mismo), nos preguntamos si es posible construir cualquier conectivo de aridad n 2, a partir de los conectivos unarios y binarios La respuesta es afirmativa La prueba de ello será más clara después de estudiar la sección siguiente 3 Sistemas completos de conectivos para el conjunto de conectivos unarios y binarios Partimos de la siguiente observación: Sean p y q proposiciones, entonces p ( p) ( p) p [( p) ( p)] p q (p q) p q (p q) (q p) [ (p q)] [ (q p)] p q (p q) ([ (p q)] [ (q p)]) p q ( p q) 9

10 Así que todos los conectivos usuales pueden escribirse en términos (lógicamente) equivalentes de y Será entonces posible que todos los conectivos binarios pueden expresarse en términos equivalentes de los conectivos y? La respuesta es afirmativa Teorema 1 Cualquier contectivo unario o binario es lógicamente equivalente a una expresión que está escrita en términos únicamente de los conectivos y Demostración Siguiendo la notación dada antes en la tabla (4), si p es una proposición, note entonces que 1 p p p 2 p p (p p) 3 p p ( p p) 4 p p p ( p p) Por lo tanto, todo conectivo unario es lógicamente equivalente a una expresión que está escrita en términos de y Sean p, q proposiciones Consideremos las proposiciones r 0 (p p) q, r 1 p q r 2 p q r 3 p q r 4 p q Note que r 0 es un absurdo Las tablas de las restantes proposiciones son p q p q p q p q p q V V V V V V F F F F V F F F V F V F F V V V F F F F F V F V V F V F F F V V V V F F F F F F F F F V F F V V V V Notamos que la tabla de r i solo tiene V en el renglón i, con i = 1, 2, 3, 4 10

11 Supongamos que es un conectivo binario La tabla de p q tiene 4 renglones Hay entonces únicamente las situaciones siguientes: Caso 0 p q es absurdo (conectivo 1 de la tabla (6)) En tal caso, p q r 0 Caso 1 La tabla de p q tiene solo un valor V (conectivos 2-5 de la tabla (6)) Si éste está en el renglón i, con i {1, 2, 3, 4}, entonces p q r i Caso 2 La tabla de p q tiene únicamente dos valores V (conectivos 6-11 de la tabla (6)) Si éstos están en los renglones i y j (i, j {1, 2, 3, 4}, i j), entonces p q r i r j ( r i r j ) Caso 3 La tabla de p q tiene tres valores de verdad (conectivos de la tabla (6)) Si éstos están en los renglones i, j y k (i, j, k {1, 2, 3, 4}, i j k i), entonces p q r i r j r k ( r i r j r k ) Caso 4 p q es tautología (conectivo 16 de la tabla (6)) En tal caso, p q r 1 r 2 r 3 r 4 ( r 1 r 2 r 3 r 4 ) Así que cualquiera que sea la tabla, p q puede escribirse en términos lógicamente equivalentes de y Decimos por tanto que el conjunto de conectivos y es un sistema completo (o suficiente) de conectivos, para el conjunto de conectivos unarios y binarios Surgen algunas preguntas: 1 Existen otros conectivos que formen un sistema completo para los conectivos unarios y binarios? 2 Cuál es el número mínimo de conectivos necesarios para formar un sistema completo de conectivos, para los conectivos unarios y binarios? 11

12 Desde luego, la pregunta 1 tiene obvia respuesta afirmativa Corolario 1 Los conectivos y forman también un sistema completo de conectivos para el conjunto de conectivos unarios y binarios Demostración Para cualesquiera p y q proposiciones, p q (p ( q)) (p q) Es decir, el conectivo puede describirse en términos equivalentes de y Luego, dado que cualquier conectivo unario y binario, puede escribirse en términos equivalentes de y, sucede también que puede escribirse en términos equivalentes de y Vayamos más despacio con la segunda pregunta Ya sabemos que los conjuntos de pares de conectivos,, y, conforman sistemas completos de conectivos de tamaño dos, para el conjunto de conectivos unarios y binarios La pregunta 2 es, en específico, si existe un sistema completo de conectivos que conste de un solo conectivo Podemos dar una primera respuesta parcial Proposición 2 Ningún conectivo unario forma por sí mismo un sistema completo de conectivos, para el conjunto de conectivos unarios Demostración Supongamos que alguno de los conectivos unarios de la tabla (4) forma por sí mismo un sistema completo para el conjunto de los conectivos unarios Denotemos como dicho conectivo Entonces en particular, para cualquier proposición p, 1 p p 4 p (7) Pero 1 p es un absurdo y 4 p una tautología Así que la equivalencia (7) es imposible Luego, no existe ningún conectivo unario el cual forma por sí mismo un sistema completo de conectivos, para el conjunto de conectivos unarios De manera que si existiera un sistema completo de conectivos para el conjunto de conectivos unarios y binarios, que conste de un sólo conectivo, éste no es unario 12

13 Será entonces que existe un conectivo binario que forme por sí mismo un sistema completo de conectivos para el conjunto de conectivos unarios y binarios? Podemos descartar algún candidato Proposición 3 El conectivo no es un sistema completo para el conjunto de conectivos unarios, ni para el conjunto de conectivos binarios Demostración Supongamos que es por sí mismo un sistema completo de conectivos para el conjunto de conectivos unarios Para cualquier proposición p, esperamos entonces obtener p, mediante la proposición p y aplicaciones sucesivas del conectivo Algo que podemos representar genéricamente como la fórmula (p p) 1 Pero recordemos que p p es una tautología, y que si T es una tautología, entonces p T es tautología y T p p Esto es, a partir de y una proposición p, solo podemos obtener tautologías o bien proposiciones equivalentes a p Nunca podemos obtener p Ahora veamos que no puede ser por sí mismo un sistema completo de conectivos para el conjunto de conectivos binarios Supongamos que lo es Entonces, en particular, si denotamos como 1 al conectivo definido como F en todos los renglones de su tabla (el conectivo 1 de la tabla (6)), debemos ser capaces de escribir 1 a partir únicamente de Lo que a su vez significa, particularmente, que para cualquier proposición p, el absurdo p 1 p es equivalente a una proposición escrita en términos de y p Pero ya vimos que a partir de y una proposición p, solo podemos obtener tautologías o bien proposiciones equivalentes a p No es posible obtener el absurdo 1 a partir de 1 Queremos decir que el proceso de aplicar sucesivamente el conectivo a una sola proposición p, es finito, por lo que deberemos tener en algún momento la expresión p p Descartamos con ello fórmulas infinitas tales como p (p (p ( ))) Ello tiene una justificación rigurosa, a partir de reglas sictácticas previamente establecidas, pero no queremos aquí entrar en detalles que resultarían muy largos y engorrosos 13

14 Es fácil también descartar los conectivos 1 y 16 de la tabla (??) De hecho, podríamos continuar analizando caso por caso O bien, podemos tratar de responder la pregunta: Qué debe cumplir un conectivo binario para ser por sí mismo un sistema completo de conectivos para los conjuntos de conectivos unarios y binarios? Vayamos por partes Proposición 4 Cualquier sistema completo de conectivos para el conjunto de conectivos binarios, es también completo para el conjunto de conectivos unarios De modo que si existe un sistema completo de conetivos con un único conectivo, de éste debemos obtener Supongamos por el momento que es un conectivo binario el cual es por sí mismo un sistema completo de conectivos Para cualquier proposición p existe una fórmula (p p) (8) la cual es equivalente a p Analizamos dos únicos casos: Supongamos que p es V Entonces p es F Es decir, (8) es F Dede suceder por lo tanto que p p es F, de lo contrario, jamás podríamos obtener F de (8) Con esto obtenemos el primer renglón de la tabla de p q: p q p q V V F V F? F V? F F? Supongamos que p es F Con un argumento análogo concluimos que p p es V Con lo que obtenemos el cuarto renglón de la tabla de p q: p q p q V V F V F? F V? F F V 14

15 Ahora analizamos qué sucede con el tercer renglón Nuevamente analizamos dos casos: Supongamos que el segundo renglón es V Esto es, supongamos que si p es V y q es F, entonces p q es V Hay que ver qué sucede con el tercer renglón Si el tercer reglón fuera F, obtendríamos la tabla p q p q V V F V F V F V F F F V En tal caso note entoces que p q q Pero ya vimos que es imposible que (que es un conectivo unario) pueda ser por sí mismo un sistema completo de conectivos Así que no queda de otra más que el tercer renglón de la tabla de p q sea V Con lo cual obtenemos la tabla p q p q V V F V F V F V V F F V Note que esta es la tabla de la barra de Sheffer (1) Como segundo caso, supongamos que el segundo renglón de la tabla de p q es F Nuevamente hay que ver qué sucede con el tercer renglón Si éste fuera V, entonces obtendríamos la tabla p q p q V V F V F F F V V F F V En cuyo caso, note que p q p Pero ya vimos que es imposible que (que es un conectivo unario) pueda ser por sí mismo un sistema completo de 15

16 conectivos Así que no queda más que el tercer renglón sea F Con lo cual obtenemos la tabla p q p q V V F V F F F V F F F V Note que esta es la tabla del funtor de Peirce (2) Hemos demostrado así que, si es que existe algún conectivo binario que sea por sí mismo un sistema completo de conectivos para los conjuntos de conectivos unarios y binarios, éste es la barra de Scheffer o bien el funtor de Peirce Teorema 2 La barra de Scheffer y el funtor de Peirce, son los únicos sistemas de conectivos binarios que conforman, por sí mismos, un sistema completo de conectivos para los conjuntos de conectivos unarios y binarios Demostración Ya hemos hecho casi todo el trabajo Lo único que debemos comprobar es que y son por sí mismos completos Note primero que para cualesquiera proposiciones p y q, p (p p) p p, y también p q (p q) (p q) (p q) (p q) Así que la barra de Scheffer es un sistema completo de conectivos Análogamente, p (p p) p p Y también p q ( p q) [(p p) (q q)] (p p) (q q) Por lo tanto, el funtor de Peirce es un sistema completo de conectivos 16

17 4 Sistemas completos de conectivos para el conjunto de conectivos de aridad n Teorema 3 Cualquier conectivo de aridad n puede escribirse en términos equivalentes a una expresión que contiene únicamente los conectivos y Demostración Con la finalidad de ilustrar una prueba sencilla, haremos únicamente el caso n = 3 El lector debería intuir cómo es la prueba para cuaquier n Se trata simplemente de extender la prueba hecha para el caso n = 2 Pues bien, note en primer lugar que cualquier conectivo de aridad 3 tiene una tabla de 2 3 = 8 renglones Sea cualquier conectivo de aridad 3 Sean p, q y r proposiciones Definimos las proposiciones s 0 (p p) q r s 1 p q r s 2 p q r s 3 p q r s 4 p q r s 5 p q r s 6 p q r s 7 p q r s 8 p q r Note que s 0 es un absurdo Es fácil también notar que para cada 1 i 8, la tabla de la proposición s i tiene F en todos los renglones, salvo el i-ésimo, que es V De modo que si (p, q, r) es un absurdo, entonces (p, q, r) s 0 En otro caso, la tabla de (p, q, r) tienen únicamente k renglones con V, para algún 1 k n Digamos que se trata de los renglones i 1, i 2,, i k, ordenados sucesivamente, o sea, i 1 < i 2 < < i k Por consiguiente, (p, q, r) s i1 s i2 s ik ( s i1 s i2 s ik ) 17

18 Concluimos que los conectivos binarios constituyen el sistema de conectivos realmente importante Cualquier otro conectivo de aridad n, puede obtenerse combinando los conectivos binarios Esta es la razón por la que en lógica proposicional solo trabajamos con unos cuantos conectivos binarios 18

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

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

Semana05[1/14] Relaciones. 28 de marzo de Relaciones

Semana05[1/14] Relaciones. 28 de marzo de Relaciones Semana05[1/14] 28 de marzo de 2007 Introducción Semana05[2/14] Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados un par de conjuntos no vacíos A y B, llamaremos relación

Más detalles

Terminaremos el capítulo con una breve referencia a la teoría de cardinales.

Terminaremos el capítulo con una breve referencia a la teoría de cardinales. TEMA 5. CARDINALES 241 Tema 5. Cardinales Terminaremos el capítulo con una breve referencia a la teoría de cardinales. Definición A.5.1. Diremos que el conjunto X tiene el mismo cardinal que el conjunto

Más detalles

Semana03[1/17] Funciones. 16 de marzo de Funciones

Semana03[1/17] Funciones. 16 de marzo de Funciones Semana03[1/17] 16 de marzo de 2007 Introducción Semana03[2/17] Ya que conocemos el producto cartesiano A B entre dos conjuntos A y B, podemos definir entre ellos algún tipo de correspondencia. Es decir,

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

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

Tema 2: Teorema de estructura de los grupos abelianos finitamente generados.

Tema 2: Teorema de estructura de los grupos abelianos finitamente generados. ESTRUCTURAS ALGEBRAICAS GRADO EN MATEMÁTICAS. CURSO 215/216 Tema 2: Teorema de estructura de los grupos abelianos finitamente generados. 1.1. Grupo abeliano libre. Bases. Definición 1.1. El grupo Z n con

Más detalles

ALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.

ALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción 1 La lógica es

Más detalles

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

Recordemos que utilizaremos, como es habitual, la siguiente notación para algunos conjuntos de números que son básicos.

Recordemos que utilizaremos, como es habitual, la siguiente notación para algunos conjuntos de números que son básicos. Capítulo 1 Preliminares Vamos a ver en este primer capítulo de preliminares algunos conceptos, ideas y propiedades que serán muy útiles para el desarrollo de la asignatura. Se trata de resultados sobre

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

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

Espacios topológicos. 3.1 Espacio topológico

Espacios topológicos. 3.1 Espacio topológico Capítulo 3 Espacios topológicos 3.1 Espacio topológico Definición 3.1.1. Un espacio topológico es un par (X, τ), donde X es un conjunto, y τ es una familia de subconjuntos de X que verifica las siguientes

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

1.1. Los números reales

1.1. Los números reales 1.1. Los números reales El conjunto de los números reales está compuesto por todos los números racionales (Q) y todos los irracionales (I). Sin olvidar que los números racionales incluyen a los naturales

Más detalles

Funciones integrables en R n

Funciones integrables en R n Capítulo 1 Funciones integrables en R n Sean un subconjunto acotado de R n, y f : R una función acotada. Sea R = [a 1, b 1 ]... [a n, b n ] un rectángulo que contenga a. Siempre puede suponerse que f está

Más detalles

Sistemas de Ecuaciones Lineales y Matrices

Sistemas de Ecuaciones Lineales y Matrices Capítulo 4 Sistemas de Ecuaciones Lineales y Matrices El problema central del Álgebra Lineal es la resolución de ecuaciones lineales simultáneas Una ecuación lineal con n-incógnitas x 1, x 2,, x n es una

Más detalles

Es claro que es una relación de equivalencia. Para ver que tener la misma cardinalidad y la cardinalidad están bien definidas queremos ver que

Es claro que es una relación de equivalencia. Para ver que tener la misma cardinalidad y la cardinalidad están bien definidas queremos ver que Capítulo II Cardinalidad Finita II.1. Cardinalidad Definimos I n para n N como I n = {k N : 1 k n}. En particular I 0 =, puesto que 0 < 1. Esto es equivalente a la definición recursiva { si n = 0 I n =

Más detalles

Relaciones. Estructuras Discretas. Relaciones. Relaciones en un Conjunto. Propiedades de Relaciones en A Reflexividad

Relaciones. Estructuras Discretas. Relaciones. Relaciones en un Conjunto. Propiedades de Relaciones en A Reflexividad Estructuras Discretas Relaciones Definición: relación Relaciones Claudio Lobos, Jocelyn Simmonds clobos,jsimmond@inf.utfsm.cl Universidad Técnica Federico Santa María Estructuras Discretas INF 152 Sean

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

MATEMÁTICAS BÁSICAS. 2 de marzo de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS

MATEMÁTICAS BÁSICAS. 2 de marzo de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS 2 de marzo de 2009 Parte I Conjuntos Definición intuitiva de conjunto Definición Un conjunto es una colección de objetos. Ejemplos A = {a, e, i, o, u} B = {blanco, gris, negro} C = {2, 4, 6, 8, 9} D =

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

Límite superior y límite inferior de una sucesión

Límite superior y límite inferior de una sucesión Límite superior y límite inferior de una sucesión Objetivos. Definir las nociones de los límites superior e inferior de una sucesión y estudiar sus propiedades básicas. Requisitos. Supremo e ínfimo de

Más detalles

X = a 0 + a 1 m + a 2 m a r m r,

X = a 0 + a 1 m + a 2 m a r m r, EL NÚMERO NATURAL En este captulo vamos a introducir el concepto de número natural a partir de la Teoría de Conjuntos. Piaget demostró que el procedimiento que vamos a seguir para alcanzar el concepto

Más detalles

Conjuntos finitos y conjuntos numerables

Conjuntos finitos y conjuntos numerables Tema 3 Conjuntos finitos y conjuntos numerables En este tema vamos a usar los números naturales para contar los elementos de un conjunto, o dicho con mayor precisión, para definir los conjuntos finitos

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

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

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

Subconjuntos notables de un Espacio Topológico

Subconjuntos notables de un Espacio Topológico 34 Capítulo 4 Subconjuntos notables de un Espacio Topológico 4.1 Adherencia Definición 4.1.1 (Punto adherente). Sea (X, τ) un espacio topológico, y sea S un subconjunto de X. Diremos que x X es un punto

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

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

4.2. Funciones inyectivas, sobreyectivas y biyectivas

4.2. Funciones inyectivas, sobreyectivas y biyectivas 4.. Funciones inyectivas, sobreyectivas y biyectivas En esta sección estudiaremos tres conceptos básicos sobre funciones. 4... Funciones inyectivas Definición 4.. Sea f una función de en. Diremos que f

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

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

MATEMÁTICAS BÁSICAS. Autora: Jeanneth Galeano Peñaloza Edición: Oscar Guillermo Riaño

MATEMÁTICAS BÁSICAS. Autora: Jeanneth Galeano Peñaloza Edición: Oscar Guillermo Riaño MATEMÁTICAS BÁSICAS Autora: Jeanneth Galeano Peñaloza Edición: Oscar Guillermo Riaño Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá Enero de 2014 Universidad Nacional de Colombia

Más detalles

b) Sea una relación de equivalencia en A y una operación en A. Decimos que y son compatibles si a b a c b c y c a c b para todo a, b, c A

b) Sea una relación de equivalencia en A y una operación en A. Decimos que y son compatibles si a b a c b c y c a c b para todo a, b, c A APENDICE Relaciones y Operaciones Compatibles 1 Definición: a) Sea A un conjunto y una relación entre elementos de A. Decimos que es una relación de equivalencia si es: i Reflexiva: a A, a a. ii Simétrica:

Más detalles

SESIÓN N 07 III UNIDAD RELACIONES Y FUNCIONES

SESIÓN N 07 III UNIDAD RELACIONES Y FUNCIONES SESIÓN N 07 III UNIDAD RELACIONES Y FUNCIONES RELACIONES BINARIAS PAR ORDENADO Es un arreglo de dos elementos que tienen un orden determinado donde a es llamada al primera componente y b es llamada la

Más detalles

5 centenas + 2 decenas + 8 unidades, es decir: = 528

5 centenas + 2 decenas + 8 unidades, es decir: = 528 Sistemas de numeración Un sistema de numeración es un conjunto de símbolos y reglas que permiten representar datos numéricos. Los sistemas de numeración actuales son sistemas posicionales, que se caracterizan

Más detalles

Definición: Dos matrices A y B son iguales si tienen el mismo orden y coinciden los elementos que ocupan el mismo lugar.

Definición: Dos matrices A y B son iguales si tienen el mismo orden y coinciden los elementos que ocupan el mismo lugar. UNIDAD 03: MATRICES Y DETERMINANTES. 3.1 Conceptos de Matrices. 3.1.1 Definición de matriz. Definición: Se lama matriz de orden m x n a un arreglo rectangular de números dispuestos en m renglones y n columnas.

Más detalles

Integrales múltiples

Integrales múltiples ntegrales múltiples Cálculo (2003) El objetivo de este capítulo es definir y aprender a calcular integrales de funciones reales de varias variables, que llamamos integrales múltiples. Las motivación más

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

Sistemas de ecuaciones lineales

Sistemas de ecuaciones lineales Tema 1 Sistemas de ecuaciones lineales 11 Definiciones Sea K un cuerpo Una ECUACIÓN LINEAL CON COEFICIENTES EN K es una expresión del tipo a 1 x 1 + + a n x n = b, en la que n es un número natural y a

Más detalles

Teoremas de Convergencia

Teoremas de Convergencia Capítulo 24 Teoremas de Convergencia El teorema de la convergencia monótona (Lema 21.3) establece ciertas condiciones sobre una sucesión de funciones medibles para que se puedan permutar los símbolos y

Más detalles

TEST DE RAZONAMIENTO NUMÉRICO. Consejos generales

TEST DE RAZONAMIENTO NUMÉRICO. Consejos generales TEST DE RAZONAMIENTO NUMÉRICO Consejos generales 1 I. INTRODUCCIÓN En lo relativo a los cálculos de porcentajes, es fundamental tener en cuenta que los porcentajes, en realidad, son referencias abstractas,

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

Tema 2: El grupo de las permutaciones

Tema 2: El grupo de las permutaciones Tema 2: El grupo de las permutaciones Miguel Ángel Olalla Acosta miguelolalla@us.es Departamento de Álgebra Universidad de Sevilla Octubre de 2014 Olalla (Universidad de Sevilla) Tema 2: El grupo de las

Más detalles

(CR) Prof. Manuel López Mateos Curso de Cálculo I,

(CR) Prof. Manuel López Mateos Curso de Cálculo I, (página 81) CAPÍTULO 3 FUNCIONES REALES Función es dependencia. A velocidad fija, la distancia recorrida depende del tiempo transcurrido. El tiempo que tarda en caer una piedra depende de la altura que

Más detalles

Conjuntos. () April 4, / 32

Conjuntos. () April 4, / 32 Conjuntos En general, un conjunto A se de ne seleccionando los elementos de un cierto conjunto U de referencia (o universal) que cumplen una determinada propiedad. () April 4, 2014 1 / 32 Conjuntos En

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

Capítulo 6. Relaciones. Continuar

Capítulo 6. Relaciones. Continuar Capítulo 6. Relaciones Continuar Introducción Una relación es una correspondencia entre dos elementos de dos conjuntos con ciertas propiedades. En computación las relaciones se utilizan en base de datos,

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

Ecuaciones Diofánticas

Ecuaciones Diofánticas 2 Ecuaciones Diofánticas (c) 2011 leandromarin.com 1. Introducción Una ecuación diofántica es una ecuación con coeficientes enteros y de la que tenemos que calcular las soluciones enteras. En este tema

Más detalles

Autora: Jeanneth Galeano Peñaloza. 3 de febrero de Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 1/ 45

Autora: Jeanneth Galeano Peñaloza. 3 de febrero de Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 1/ 45 Autora: Jeanneth Galeano Peñaloza Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 3 de febrero de 2013 1/ 45 Parte I 2/ 45 Definición intuitiva de conjunto Definición Un conjunto

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

Capítulo 7: Lógica de predicados y cuantificadores

Capítulo 7: Lógica de predicados y cuantificadores Capítulo 7: Lógica de predicados y cuantificadores por G 3 Agosto 2014 Resumen A menudo interesa afirmar que todos, o que solo algunos individuos de cierto universo, o solo uno, cumplen alguna propiedad.

Más detalles

Sistemas de ecuaciones lineales

Sistemas de ecuaciones lineales Sistemas de ecuaciones lineales TIPOS DE SISTEMAS. DISCUSIÓN DE SISTEMAS. Podemos clasificar los sistemas según el número de soluciones: Incompatible. No tiene solución Compatible. Tiene solución. Compatible

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

Criterios de divisibilidad y Congruencias

Criterios de divisibilidad y Congruencias Criterios de divisibilidad y Congruencias Rafael F. Isaacs G. * Fecha: 9 de marzo de 2007 Cuando tenemos un número muy grande escrito en base 10 y deseamos saber si es múltiplo por ejemplo de 9 no necesitamos

Más detalles

Descomposición en forma canónica de Jordan (Segunda versión)

Descomposición en forma canónica de Jordan (Segunda versión) Descomposición en forma canónica de Jordan (Segunda versión) Francisco J. Bravo S. 1 de septiembre de 211 En esta guía se presentan los resultados necesarios para poder construir la forma de Jordan sin

Más detalles

Álgebra y Trigonometría Clase 7 Sistemas de ecuaciones, Matrices y Determinantes

Álgebra y Trigonometría Clase 7 Sistemas de ecuaciones, Matrices y Determinantes Álgebra y Trigonometría Clase 7 Sistemas de ecuaciones, Matrices y Determinantes CNM-108 Departamento de Matemáticas Facultad de Ciencias Exactas y Naturales Universidad de Antioquia Copyleft c 2008. Reproducción

Más detalles

Operaciones lógicas principales: Negación, Conjunción y Disyunción

Operaciones lógicas principales: Negación, Conjunción y Disyunción Operaciones lógicas principales: Negación, Conjunción y Disyunción Definiciones informales. A es verdadera A es falsa A B es verdadera A es verdadera y B es verdadera A B es verdadera A es verdadera o

Más detalles

de la forma ), i =1,..., m, j =1,..., n, o simplemente por (a i j ).

de la forma ), i =1,..., m, j =1,..., n, o simplemente por (a i j ). INTRODUCCIÓN. MATRICES Y DETERMINANTES Las matrices se utilizan en el cálculo numérico, en la resolución de sistemas de ecuaciones lineales, de las ecuaciones diferenciales y de las derivadas parciales.

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

MATRICES. Se simboliza tal matriz por y se le llamará una matriz x o matriz de orden x (que se lee por ).

MATRICES. Se simboliza tal matriz por y se le llamará una matriz x o matriz de orden x (que se lee por ). 1 MATRICES 1 Una matriz es una disposición rectangular de números (Reales); la forma general de una matriz con filas y columnas es Se simboliza tal matriz por y se le llamará una matriz x o matriz de orden

Más detalles

TEMA 2. ESPACIOS VECTORIALES

TEMA 2. ESPACIOS VECTORIALES TEMA 2. ESPACIOS VECTORIALES CÉSAR ROSALES GEOMETRÍA I En este tema comenzaremos el estudio de los objetos que nos interesarán en esta asignatura: los espacios vectoriales. Estos son estructuras básicas

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

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

Funciones 1. D = Dom ( f ) = x R / f(x) R. Recuerda como determinabas los dominios de algunas funciones: x x

Funciones 1. D = Dom ( f ) = x R / f(x) R. Recuerda como determinabas los dominios de algunas funciones: x x Funciones. DEFINICIÓN Y TERMINOLOGÍA.. Definición de función real de variable real. "Es toda correspondencia, f, entre un subconjunto D de números reales y R (o una parte de R), con la condición de que

Más detalles

Grupos libres. Presentaciones.

Grupos libres. Presentaciones. S _ Tema 12.- Grupos libres. Presentaciones. 12.1 Grupos libres. En el grupo Z de los enteros vimos una propiedad (cf. ejemplos.5), que lo caracteriza como grupo libre. Lo enunciamos al modo de una Propiedad

Más detalles

Probabilidad es una manera de indicar la posibilidad de ocurrencia de un evento futuro

Probabilidad es una manera de indicar la posibilidad de ocurrencia de un evento futuro Probabilidad es una manera de indicar la posibilidad de ocurrencia de un evento futuro La probabilidad nos proporciona un modelo teórico para la generación de los datos experimentales Medidas de la Posibilidad

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

PRODUCTO CARTESIANO RELACIONES BINARIAS

PRODUCTO CARTESIANO RELACIONES BINARIAS PRODUCTO CARTESIANO RELACIONES BINARIAS Producto Cartesiano El producto cartesiano de dos conjuntos A y B, denotado A B, es el conjunto de todos los posibles pares ordenados cuyo primer componente es un

Más detalles

r j ϕ j (v i ) = r i, ϕ(v i ) = v = n a ij ϕ j(v) ϕ i (v) =

r j ϕ j (v i ) = r i, ϕ(v i ) = v = n a ij ϕ j(v) ϕ i (v) = ESPACIO DUAL 1. Espacio Dual En temas anteriores dados V y V espacios vectoriales sobre k, definíamos en Hom(V, V ) una suma y un producto por elementos de k que convertían este conjunto en un espacio

Más detalles

Cardinalidad. Teorema 0.3 Todo conjunto infinito contiene un subconjunto infinito numerable.

Cardinalidad. Teorema 0.3 Todo conjunto infinito contiene un subconjunto infinito numerable. Cardinalidad Dados dos conjuntos A y B, decimos que A es equivalente a B, o que A y B tienen la misma potencia, y lo notamos A B, si existe una biyección de A en B Es fácil probar que es una relación de

Más detalles

ÁLGEBRA Algunas soluciones a la Práctica 1

ÁLGEBRA Algunas soluciones a la Práctica 1 ÁLGEBRA Algunas soluciones a la Práctica 1 Correspondencias y aplicaciones (Curso 2004 2005) 1. Dadas las siguientes correspondencias, determinar sus conjuntos origen, imagen, decidir si no son aplicaciones

Más detalles

Una topología de los números naturales*

Una topología de los números naturales* Una topología de los números naturales* Divulgación Gabriel Ruiz Hernández Instituto de Matemáticas, UNAM 1 de septimebre de 1997 resumen En este trabajo vamos a describir un espacio topológico X con las

Más detalles

Es trivial generalizar la definición al caso de varios conjuntos: A B C, etc.

Es trivial generalizar la definición al caso de varios conjuntos: A B C, etc. Tema 1 Espacios Vectoriales 1.1 Introducción Estas notas están elaboradas pensando simplemente en facilitar al estudiante una guía para el estudio de la asignatura, y en consecuencia se caracterizan por

Más detalles

PAIEP. Complemento Ortogonal

PAIEP. Complemento Ortogonal Programa de Acceso Inclusivo, Equidad y Permanencia PAIEP Universidad de Santiago de Chile Complemento Ortogonal Veamos ahora una aplicación de los vectores ortogonales a la caracterización de subespacios

Más detalles

Materia: Matemática de Octavo Tema: Conjunto Q (Números Racionales)

Materia: Matemática de Octavo Tema: Conjunto Q (Números Racionales) Materia: Matemática de Octavo Tema: Conjunto Q (Números Racionales) Vamos a recordar los conjuntos numéricos estudiados hasta el momento. (1.) Conjunto de los números Naturales Son aquellos que utilizamos

Más detalles

Probabilidad y Estadística

Probabilidad y Estadística Probabilidad y Estadística Probabilidad Conceptos como probabilidad, azar, aleatorio son tan viejos como la misma civilización. Y es que a diario utilizamos el concepto de probabilidad: Quizá llueva mañana

Más detalles

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

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

Más detalles

Tema 1. Espacios Vectoriales Definición de Espacio Vectorial

Tema 1. Espacios Vectoriales Definición de Espacio Vectorial Tema 1 Espacios Vectoriales. 1.1. Definición de Espacio Vectorial Notas 1.1.1. Denotaremos por N, Z, Q, R, C, a los conjuntos de los números Naturales, Enteros, Racionales, Reales y Complejos, respectivamente.

Más detalles

Pablo Cobreros Tema 6. El tamaño del infinito

Pablo Cobreros Tema 6. El tamaño del infinito Lógica II Pablo Cobreros pcobreros@unav.es Tema 6. El tamaño del infinito Introducción Introducción La noción de cardinal Afirmaciones acerca del tamaño La noción de cardinal El tamaño del infinito Introducción

Más detalles

Transformaciones lineales y matrices

Transformaciones lineales y matrices CAPíTULO 5 Transformaciones lineales y matrices 1 Matriz asociada a una transformación lineal Supongamos que V y W son espacios vectoriales de dimensión finita y que T : V W es una transformación lineal

Más detalles

TEMA 8. GEOMETRÍA ANALÍTICA.

TEMA 8. GEOMETRÍA ANALÍTICA. TEMA 8. GEOMETRÍA ANALÍTICA. 8..- El plano. Definimos el plano euclideo como el conjunto de puntos ( x, y) R. Así, cada punto del plano posee dos coordenadas. Para representar puntos del plano utilizaremos

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

Universidad Nacional de Colombia Departamento de Matemáticas Álgebra Lineal - Grupo 1 Resumen Unidad n 3

Universidad Nacional de Colombia Departamento de Matemáticas Álgebra Lineal - Grupo 1 Resumen Unidad n 3 Universidad Nacional de Colombia Departamento de Matemáticas 1000003-5 Álgebra Lineal - Grupo 1 Resumen Unidad n 3 Vectores en R n Definición. El conjunto de las n-tuplas ordenadas de números reales se

Más detalles

Sobre la Construcción Axiomática de los Números Naturales

Sobre la Construcción Axiomática de los Números Naturales Sobre la Construcción Axiomática de los Números Naturales Dr. Rafael Labarca Briones Profesor de Matemáticas. Universidad de Santiago de Chile. Charla dictadas en las EMALCAS de Arequipa, La Paz y Quito.

Más detalles

INTEGRACIÓN NUMÉRICA

INTEGRACIÓN NUMÉRICA INTEGRACIÓN NUMÉRICA En los cursos de Cálculo Integral, nos enseñan como calcular una integral definida de una función contínua mediante una aplicación del Teorema Fundamental del Cálculo: Teorema Fundamental

Más detalles

TEMA 4: Sistemas de ecuaciones lineales II

TEMA 4: Sistemas de ecuaciones lineales II TEM 4: Sistemas de ecuaciones lineales II ) Teorema de Rouché-Frobenius. ) Sistemas de Cramer: regla de Cramer. 3) Sistemas homogeneos. 4) Eliminación de parámetros. 5) Métodos de factorización. 5) Métodos

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

Números naturales, principio de inducción

Números naturales, principio de inducción , principio de inducción. Conjuntos inductivos. Denotaremos por IN al conjunto de números naturales, IN {,,, 4, 5, 6,...}, cuyos elementos son suma de un número finito de unos. Recordemos que IN es cerrado

Más detalles

LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL QUE ES LA LÓGICA? El sentido ordinario de la palabra lógica se refiere a lo que es congruente, ordenado, bien estructurado. Lo ilógico es lo mismo que incongruente, desordenado, incoherente.

Más detalles

Fracciones Algebraicas

Fracciones Algebraicas Fracciones Algebraicas 1 Conceptos básicos Definición 1 Una fracción algebraica en la indeterminada x (o cualquier otra letra) es una expresión de la forma, donde tanto P como Q son polinomios con coeficientes

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

MATEMÁTICAS DISCRETAS. UNIDAD 2 Algebras Booleanas y Circuitos Combinatorios

MATEMÁTICAS DISCRETAS. UNIDAD 2 Algebras Booleanas y Circuitos Combinatorios MATEMÁTICAS DISCRETAS UNIDAD 2 Algebras Booleanas y Circuitos Combinatorios 2.1 CIRCUITOS COMBINATORIOS Inicie dando lectura a la subunidad 11.1, deténgase en el ejemplo 11.1.4, compare las tablas de los

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

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