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 conjunto 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. Índice 1 Conectivos unarios y binarios Conectivos de aridad n Sistemas completos de conectivos Ejercicios del Capítulo Conectivos unarios y binarios Los conectivos lógicos que hemos estudiado con detalle hasta ahora son,,,,, y, conocidos, respectivamente, como: negación, doble negación (identidad), conjunción, disyunción, disyunción excluyente (diferencia simétrica), implicación (condicional) y doble implicación. 1

2 Son los conectivos más usuales. Pero no son los únicos. Por ejemplo, la barra (o función) de Sheffer, es el conectivo, (o también ) determinado por la tabla de valores de verdad p q p q V V F V F V F V V F F V (1) Es decir, la proposición p q ( p barra q ) es F si, y sólo si, ambas p y q son V. Entonces interpretamos 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, y entonces leemos p q como p NAND q. Otro ejemplo es el funtor (o función o barra) de Peirce, denotado con y determinado por la tabla de valores de verdad p q p q V V F V F F F V F F F V (2) Es decir, la proposición p q ( p barra abajo 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, y entonces leemos p q como p NOR q. Nos preguntamos: Cuántos conectivos hay? 2

3 Vayamos por partes. Primero, distinguimos dos tipos de conectivos: 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. Mientras que,,, y son binarios. 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) 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 Note entonces que 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) 3

4 Ahora, 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) 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), tal 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 binarios, 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. 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 y F F. De manera que el número de renglones corresponde al número de elementos que tiene el producto cartesiano {V,F} 2 = {VV, VF, FV, FF}. Así que cualquier conectivo unario puede entenderse como una función del conjunto {V,F} en sí mismo 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 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 únicamente 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 cualquier conectivo binario está determinada justamente por su tabla de valores de verdad. 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 todos los conectivos de aridad n = 1, y los binarios los de aridad n = 2. Hay 4 = 2 21 conectivos de aridad 1, y hay 16 = 2 22 conectivos de aridad 2. En general, cuántos conectivos de aridad n hay? Teorema 1. Hay 2 2n conectivos de aridad n. Demostración. Sea (n) cualquier conectivo de aridad n elegido arbitrariamente. Escribimos (n) (p 1,..., p n ) como la proposición resultante de aplicar el conectivo (n) a las proposiciones p 1,...,p n. 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?..... F F F F? En efecto, cada renglón de esta tabla corresponde a un arreglo de tamaño n, con repetición incluso, de las letras V y F, dispuestas una a una en orden. 6

7 Como cada lugar de un arreglo de tamaño n, puede ser ocupado por cualquiera de las dos letras V o F se sigue 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. 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. 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, 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). 7

8 Ejemplo 2. Definimos la disyunción de aridad 3 como el conectivo, 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. Del mismo modo podemos definir la conjunción de aridad 3, mediante la equivalencia (p, q, r) p q r. En general, 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 i=1 p i y n p i. i=1 Observación 1. Algunos autores usan los símbolos y para el cuantificador universal y el cuantificador existencial, respectivamente. 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. 8

9 3 Sistemas completos de conectivos 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). 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 2. 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), es fácil comprobar 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. Ahora, sean p y q proposiciones y consideremos las proposiciones r 0 (p p) q, y r 1 p q r 2 p q r 3 p q r 4 p q 9

10 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. 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, para algún 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. 10

11 Decimos por tanto que el conjunto de conectivos y es un sistema completo (o suficiente o mínimo) de conectivos, para el conjunto de conectivos unarios y binarios. Surge un par de 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? 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 cuestión 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 1. 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, 1 p p 4 p. (7) 11

12 Pero 1 p es absurdo y 4 p tautología. Por lo 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. 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 2. El conectivo no es un sistema completo para el conjunto de conectivos unarios, ni para el conjunto de conectivos binarios. Demostración. Si fuese por sí mismo un sistema completo de conectivos para el conjunto de conectivos unarios, entonces esperaríamos obtener p, mediante únicamente p y aplicaciones sucesivas del conectivo. Algo que podemos representar genéricamente como (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. Así que 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. Si lo fuese, entonces, en particular, el absurdo p 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. 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. 12

13 Es fácil también descartar los conectivos 1 y 16 de la tabla (6). 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. Primero debemos tener claro que cualquier sistema completo de conectivos para el conjunto de conectivos binarios, es también completo para el conjunto de conectivos unarios ( por qué?). 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. Ahora analizamos qué sucede con el tercer renglón. Nuevamente analizamos dos casos: 13

14 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 conectivos. 14

15 Así que el tercer renglón debe ser 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 3. 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. Teorema 4. Cualquier conectivo de aridad n puede escribirse en términos equivalentes a una expresión que contiene únicamente los conectivos y. 15

16 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 y 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 ). 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. 16

17 Ejercicios del capítulo 8 1. Haga una representación conjuntista de los conectivos unarios enlistados en la tabla Construye una proposición P compuesta por p, q y r tal que tenga la tabla de valores de verdad p q r P V V V V V V F F V F V F V F F V F V V V F V F V F F V F F F F V 3. Construye una proposición Q compuesta po p, q y r tal que tenga la tabla de valores de verdad p q r Q V V V V V V F V V F V F V F F V F V V F F V F V F F V F F F F V 4. Demuestra que no es un sistema completo de conectivos. 5. Demuestra que no es un sistema completo de conectivos. 17

Capítulo 8: Sistemas completos de contectivos

Capítulo 8: Sistemas completos de contectivos 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

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

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

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

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

Lógica Proposicional. Cátedra de Matemática

Lógica Proposicional. Cátedra de Matemática Lógica Proposicional Cátedra de Matemática Abril 2017 Qué es la lógica proposicional? Es la disciplina que estudia métodos de análisis y razonamiento; utilizando el lenguaje de las matemáticas como un

Más detalles

UNIDAD I: LÓGICA MATEMÁTICA

UNIDAD I: LÓGICA MATEMÁTICA UNIDAD I: LÓGICA MATEMÁTICA 1.1. Introducción La Lógica Matemática es la rama de las Matemáticas que nos permite comprender sobre la validez o no de razonamientos y demostraciones que se realizan. La lógica

Más detalles

Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes

Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes FUNCIONES DE VARIABLE COMPLEJA 1 Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes Lógica Matemática Una prioridad que tiene la enseñanza de la matemática

Más detalles

Sistema Axiomático para el Cálculo Proposicional

Sistema Axiomático para el Cálculo Proposicional Sistema Axiomático para el Cálculo Proposicional Lógica Matemática José de Jesús Lavalle Martínez 12 de julio de 2011 Resumen Este documento es una traducción de partes de la sección 1.4 AN AXIOM SYSTEM

Más detalles

Lógica de predicados

Lógica de predicados Lógica de predicados Cálculo de predicados Hay ciertos argumentos que parecen ser perfectamente lógicos y que no pueden ser especificados usando cálculo proposicional. Ejemplos: Todos los gatos tienen

Más detalles

Cálculo de predicados. Lógica de predicados. Cálculo de predicados. Cálculo de predicados 08/06/2011

Cálculo de predicados. Lógica de predicados. Cálculo de predicados. Cálculo de predicados 08/06/2011 Lógica de predicados Hay ciertos argumentos que parecen ser perfectamente lógicos y que no pueden ser especificados usando cálculo proposicional. Ejemplos: Todos los gatos tienen cola Tomás es un gato

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

Sucesiones. Una sucesión de números reales es una tira, o una lista, de nḿeros reales que generalmente denotamos como

Sucesiones. Una sucesión de números reales es una tira, o una lista, de nḿeros reales que generalmente denotamos como Universidad de la República Facultad de Ingeniería IMERL Sucesiones Curso Cálculo 1 2008 Una sucesión de números reales es una tira, o una lista, de nḿeros reales que generalmente denotamos como a 1, a

Más detalles

Lógica Proposicional. Sergio Stive Solano Sabié. Abril de 2013

Lógica Proposicional. Sergio Stive Solano Sabié. Abril de 2013 Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa

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

Lógica Proposicional Lenguaje Proposicional Implicación semántica

Lógica Proposicional Lenguaje Proposicional Implicación semántica Capítulo 1 Lógica Proposicional 1.1. Lenguaje Proposicional Un lenguaje proposicional consta de los siguientes símbolos: las proposicones atómicas, también llamados enunciados atómicos o simplemente variables

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

Un enunciado es toda frase u oración que se emite

Un enunciado es toda frase u oración que se emite OBJETIO 2: Aplicar la lógica proposicional y la lógica de predicados en la determinación de la validez de una proposición dada. Lógica Proposicional La lógica proposicional es la más antigua y simple de

Más detalles

Algebras booleanas. B2) Leyes Distributivas. Cada operación es distributiva con respecto a la otra:

Algebras booleanas. B2) Leyes Distributivas. Cada operación es distributiva con respecto a la otra: Algebras booleanas AXIOMAS DEL ALGEBRA DE BOOLE Sea B un conjunto en el cual se han definido dos operaciones binarias, + y * (En algunos casos se definen en términos de y respectivamente), y una operación

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

Rudimentos de lógica

Rudimentos de lógica Rudimentos de lógica Eugenio Miranda Palacios 1. El método axiomático Matemáticas es el estudio de las relaciones entre ciertos objetos ideales como números, funciones y figuras geométricas. Estos objetos

Más detalles

Introducción. Ejemplos de expresiones que no son proposiciones

Introducción. Ejemplos de expresiones que no son proposiciones Introducción El objetivo de los matemáticos es descubrir y comunicar ciertas verdades. Las matemáticas son el lenguaje de los matemáticos y una demostración, es un método para comunicar una verdad matemática

Más detalles

CIENCIAS FORMALES CIENCIAS FÁCTICAS

CIENCIAS FORMALES CIENCIAS FÁCTICAS UNA CLASIFICACIÓN DE LAS CIENCIAS CIENCIAS FORMALES CIENCIAS FÁCTICAS CIENCIAS FORMALES MATEMÁTICA LÓGICA CIENCIAS FÁCTICAS FÍSICA BIOLOGÍA QUÍMICA CIENCIAS SOCIALES OTRAS CIENCIAS FORMALES VOCABULARIO

Más detalles

Departamento de Ingeniería Matemática - Universidad de Chile

Departamento de Ingeniería Matemática - Universidad de Chile 1. Lógica Ingeniería Matemática FACULTAD DE CIENCIAS FÍSICAS Y MATEMÁTICAS UNIVERSIDAD DE CHILE Introducción al Álgebra 08-1 Importante: Visita regularmente http://www.dim.uchile.cl/~algebra. Ahí encontrarás

Más detalles

Lógica Matemática. Contenido. Definición. Finalidad de la unidad. Proposicional. Primer orden

Lógica Matemática. Contenido. Definición. Finalidad de la unidad. Proposicional. Primer orden Contenido Lógica Matemática M.C. Mireya Tovar Vidal Proposicional Definición Sintaxis Proposición Conectivos lógicos Semántica Primer orden cuantificadores Finalidad de la unidad Definición Traducir enunciados

Más detalles

TEMA 1: LÓGICA. p p Operador conjunción. Se lee y y se representa por. Su tabla de verdad es: p q p q

TEMA 1: LÓGICA. p p Operador conjunción. Se lee y y se representa por. Su tabla de verdad es: p q p q TEMA 1: LÓGICA. Definición. La lógica es la ciencia que estudia el razonamiento formalmente válido. Para ello tiene un simbolismo que evita las imprecisiones del lenguaje humano y permite comprobar la

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

Matemáticas Discretas Lógica

Matemáticas Discretas Lógica Coordinación de Ciencias Computacionales - INAOE Matemáticas Discretas Lógica Cursos Propedéuticos 2010 Ciencias Computacionales INAOE Lógica undamentos de Lógica Cálculo proposicional Cálculo de predicados

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

El lenguaje formal de la Lógica Qué es un lenguaje formal? Un lenguaje formal, en tanto que lenguaje artificial, está formado por los siguientes elementos básicos: Unos signos primitivos del lenguaje,

Más detalles

Introducción. Ejemplos de expresiones que no son proposiciones

Introducción. Ejemplos de expresiones que no son proposiciones Introducción El objetivo de los matemáticos es descubrir y comunicar ciertas verdades. Las matemáticas son el lenguaje de los matemáticos y una demostración, es un método para comunicar una verdad matemática

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

Introducción a la Matemática Discreta

Introducción a la Matemática Discreta Introducción a la Matemática Discreta Lógica proposicional y Álgebras de Boole Luisa María Camacho Camacho Introd. a la Matemática Discreta 1 / 25 Introducción a la Matemática Discreta Temario Tema 1.

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

Semántica del Cálculo Proposicional

Semántica del Cálculo Proposicional Semántica del Cálculo Proposicional Revisiones: Abril y Mayo del 2005 - Abril 2006 Á 1. Valuación como función. Notación: Con Form se identifica al conjunto de todas las fómulas y Var al conjunto de todas

Más detalles

03. Introducción a los circuitos lógicos

03. Introducción a los circuitos lógicos 03. Introducción a los circuitos lógicos 1. LÓGICA DE PROPOSICIONES...2 PROPOSICIÓN...2 CONECTORES U OPERADORES LÓGICOS...2 Tablas de...2 Tautología...2 Contradicción...2 2. ÁLGEBRA DE BOOLE...3 AXIOMAS

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

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

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

Matemáticas Dicretas LÓGICA MATEMÁTICA

Matemáticas Dicretas LÓGICA MATEMÁTICA Matemáticas Dicretas LÓGICA MATEMÁTICA Esta pagina fue diseñada como un auxiliar y herramienta para aquellos que esten interesados en reforzar y tener mas conocimientos sobre las matematicas discretas.

Más detalles

Introducción a la Lógica I

Introducción a la Lógica I Metodología de la Asignatura Índice Introducción a la Lógica I Félix Bou bou@ub.edu 1 Metodología de la Asignatura 2 El objeto de la Lógica 3 16 de diciembre de 2009 4 5 Argumentación Silogística F. Bou

Más detalles

MATEMÁTICA. Módulo Educativo Etapa Presencial Docente Coordinadora: Bioq. y Farm. Marta Marzi

MATEMÁTICA. Módulo Educativo Etapa Presencial Docente Coordinadora: Bioq. y Farm. Marta Marzi MATEMÁTICA Módulo Educativo Etapa Presencial 2014 Docente Coordinadora: Bioq. y Farm. Marta Marzi Facultad de Ciencias Bioquímicas y Farmacéuticas UNIVERSIDAD NACIONAL DE ROSARIO Suipacha 531 0341-4804592/93/97

Más detalles

CORPORACION UNIFICACADA NACIONAL DE EDUCACION SUPERIOR CUN- DEPARTAMENTO DE CIENCIAS BÁSICAS: PENSAMIENTO LOGICO-MATEMATICO

CORPORACION UNIFICACADA NACIONAL DE EDUCACION SUPERIOR CUN- DEPARTAMENTO DE CIENCIAS BÁSICAS: PENSAMIENTO LOGICO-MATEMATICO CORPORACION UNIICACADA NACIONAL DE EDUCACION SUPERIOR CUN- DEPARTAMENTO DE CIENCIAS BÁSICAS: PENSAMIENTO LOGICO-MATEMATICO Proposiciones Lógicas DOC. YAMILE MEDINA CASTAÑEDA GUIA N 2: LOGICA Una proposición

Más detalles

Matemática I C.F.E. I.N.E.T. Profesorado de Informática Conjuntos

Matemática I C.F.E. I.N.E.T. Profesorado de Informática Conjuntos Conjuntos Conceptos primitivos: CONJUNTO, ELEMENTO, PERTENECE. Pertenecer- Elemento Sea el conjunto de los ríos del Uruguay. El Río Negro es un río del Uruguay. Entonces, este río es un elemento del conjunto

Más detalles

CLAVE DE EXAMEN Matemática para computación 1 código de curso: 960

CLAVE DE EXAMEN Matemática para computación 1 código de curso: 960 universidad de san carlos Facultad de Ingeniería Escuela de Ciencias Departamento de Matemática clave-960-1-m-2-00-2012 CLAVE DE EXAMEN Matemática para computación 1 código de curso: 960 Datos de la clave

Más detalles

Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón.

Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. 0.1. Elementos de lógica Una proposición es una oración declamativa a la cual se le puede asignar un valor verdad: verdadera (V)

Más detalles

Demostración Contraejemplo. Métodos Indirectos

Demostración Contraejemplo. Métodos Indirectos DEMOSTRACION Una demostración de un teorema es una verificación escrita que muestra que el teorema es verdadero. Informalmente, desde el punto de vista de la lógica, una demostración de un teorema es un

Más detalles

Capítulo 2 El Método de Resolución

Capítulo 2 El Método de Resolución Capítulo 2 El Método de Resolución En este capítulo se realiza una descripción general del método de resolución, dado que el programa de razonamiento automático OTTER lo utiliza y prueba a través de refutación.

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

Resolución Proposicional

Resolución Proposicional Resolución Proposicional IIC2213 IIC2213 Resolución Proposicional 1 / 19 Resolución proposicional Sabemos que Σ = ϕ si y sólo si Σ { ϕ} es inconsistente. Cómo verificamos si Σ { ϕ} es inconsistente? El

Más detalles

Recordatorio Basico de Álgebra para Lógica

Recordatorio Basico de Álgebra para Lógica Recordatorio Basico de Álgebra para Lógica Guido Sciavicco 1 Conjuntos Definición 1 Un conjunto es una colleccion, finita o infinita, de elementos. Ejemplo 2 La colleccion de los elementos a, b, c, denotada

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

p q p q p (p q) V V V V V F F F F V V F F F V F

p q p q p (p q) V V V V V F F F F V V F F F V F 3.2 Reglas de inferencia lógica Otra forma de transformación de las proposiciones lógicas son las reglas de separación, también conocidas como razonamientos válidos elementales, leyes del pensamiento,

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

PALABRA CLAVE Interpretación lógica

PALABRA CLAVE Interpretación lógica Curso 2009- Bloque II: Teoría a Semántica Tema 5: Conceptos Semánticos Básicos B (Cap-3 3 libro) Tema 6: Técnicas y Métodos M Semánticos para validar argumentos (Cap-3 3 libro) Objetivos Aprender los conceptos

Más detalles

CONJUNTOS. Por ejemplo, el E del ejemplo 2 se escribe.

CONJUNTOS. Por ejemplo, el E del ejemplo 2 se escribe. CONJUNTOS La teoría de conjuntos nos permite describir de forma precisa conjuntos de números, de personas, de objetos, etc que comparten una propiedad común. Esto puede ser de gran utilidad al establecer

Más detalles

Matrices Inversas. Rango Matrices Elementales

Matrices Inversas. Rango Matrices Elementales Matrices Inversas. Rango Matrices Elementales Araceli Guzmán y Guillermo Garro Facultad de Ciencias UNAM Semestre 2018-1 doyouwantmektalwar.wordpress.com Matrices Matrices identidad La matriz identidad

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

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

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

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

TEMA II. 1.1 Negación La negación es la inversa de los valores de verdad de una declaración como se muestra en la figura: Negación

TEMA II. 1.1 Negación La negación es la inversa de los valores de verdad de una declaración como se muestra en la figura: Negación TEMA II 1. APLICACIONES PRACTICAS DE LOGICA SIMBOLICA Y ÁLGEBRA DE PROPOSICIONES La proposición lógica hace más fácil y efectiva la manipulación de valores de verdad entre proposiciones. Las tablas de

Más detalles

Tema 2: Teoría de la Demostración

Tema 2: Teoría de la Demostración Tema 2: Teoría de la Demostración Conceptos: Estructura deductiva Teoría de la Demostración Sistemas axiomáticos: Kleene Fórmulas válidas Teorema de la Deducción Introducción a la T. de la Demostración

Más detalles

Capítulo V. Valores y vectores propios. Diagonalización de operadores lineales.

Capítulo V. Valores y vectores propios. Diagonalización de operadores lineales. Capítulo V Valores y vectores propios. Diagonalización de operadores lineales. Hemos visto que la aplicaciones lineales de en están definidas a través de una expresión de la forma ; pero esta fórmula puede

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

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

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

ÁLGEBRA LINEAL I NOTAS DE CLASE UNIDAD 2

ÁLGEBRA LINEAL I NOTAS DE CLASE UNIDAD 2 ÁLGEBRA LINEAL I NOTAS DE CLASE UNIDAD 2 Abstract Estas notas conciernen al álgebra de matrices y serán actualizadas conforme el material se cubre Las notas no son substituto de la clase pues solo contienen

Más detalles

Conjuntos, Aplicaciones y Relaciones

Conjuntos, Aplicaciones y Relaciones Conjuntos, Aplicaciones y Relaciones Curso 2017-2018 1. Conjuntos Un conjunto será una colección de objetos; a cada uno de estos objetos lo llamaremos elemento del conjunto. Si x es un elemento del conjunto

Más detalles

Teorema de Lagrange. En esta sección demostramos algunos hechos básicos sobre grupos, que se pueden deducir de la definición

Teorema de Lagrange. En esta sección demostramos algunos hechos básicos sobre grupos, que se pueden deducir de la definición Teorema de Lagrange Capítulo 3 3.1 Introducción En este capítulo estudiaremos uno de los teoremas más importantes de toda la teoría de grupos como lo es el Teorema de Lagrange. Daremos en primer lugar

Más detalles

Lógica proposicional. 1. Lógica proposicional. 4. Conectivos lógicos. 2. Proposición lógica. 3. Negación de una proposición

Lógica proposicional. 1. Lógica proposicional. 4. Conectivos lógicos. 2. Proposición lógica. 3. Negación de una proposición Lógica proposicional 1. Lógica proposicional Es una parte de la lógica que estudia las proposiciones y la relación existente entre ellas, así como la función que tienen los conectivos lógicos. 2. Proposición

Más detalles

Apuntes de Lógica Matemática I

Apuntes de Lógica Matemática I Apuntes de Lógica Matemática I Héctor Olvera Vital 1. Primeras definiciones Definición 1 Un alfabeto A es un conjunto de símbolos. Definición 2 Una expresión del alfabeto A es una sucesión finita de símbolos

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

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

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

MATEMÁTICAS BÁSICAS. 23 de febrero de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS

MATEMÁTICAS BÁSICAS. 23 de febrero de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS 23 de febrero de 2009 Parte I Lógica Proposiciones Considere las siguientes frases Páseme el lápiz. 2 + 3 = 5 1 2 + 1 3 = 2 5 Qué hora es? En Bogotá todos los días llueve Yo estoy mintiendo Maradona fue

Más detalles

Estructuras Discretas. Conjuntos. Conjuntos & Funciones. Especificación de Conjuntos.

Estructuras Discretas. Conjuntos. Conjuntos & Funciones. Especificación de Conjuntos. Estructuras Discretas Conjuntos Conjuntos & Funciones Claudio Lobos clobos@inf.utfsm.cl niversidad Técnica Federico Santa María Estructuras Discretas INF 152 Definición: conjunto n conjunto es una colección

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

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

Teorema de incompletitud de Gödel

Teorema de incompletitud de Gödel Teorema de incompletitud de Gödel Theorem (Gödel) Th(N) es una teoría indecidible. IIC2213 Teorías 79 / 109 Teorema de incompletitud de Gödel Theorem (Gödel) Th(N) es una teoría indecidible. Corolario

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

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

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

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

VALORES DE VERDAD DE LOS OPERADORES LÓGICOS

VALORES DE VERDAD DE LOS OPERADORES LÓGICOS VALORES DE VERDAD DE LOS OPERADORES LÓGICOS Tomada con fines instruccionales Gómez, T., González, N., Lorenzo J. (2007) Valores de verdad de los Operadores Lógicos. Artículo no publicado. (p.1-6). UNEFA.

Más detalles

Tema 1: Conjuntos. Miguel Ángel Olalla Acosta Departamento de Álgebra Universidad de Sevilla. Septiembre de 2017

Tema 1: Conjuntos. Miguel Ángel Olalla Acosta Departamento de Álgebra Universidad de Sevilla. Septiembre de 2017 Tema 1: Conjuntos Miguel Ángel Olalla Acosta miguelolalla@us.es Departamento de Álgebra Universidad de Sevilla Septiembre de 2017 Olalla (Universidad de Sevilla) Tema 1: Conjuntos Septiembre de 2017 1

Más detalles

Conjuntos. 17 {perro, gato, 17, x 2 }

Conjuntos. 17 {perro, gato, 17, x 2 } Conjuntos Qué es un conjunto? Informalmente, es una agrupación de cosas, o una descripción que dice qué elementos están y qué elementos no están. Para describir un conjunto usamos llavecitas y enumeramos

Más detalles

Tema 1: Conjuntos. Miguel Ángel Olalla Acosta Departamento de Álgebra Universidad de Sevilla. Septiembre de 2016

Tema 1: Conjuntos. Miguel Ángel Olalla Acosta Departamento de Álgebra Universidad de Sevilla. Septiembre de 2016 Tema 1: Conjuntos Miguel Ángel Olalla Acosta miguelolalla@us.es Departamento de Álgebra Universidad de Sevilla Septiembre de 2016 Olalla (Universidad de Sevilla) Tema 1: Conjuntos Septiembre de 2016 1

Más detalles

Sintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES. Funciones boolenas. Semántica

Sintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES. Funciones boolenas. Semántica Proposiciones atómicas y compuestas Sintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@cienciasunammx Página

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

Tema 8: Funciones I. Características.

Tema 8: Funciones I. Características. Tema 8: Funciones I. Características. Iniciamos la primera parte de los dos temas que vamos a dedicar al bloque de análisis, en el cual vamos a conocer y definir el concepto de función y los principales

Más detalles

Tema 1: Sintaxis y Semántica de la Lógica Proposicional

Tema 1: Sintaxis y Semántica de la Lógica Proposicional Tema 1: Sintaxis y Semántica de la Lógica Proposicional Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Lógica y Computabilidad Curso 2010 11 LC, 2010 11 Lógica Proposicional

Más detalles

Números Naturales. Obsérvese que estas definiciones están bien dadas, puesto que se basan en: ZF 1, ZF 2 y ZF 3.

Números Naturales. Obsérvese que estas definiciones están bien dadas, puesto que se basan en: ZF 1, ZF 2 y ZF 3. Números Naturales Von Neumann (1923): un Número Natural es el Conjunto de los números naturales anteriores a él. Abusando de la notación, podemos poner: n 1 0, 1,, n Así, nosotros podríamos definir natural

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

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

Números naturales y recursividad

Números naturales y recursividad Números naturales y recursividad Rafael F. Isaacs G. * Fecha: 12 de abril de 2004 Números naturales Cuál es el primer conjunto de números que estudiamos desde la escuela primaria? Se sabe que los números

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

Departamento de Ingeniería Matemática - Universidad de Chile

Departamento de Ingeniería Matemática - Universidad de Chile Ingeniería Matemática FACULTAD DE CIENCIAS FÍSICAS Y MATEMÁTICAS UNIVERSIDAD DE CHILE Álgebra Lineal 08-2 SEMANA 7: ESPACIOS VECTORIALES 3.5. Generadores de un espacio vectorial Sea V un espacio vectorial

Más detalles

Arquitectura de Computadoras Algebra de Boole Basadas en las Notas de Teórico Versión 1.0 del Dpto. de Arquitectura-InCo-FIng

Arquitectura de Computadoras Algebra de Boole Basadas en las Notas de Teórico Versión 1.0 del Dpto. de Arquitectura-InCo-FIng Basadas en las Versión.0 del Dpto. de Arquitectura-InCo-FIng ALGEBRA DE BOOLE Introducción. El álgebra de Boole es una herramienta de fundamental importancia en el mundo de la computación. Las propiedades

Más detalles