Definición 1.3. La disyunción de dos oraciones p y q es la oración p o q. La
|
|
- Luis Botella Belmonte
- hace 5 años
- Vistas:
Transcripción
1 Capítulo 1 Lógica 1.1. Oraciones Definición 1.1. Una oración es un enunciado que podemos clasificar como cierta o falsa, pero no de ambas. Toda oración tiene un bien definido valor de veracidad: es cierta (abrevida C) o es falsa (Abreviada F ). Ejemplo 1.1. a. La oración Dos más dos es cuatro es cierta. Su valor de veracidad es C. b. La oración Dos por tres es cinco es falsa. Su valor de veracidad es F. c. El valor de veracidad de Pinocho es un muñeco de madera es cierto (o C) d. El valor de veracidad de La luna es de queso es F (o falso) Conectivos Las oraciones simples (como cada una de las anteriores) se pueden combinar por medio de conectivos para formar oraciones compuestas. Algunos conectivos son y, o, implica Definición 1.2. La conjunción de dos oraciones p y q es la oración p y q. La simbolizamos p q Ejemplo 1.2. Si la oración p es La luna es de queso y la oración q es Dos más dos es cuatro, la conjunción p q es La luna es de queso y dos más dos es cuatro Definición 1.3. La disyunción de dos oraciones p y q es la oración p o q. La simbolizamos p q 1
2 CAPÍTULO 1. LÓGICA 2 Ejemplo 1.3. Si la oración p es Pinocho es un muñeco de madera y la oración q es Dos por tres es cinco, la disyunción p q es Pinocho es un muñeco de madera o dos por tres es cinco. Definición 1.4. La tabla de veracidad de una oración compuesta (formada por dos o más oraciones) es una arreglo en el cual aparecen todos los posibles valores de veracidad de las oraciones simples que la forman y que determinan el valor de veracidad de la oración compuesta. Definición 1.5. Las tablas siguientes muestran los valores de veracidad de p q y de p q dados los valores de p y de q. p q p q p q C C C C F F F C F F F F p q p q p q C C C C F C F C C F F F Notar que p q es cierta cuando p y q son ambas ciertas. En cambio p q es falsa cuando ambas p y q son falsas. Ejemplo 1.4. a. En la oración La luna es de queso y dos más dos es cuatro podemos considerar que p es La luna es de queso y que q es dos más dos es cuatro. Como p es F y q es C, la oración p q es F. La conjuncion p q: La luna es de queso o dos más dos es cuatro es cierta pues una de las oraciones simples es cierta (q es cierta). b. La oración Pinocho es un muñeco de madera y dos más dos es cuatro es cierta pues las oraciones que la forman son ambas ciertas. Definición 1.6. Dadas las oraciones p y q, la oración condicional si p entonces q la simbolizamos p q. La oración p q también la leemos p implica q. En esta oración, p se llama hipótesis y la oración q se llama conclusión. Ejemplo 1.5. La oración condicional de p : la tierra es plana y q : 2+3=5 es p q: si la Tierra es plana, entonces = 5. Es esta condicional cierta o falsa? Como en el caso de la conjunción o de la disyunción, el saber el valor de veracidad de las oraciones que componen la condicional nos permite determinar el valor de veracidad de ella.
3 CAPÍTULO 1. LÓGICA 3 Definición 1.7. Los valores de veracidad de p q son los indicados en la tabla. p q p q p q C C C C F F F C C F F C Notar que p q es solamente falsa cuando la hipótesis es cierta y la conclusión es falsa. Ejemplo 1.6. La oración la tierra es plana es falsa y la oración = 5 es cierta, luego la condicional si la tierra es plana, entonces 2+3=5 es cierta. La oración si 2+3=5, entonces la tierra es plana es falsa. Definición 1.8. Sean p y q oraciones. La oración bicondicional p si y sólo si q es la conjunción de p q y q p. La simbolizamos p q. La tabla de p q se construye a partir de las oraciones que la componen. (p q) (q p) p q p q q p p q C C C C C C F F C F F C C F F F F C C C La oración p q es cierta solamente cuando ambas son ciertas o cuando ambas son falsas. Ejemplo 1.7. a. La oración La tiera es plana si y sólo si = 6 es cierta. b. La oración = 4 si y sólo si Pinocho es un muñeco de madera es cierta. c. La oración = 5 si y sólo si = 4 es falsa. Definición 1.9. Dada una oración p podemos formar otra oración, llamada negación de p y denotada p, cuyo valor de veracidad es contrario al valor de veracidad de p. p p C F F C
4 CAPÍTULO 1. LÓGICA 4 En general, la negación de p se obtiene anteponiendo No a la oración original, o escribiendo No es cierto... antes de la oración original. Ejemplo 1.8. a. La negación de Pinocho es un muñeco de madera es Pinocho no es un muñeco de madera o No es cierto que Pinocho sea un muñeco de madera. b. La negación de p: = 5 es p: Definición a. La oración recíproca de la condicional p q es la oración q p. b. La oración contra positiva de la oración p q es la oración q p. Ejemplo 1.9. a. La oración recíproca de si la tiera es plana entonces 2+3 = 6 es Si 2+3 = 6, entonces la tiera es plana b. la oración contra positiva de Si = 5 entonces Pinocho es un muñeco de madera es Si Pinocho no es un muñeco de madera, entonces Ejemplo Sean p, q, r oraciones. Suponga que p es C (cierta), que q es F y que r es C. Determine el valor de veracidad de a. p (q r) b. (r q) r c. (p q) (r q) d. (r q) (p r) e. p q (r p) f. (p r) (( p) r) 1.2. Tautología y Equivalencia Definición Una tautología es una oración compuesta que es cierta para cualesquiera que sean los valores de veracidad de las oraciones que la forman. Ejemplo Sean p y q dos oraciones. Las oración p (p q) es una tautología (Tabla izquierda). La oración p (p q) no es una tautología. (Tabla derecha) Algunas otras tautologías son: (p q) q, p p, p p. Para determinar si una oración es una tautología, construimos su tabla de veracidad y de ahí concluimos si lo es o no. Tabla izquierda p q p q p (p q) C C C C C F C C F C C C F F F C Tabla derecha p q p q p (p q) C C C C C F F F F C F C F F F C
5 CAPÍTULO 1. LÓGICA 5 Definición Dos oraciones p y q son equivalentes si la oración p q es una tautología. Anotamos p q para indicar que las oraciones son equivalentes. La equivalencia entre oraciones es como la igualdad entre números. Si dos oraciones son equivalentes, en cualquier oración donde aparezca una de ellas, la podemos sutituir por la otra equivalente. La nueva oración no es posible distinguirla logicamente de la original. Ejemplo Los siguientes ejemplos de equivalencias son importantes. a. Doble negación. ( p) p b. Leyes de De Morgan Negación de o p p ( p) p ( p) C F C C F C F C (p q) p q (1) (2) (3) (4) (5) (6) (7) p q p q (p q) p q p q C C C F F F F C F C F F C F F C C F C F F F F F C C C C Como la columna (4) es igual a la columna (7), la oración (p q) p q es una tautología. Negación de y (p q) p q (1) (2) (3) (4) (5) (6) (7) p q p q (p q) p q p q C C C F F F F C F F C F C C F C F C C F C F F F C C C C Como la columna (4) es igual a la columna (7), la oración (p q) p q es una tautología. c. Negación de la implicación. (p q) p q. d. Implicación y contra positiva (p q) ( q) ( p) e. Leyes de distributividad p (q r) (p q) (p r), p (q r) (p q) (p r)
6 CAPÍTULO 1. LÓGICA 6 f. Leyes de conmutatividad p q q p, p q q p Ejemplo La oracióm p q es equivalente con p q Una forma de probarlo es usar las tablas de veracidad. Otra forma es comenzar con (p q) p q. Negando ambos lados ( (p q)) (p q). Usamos ahora la doble negación y la negación de y para obtener p q p q Usando la tabla: p q p q p p q (p q) ( p q) C C C F C C C F F F F C F C C C C C F F C C C C En la oración Ayer fui al gimnasio o al cine llamemos p : Ayer fui al gimnasio y sea q : Ayer fui al cine, así que la oración es p q, que es equivalente con ( p) q, que es equivalente con p q. Luego la oración original es equivalente con p q Si ayer no fui al gimnasio entonces fui al cine Con la notación de p y q precedentes, la oración Ayer fui al gimnasio o al cine es también equivlente con q p, qu es equivalente con ( q) p, que es equivalente con q p, luego la oración original es también equivalente con Si ayer no fui al cine, entonces fui al gimnasio Ejemplo Sabemos que dados números reales a y b, una y sólo una de estas es cierta: a < b, a = b, b < a. También sabemos que a b significa a < b a = b. Si a b es falso, entonces a < b es falso y a = b es falso, luego b < a es cierto. Y si a b es cierto, entonces una de a < b o a = b es cierto, luego b < a es falso. Concluimos así que la negación de a b es b < a. Análogamente (a < b) b a. Recordar que a > b significa b < a y a b significa b a 1.3. Cuantificadores Oraciones abiertas Un enunciado como Juana nació en San Juan no es una oración según nuestra definición. Este enunciado depende de la persona de nombre Juana a quien
7 CAPÍTULO 1. LÓGICA 7 hacemos referencia; para alguna será cierto, para otra será falso. Otro enunciado de este tipo es: x < 9. Suponiendo que x representa un número real, para algún valor de x es cierto, para otro es falso. Definición Sea D un conjunto. Una oración abierta con dominio D en la variable x es un enunciado que envuelve a x y que, al sustituir x por uno cualquiera de los elemento de D es una oración. Una tal oración la simbolizamos p(x). Si p(x) es una oración abierta con dominio D y a D, denotamos por p(a) a la oración que se obtiene al sustituir x por a en p(x). Ejemplo Sea D = {1, 2, 3, 4}. Una oración abierta con dominio D es p(x) : x es un número par. Al sustituir x por 1 tenemos p(1): 1 es un número par, que es un oración; al sustituir x por 2, p(2): 2 es un número par, que es una oración. Igualmente obtenemos oraciones al sustituir x por 3 y por 4. Definición Sea p(x) una oración abierta con dominio un conjunto D. Una oración de la forma Para todo x D la oración p(x) es cierta la simbolizamos por x D, p(x) Esta oración es cierta si p(x) es cierta para cada elemento en D. Ejemplo La oración x R, x 2 0 es cierta; en cambio x R, x 2 > 0 es falsa, pues es falsa para x = 0. Definición Sea p(x) una oración abierta con dominio un conjunto D. Una oración de la forma Existe un elemento x D tal que p(x) es cierta la simbolizamos por x D : p(x) Esta oración es cierta si hay un elemento a en D, uno o más, tal que p(a) es cierta. Ejemplo La oración x R : x 2 = 1 es cierta. (Es cierta para x = 1, por ejemplo). La oración x R : x 2 = 1 es falsa Negación de y Definición La negación de x D, p(x) es x D : p(x). La negación de x D : p(x) es x D, p(x).
8 CAPÍTULO 1. LÓGICA 8 Ejemplo La negación de a. x R, x 3 1 < x es x R : x 3 1 x b. x R : x 2 > x es x R, x 2 x. c. x R, si x < 1, entonces x 2 < 1 es x 0 R : x 0 < 1 x (Recordar (p q) p q) d. x R, si 0 < x < 1, entonces 1/x < 1 es x R : 0 < x < 1 y 1/x 1. e. n N : 10n > 2 n es n N, 10n 2 n. (N es el conjunto de los números naturales) 1.5. Métodos de Demostración. Hilbert define una demostración de la siguiente forma: Una demostración consiste en una sucesión de fórmulas que, o bien son axiomas, o bien son teoremas, o se han obtenido de éstas mediante inferencias admisibles. Aquí mencionaremos algunos métodos de demostración. Para demostrar un teorema como el siguiente, o cualquier otro, generalmente usamos uno de los siguientes métodos. Teorema. Si m y n son enteros pares, entonces n + m es un entero par. (Un entero m es par si, y sólo si, existe un entero k tal que m = 2k.) Demostración. (Demostración Directa.) Sean m y n enteros pares. Entonces existen enteros j y k tales que m = 2j y n = 2k. Luego m+n = 2j+2k = 2(j+k). Por lo tanto m + n es par ya que la suma j + k de enteros es un entero. Demostración. (Demostración contrarecíproca o contrapositiva.) En este caso, como p q q p, en lugar de probar directamente que p q es cierta, probamos que q p es cierta. La oración contra positiva de la oración en el enunciado del teorema es Si m + n no es un entero par, entonces m o n no es un entero par. Probaremos que esta última es cierta. Sean m y n enteros tales que m+n es impar. Entonces m+n = 2k+1, para algún entero k. Si m es impar, entonces la demostración se acabó. Si m es par, entonces m = 2j, para algún entero j. Luego n = 2k + 1 m = 2k + 1 2j = 2(k j) 1, y por lo tanto n es impar, ya que la diferencia k j de enteros es un entero. Demostración. (Demostración por contradicción o indirecta.) En este caso suponemos que el enunciado es falso y buscamos llegar a contradecir algo ya aceptado por cierto (o falso). Si el enunciado del teorema es falso, entonces su
9 CAPÍTULO 1. LÓGICA 9 negación es cierta. La negación del enunciado es Existen enteros pares m y n tales que m + n es un entero impar. En este caso, m = 2k y n = 2j, luego m + n = 2(k + j) es par, lo que contradice el que m + n sea impar. EJERCICIO1
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 detallesMÉTODOS DE DEMOSTRACIÓN
2016-1 1 Presentación 2 Métodos de Demostración Sobre métodos de demostración algunas preguntas de interés 1 Qué es una demostración? Sobre métodos de demostración algunas preguntas de interés 1 Qué es
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 detallesCIENCIAS 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 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 detallesUn poco de lógica. Ramón Espinosa. Departamento de Matemáticas, ITAM
Un poco de lógica Ramón Espinosa Departamento de Matemáticas, ITAM La lógica, como el whisky, pierde sus efectos benéficos cuando se consume en grandes cantidades. Lord Dunsany Uno de los principales propósitos
Más detallesMATEMÁTICAS BÁSICAS. 23 de febrero de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS
23 de febrero de 2009 Parte I Lógica Proposiciones Considere las siguientes frases Páseme el lápiz. 2 + 3 = 5 1 2 + 1 3 = 2 5 Qué hora es? En Bogotá todos los días llueve Yo estoy mintiendo Maradona fue
Más detallesLó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 detallesCapítulo 2. Conjuntos Conjuntos.
Capítulo 2 Conjuntos 2.1. Conjuntos. Definición 2.1. Un conjunto es una agrupación de objetos, distintos unos de otros, para formar un todo. Si un objeto x es parte de un conjunto C, decimos que x es elemento
Más detallesUNIDAD 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 detallesResumen 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 detallesMatemá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 detallesTEMA 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 detallesLó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 detallesCLAVE 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 detallesLó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 detallesMódulo 1. Segunda Parte NOCIONES DE LÓGICA SIMBÓLICA
Módulo 1 Segunda Parte NOCIONES DE LÓGICA SIMBÓLICA Qué es una PROPOSICIÓN? ES TODA EXPRESIÓN O ENUNCIADO DE LA CUAL SE PUEDE DECIR SI ES VERDADERA O FALSA Ejemplos: 2 es un número par (Proposición verdadera)
Más detallesDemostració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 detallesTeoremas: 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 detallesIntroducció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 detallesPauta 1 : Lógica Proposicional
MA1101-5 Introducción al Álgebra Profesor: Mauricio Telias Auxiliar: Arturo Merino P1. [Metódos de Demostración] Sean p, q, r, s proposiciones lógicas. Pauta 1 : Lógica Proposicional a) Demuestre mediante
Más detallesResumen 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. Definiciones básicas: subconjunto, conjunto vacío, complemento, conjunto de partes A lo largo de esta sección consideraremos
Más detallesIntroducció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 detallesCapítulo 3. Leyes Lógicas
Capítulo 3. Leyes Lógicas por G 3 Agosto 2014 Resumen Mostraremos en estas notas algunas de las llamadas leyes lógicas usuales, por el camino largo y aburrido, mediante tablas de verdad. Hay también una
Más detallesAutora: Jeanneth Galeano Peñaloza. 3 de febrero de Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 1/ 50
Autora: Jeanneth Galeano Peñaloza Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 3 de febrero de 2013 1/ 50 Parte I 2/ 50 Proposiciones Considere las siguientes frases Guarde
Más detallesPara describir un conjunto usamos una de las siguientes formas: 1. Mencionamos a todos y cada uno de los elementos del conjunto.
Capítulo 2 Conjuntos Definición 2.1. Un conjunto es una agrupación de objetos, distintos unos de otros, que forman un todo. Si un objeto x es parte de un conjunto C, decimos que x es elemento de C o que
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 detallesNotas en lógica básica
Notas basadas en el prontuarios de MATE 3325 Notas escritas por Dr. M Notas en lógica básica En estas notas trabajaremos con lógica básica. Empezamos con argumentos. Todos hemos utilizados argumentos en
Más detallesALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- V V V V F F F V F F F V
Resumen teoría Prof. Alcón ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Tablas de Verdad: p q p q p p V V V V F V F F F V F V F F F F p q p q V V V V F V F V V F F F p q p q V V V V F F F V V F F V p q p q
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 detallesRudimentos 2: Lógica Matemática Profesor Ricardo Santander Baeza
Rudimentos 2: Lógica Matemática Profesor Ricardo Santander Baeza El capitulo Rudimentos sobre Lógica Matemática está destinado esencialmente a desarrollar técnicas, que permitan validar o refutar fórmulas
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 detallesMaterial educativo. Uso no comercial 1.4 MÉTODOS DE DEMOSTRACIÓN Método directo o Método de la hipótesis auxiliar
1.4 MÉTODOS DE DEMOSTRACIÓN Designamos en esta forma las estrategias o esquemas más generales que identificamos en los procesos deductivos. Estos modelos están fundamentados lógicamente en teoremas o reglas
Más detallesTEMA I INTRODUCCIÓN A LA LÓGICA
TEMA I INTRODUCCIÓN A LA LÓGICA Policarpo Abascal Fuentes TEMA I Introducción a la lógica p. 1/6 TEMA 1 1. INTRODUCCIÓN A LA LÓGICA 1.1 INTRODUCCIÓN 1.2 LÓGICA PROPOSICIONAL 1.2.1 Conexiones lógicas 1.2.2
Más detallesEjemplos de expresiones que no son proposiciones. Teorema 1. Existe una innidad de números primos.
Proposición Es una oración o una expresión matemática que arma o niega algo. s de proposiciones verdaderas 5 es un número impar 2 es un número par s de proposiciones falsas 14 es un número impar 2=5 s
Más detallesSin importar el valor de verdad de sus partes constituyentes.
Consideremos las siguientes proposiciones. Ejemplo 1 Dos rectas diferentes en un plano son paralelas o se cortan sólo en un punto. Ejemplo 1=0. Ejemplo 3 3x = 5 y y = 1 Ejemplo 4 x no es > 0. Ejemplo 5
Más detallesLÓGICA Y CONJUNTOS* En este capítulo
LÓGICA Y CONJUNTOS* 1 En este capítulo 1.1 Enunciados y valor de verdad 1.2 Proposiciones simples y compuestas 1.3 Proposiciones lógicamente equivalentes 1.4 Argumentos 1.5 Cuantificadores 1.6 Conjuntos
Más detallesDepartamento 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 detallesLOGICA MATEMATICA. Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías:
LOGICA MATEMATICA Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías: 1 ) q p q p ( q ) p ( Definición ) q p ( Doble Negación ) p q ( Conmutatividad ) (
Más detallesGuía de estudio Algunos aspectos de lógica matemática Unidad A: Clases 1 y 2
Guía de estudio Algunos aspectos de lógica matemática Unidad A: Clases 1 y 2 Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa *. 1. Lógica
Más detallesLógica Proposicional. Introducción
Lógica 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 las denominadas frases
Más detallesLÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Sintaxis y semántica
LÓGICA FORMAL TEORIAS DE PRIMER ORDEN Sintaxis y semántica Pedro López Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Lenguajes de primer orden 1 La lógica
Más detallesGuía de Ejercicios: Lógica y Teoría de Conjuntos
Guía de Ejercicios: Lógica y Teoría de Conjuntos Área de Matemática Objetivo de aprendizaje Usar conectivos lógicos y relaciones conjuntistas. Negar una proposición. Contenidos 1. Elementos de lógica proporcional.
Más detallesLó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 detallesMatemá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 detallesEl conectivo XOR y la diferencia simétrica de conjuntos
El conectivo OR y la diferencia simétrica de conjuntos Memo Garro Enero 2018 Resumen Definimos la diferencia simétrica usual de conjuntos mediante el conectivo OR Y. También conocido comunmente como disyunción
Más detallesIntroducció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 detallesLógica Matemática. M.C. Mireya Tovar Vidal
Lógica Matemática M.C. Mireya Tovar Vidal Contenido Proposicional Definición Sintaxis Proposición Conectivos lógicos Semántica Primer orden cuantificadores Finalidad de la unidad Traducir enunciados sencillos
Más detallesTema de la clase: Lógica Matemática. Introducción
Tema de la clase: Lógica Matemática Instructor: Marcos Villagra Clase # 01 Escriba: Sergio Mercado Fecha 30/10/2017 Introducción Una de las características principales que distinguen a las matemáticas
Más detallesDefinición 2.- Las proposiciones se combinan mediante conectivos lógicos para formar otras proposiciones. Los conectivos lógicos básicos son:
ii Matemática Discreta : Contenidos Capítulo 1 Lógica 1.1 Cálculo proposicional El Cálculo Proposicional se encarga del estudio de las relaciones lógicas entre objetos llamados proposiciones. Definición
Más detallesConjuntos, relaciones y funciones Susana Puddu
Susana Puddu 1. Repaso sobre la teoría de conjuntos. Denotaremos por IN al conjunto de los números naturales y por ZZ al de los enteros. Dados dos conjuntos A y B decimos que A está contenido en B o también
Más 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 detallesCapítulo 1: Fundamentos: Lógica y Demostraciones Clase 2: Lógica de Predicados y Métodos de Demostración
Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 2: Lógica de Predicados y Métodos de Demostración Matemática Discreta - CC3101 Profesor: Pablo Barceló P. Barceló Matemática Discreta - Cap. 1: Fundamentos:
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 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 detallesResumen de aritmética de Peano
Resumen de aritmética de Peano UDELAR/FING/IMERL 16 de febrero de 2017 1. Fundamentos de la Aritmética de Peano. Axioma 1.1. Existe un conjunto al que denotamos N, un elemento 0 N y una función s : N N
Más detallesIDENTIFICACIÓN DE LA ACTIVIDAD PEDAGÓGICA DESARROLLO DE LA ACTIVIDAD. p, q, r, s
PROGRAMA DE FORMACIÓN UNIDAD DE APRENDIZAJE ACTIVIDAD OBJETIVOS IDENTIFICACIÓN DE LA ACTIVIDAD PEDAGÓGICA Colegio técnico uparsistem Matematica sexto PROPOSICIONES Y TABLA DE LA VERDAD (CONJUNCIÓN, DISYUNCIÓN,
Más detallesTema 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 detallesEnunciados Abiertos y Enunciados Cerrados
I n g. L u z A d r i a n a M o n r o y M a r t í n e z L ó g i c a 1 Unidad II lógica proposicional Es probable que en el siglo IV antes de la Era Común, se iniciara con Aristóteles el estudio de la Lógica;
Más detallesALGEBRA Y GEOMETRIA ANALITICA
ALGEBRA Y GEOMETRIA ANALITICA Unidad N : ELEMENTOS DE LÓGICA PROPOSICIONAL Introducción La lógica es una de las ciencias más antiguas. Se le atribuye a Aristóteles la paternidad de esta disciplina por
Más detallesLEYES, ESTRUCTURAS BÁSICAS Y COCIENTES LÓGICA DE PROPOSICIONES
Todos los derechos de propiedad intelectual de esta obra pertenecen en exclusiva a la Universidad Europea de Madrid, S.L.U. Queda terminantemente prohibida la reproducción, puesta a disposición del público
Más detallesSOBRE LOGICA MATEMATICA. Sandra M. Perilla-Monroy. Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia.
SOBRE LOGICA MATEMATICA Sandra M. Perilla-Monroy Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia. Resumen. sandraperilla@usantotomas.edu.co Carrera 9 No 51-11 Bogotá Colombia
Más detallesUnidad 2: Lógica. 2.1 Introducción. 2.2 Proposiciones
Unidad : Lógica.1 Introducción La lógica es una disciplina que estudia la estructura, el fundamento y el uso de las expresiones del lenguaje humano. La utilizamos en nuestra vida cotidiana y una de sus
Más detallesIntroducción a la lógica matemática y a la teoría de conjuntos
Capítulo 1 Introducción a la lógica matemática y a la teoría de conjuntos 1.1. Introducción En el álgebra actual tiene importancia y muy especialmente en el cálculo que se efectúa con procesadores electrónicos,
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 detallesRudimentos sobre Lógica Matemática
Contenidos Capitulo 2. Rudimentos sobre Lógica Matemática 3 1. Proposiciones Lógicas 3 2. Generación de Proposiciones y Tablas de Verdad 4 3. Ejercicios Resueltos de Lógica 6 4. Uso de Cuantificadores
Más detallesElementos de Álgebra Lógica, Conjuntos, Relaciones, Funciones y algo más...
Elementos de Álgebra Lógica, Conjuntos, Relaciones, Funciones y algo más... Dr. Carlos Lizama Departamento de Matemática y C.C. Facultad de Ciencias Universidad de Santiago de Chile Prefacio Este texto
Más detallesLógica proposicional. Semántica Lógica 2018
Lógica proposicional. Semántica Lógica 2018 Instituto de Computación 20 de marzo Instituto de Computación (InCo) Lógica proposicional. Semántica Curso 2018 1 / 1 Significado de una fórmula proposicional
Más detallesUNIVERSIDAD FRANCISCO DE PAULA SANTANDER FACULTAD DE CIENCIAS BÁSICAS LIC. ESP. DANIEL SAENZ CONTRERAS
UNIVERSIDAD FRANCISCO DE PAULA SANTANDER 1 FACULTAD DE CIENCIAS BÁSICAS LIC. ESP. DANIEL SAENZ CONTRERAS EMAIL SAENZCODANIEL@HOTMAIL.COM LÓGICA DE PROPOSICIONES TABLAS DE VERDAD La tabla de verdad de una
Más detallesTópicos de Matemáticas Discretas
Tópicos de Matemáticas Discretas Proposiciones Lógicas y Tablas de Verdad Raquel Torres Peralta Universidad de Sonora Matemáticas Discretas Proposiciones Lógicas Matemáticas Discretas Lógica - La lógica
Más detallesTabla de valores de verdad
Tabla de valores de verdad Las tablas de valores de verdad son una herramienta desarrollada por Charles Peirce en los años 1880, siendo sin embargo más popular el formato que Ludwig Wittgenstein desarrolló
Más detallesEl conjuntos de los estudiantes inteligentes de la UPR Río Piedras. El conjunto de los mejores baloncelistas de la NBA.
1 Conjuntos Un conjunto es una colección de objetos bien definida. Ejemplos de conjuntos: El conjuntos de todos los estudiantes matriculados en el programa immersión. El conjunto de todos los pueblos de
Más detallesLógica Proposicional. Significado de una Fórmula Proposicional
Proposicional Semántica Semántica Proposicional - Significado de una Fórmula Proposicional El significado de una proposición está dado por su valor de verdad (o sea, si es Verdadera o Falsa) que se obtiene
Más detallesRudimentos 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 detallesParte Valor Puntuación I 36 II 54 Total 90
Universidad de Puerto Rico, Río Piedras Facultad de Ciencias Naturales Departamento de Matemáticas San Juan, Puerto Rico Apellidos: Nombre: No. estudiente: Profesor: Dr. M Mate 5 Examen I: 6 de septiembre
Más detallesLógica Proposicional
Proposicional Semántica Semántica Proposicional - Significado de una Fórmula Proposicional El significado de una proposición está dado por su valor de verdad (o sea, si es Verdadera o Falsa) que se obtiene
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 detallesDETERMINACIÓN DE UN CONJUNTO
CONJUNTO UNIVERSAL U A Gráficamente, al conjunto universal se lo representa mediante un rectángulo. Cualquier otro conjunto A es representado por una región cerrada, dentro del rectángulo, A este tipo
Más detallesVALORES 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 detallesEstructuras Discretas. Teoremas. Técnicas de demostración. Reglas de Inferencia. Reglas de Inferencia Ley de Combinación.
Estructuras Discretas Teoremas Técnicas de demostración Claudio Lobos, Jocelyn Simmonds clobos,jsimmond@inf.utfsm.cl Universidad Técnica Federico Santa María Estructuras Discretas INF 15 Definición: teorema
Más detallesApéndice 1 Reglas y leyes lógicas
1 Apéndice 1 Reglas y leyes lógicas 1. Reglas lógicas Tal como ya se ha visto, una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada en cada caso para
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 detallesCálculo Proposicional
Universidad Técnica ederico Santa María Departamento de Informática undamentos de Informática 1 Cálculo Proposicional Dr. Gonzalo Hernández Oliva Dr. Gonzalo Hernández USM I-1 Cálculo Proposicional 1 1)
Más detallesBenemérita Universidad Autónoma de Puebla
Tarea No. 1 Matemáticas Elementales Profesor Fco. Javier Robles Mendoza Benemérita Universidad Autónoma de Puebla Facultad de Ciencias de la Computación Lógica y Conjuntos 1. Considere las proposiciones
Más detallesLógica Matemática. Tema: Tautología, contradicción y evaluación de la validez
Lógica Matemática Tema: Tautología, contradicción y evaluación de la validez Tautología, contradicción y evaluación de la validez Una proposición molecular es una tautología si es cierta, cualesquiera
Más detallesUn 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 detallesCamilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1.
Guía de estudio Métodos de demostración Unidad A: Clase 3 Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1.. Inferencias y métodos de
Más detallesLógica Digital Transversal de Programación Básica Proyecto Curricular de Ingeniería de Sistemas
1 Lógica Digital 2013 Transversal de Programación Básica Proyecto Curricular de Ingeniería de Sistemas 2 La lógica es una disciplina que estudia la estructura, el fundamento y el uso de las expresiones
Más detallesSintaxis 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 detallesDemostraciones. Demostraciones básicas. José de Jesús Angel Angel
Demostraciones Demostraciones básicas www.math.com.mx José de Jesús Angel Angel jjaa@math.com.mx MathCon c 2007-2017 Contenido 0.1. Demostraciones..................................... 2 0.1.1. Negación
Más detallesAxiomas del Cálculo de Predicados
Axiomas del Cálculo de Predicados Si bien el cálculo proposicional nos permitió analizar cierto tipo de razonamientos y resolver acertijos lógicos, su poder expresivo no es suficiente para comprobar la
Más detallesTema 2: (Tecnologías Informáticas) Curso Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla
y Tema 2: y Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla Lógica Informática (Tecnologías Informáticas) Curso 2017 18 Contenido y En este tema presentaremos mecanismos
Más detallesLÓGICA. Colegio Marta Brunet Departamento de Matemáticas MSc. Alejandro Andrés Panes Pérez. Si x = 2 2 es un numero natural
Colegio Marta Brunet Departamento de Matemáticas MSc. Alejandro Andrés Panes Pérez LÓGICA Definición 1. Una proposición es una expresión susceptible de ser verdadera o falsa. Ejemplo 1. p: El ser humano
Más detallesCapítulo II. Pruebas en Matemáticas
Capítulo II Pruebas en Matemáticas Ahora nos concentramos en afirmaciones matemáticas y sus pruebas. Se encuentra que tratar de escribir pruebas justificando cada paso se vuelve rápidamente inmanejable,
Más detallesNotas de Álgebra y Matemática Discreta
Libros de Cátedra Notas de Álgebra y Matemática Discreta Liliana Alcón FACULTAD DE CIENCIAS EXACTAS NOTAS DE ÁLGEBRA Y MATEMÁTICA DISCRETA Liliana Alcón 2014 Alcón, Liliana Notas de algebra y matemática
Más detallesMATEMÁ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 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 detallesCapí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 conjunto de n proposiciones ordenadas. Mostramos que
Más detalles