Capítulo 8: Sistemas completos de contectivos
|
|
- Luz Montserrat Giménez Espejo
- hace 6 años
- Vistas:
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
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 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 detallesSemana05[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 detallesTerminaremos 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 detallesSemana03[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 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 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 detallesTema 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 detallesALGEBRA 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 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 detallesRecordemos 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 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 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 detallesEspacios 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 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 detalles1.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 detallesFunciones 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 detallesSistemas 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 detallesEs 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 detallesRelaciones. 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 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 detallesMATEMÁ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 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 detallesLí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 detallesX = 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 detallesConjuntos 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 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 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 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 detallesSubconjuntos 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 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 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 detalles4.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 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 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 detallesMATEMÁ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 detallesb) 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 detallesSESIÓ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 detalles5 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 detallesDefinició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 detallesIntegrales 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 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 detallesSistemas 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 detallesTeoremas 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 detallesTEST 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 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 detallesTema 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,
(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 detallesConjuntos. () 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 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 detallesCapí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 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 detallesEcuaciones 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 detallesAutora: 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 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 detallesCapí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 detallesSistemas 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 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 detallesCriterios 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 detallesDescomposició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 CNM-108 Departamento de Matemáticas Facultad de Ciencias Exactas y Naturales Universidad de Antioquia Copyleft c 2008. Reproducción
Más detallesOperaciones 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 detallesde 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 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 detallesMATRICES. 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 detallesTEMA 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 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 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 detallesFunciones 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 detallesGrupos 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 detallesProbabilidad 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 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 detallesPRODUCTO 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 detallesr 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 detallesCardinalidad. 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 Correspondencias y aplicaciones (Curso 2004 2005) 1. Dadas las siguientes correspondencias, determinar sus conjuntos origen, imagen, decidir si no son aplicaciones
Más detallesUna 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 detallesEs 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 detallesPAIEP. 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 detallesMateria: 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 detallesProbabilidad 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
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 detallesTema 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 detallesPablo 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 detallesTransformaciones 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 detallesTEMA 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 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 detallesUniversidad 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 detallesSobre 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 detallesINTEGRACIÓ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 detallesTEMA 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 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 detallesNú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 detallesLÓ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 detallesFracciones 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 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 detallesMATEMÁ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 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 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 detalles