ALGEBRA Y GEOMETRIA ANALITICA

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

Download "ALGEBRA Y GEOMETRIA ANALITICA"

Transcripción

1 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 haber sido el primero en tratarla con todo detalle. En un principio se llamó Analítica, en virtud del título de las obras en que trató los problemas lógicos. Más tarde los escritos de Aristóteles fueron recopilados por sus discípulos con el título de Organon, por considerar que la lógica era un instrumento para el conocimiento de la verdad. Aristóteles se planteo cómo es posible probar y demostrar cuando un conocimiento es verdadero, es decir, cuando tiene una validez universal. Él encuentra el fundamento de la demostración en la deducción, procedimiento que consiste en derivar un hecho particular de algo universal. En esta primera unidad daremos una breve introducción a la Lógica Proposicional que tiene su importancia ya que nos provee de la simbología y las herramientas necesaria para llevar adelante nuestro estudio matemático posterior y también por su aplicación en los llamados "circuitos lógicos" de uso en la electrónica y la informática. Proposición Comenzamos dando un concepto intuitivo de proposición. Llamamos PROPOSICION a una expresión que tiene sentido decir de ella que es o bien ERDADERA () o bien ALSA (). También podemos decir que: las proposiciones son oraciones declarativas o afirmativas de las cuales se puede afirmar que su enunciado es verdadero o falso (una y sólo una de estas posibilidades). Por ejemplo, las siguientes expresiones: El calor dilata los cuerpos. (oración declarativa) es El número 45 es divisible por 5. (oración afirmativa) es La matemática es una ciencia exacta. (oración afirmativa) es + 8 = 5 Quien viene? Pase usted x + 3 = 7 (igualdad afirmativa) es (oración interrogativa) (oración imperativa) Los 4 primeros enunciados son proposiciones porque tienen sentido decir si es o, en cambio los otros (una pregunta puede formularse o no, una orden puede ser cumplida o no) no son proposiciones. La última igualdad (ecuación) no se puede afirmar que sea verdadera o falsa, por lo tanto no es una proposición. Es decir no son proposiciones las oraciones interrogativas, exclamativas o imperativas; como tampoco las ecuaciones o inecuaciones donde aparecen una o más variables. - -

2 Denotaremos a las proposiciones con letras minúsculas generalmente las últimas del alfabeto: p, q, r, s, t,... y las llamaremos variables proposicionales; los términos verdadero o falso los llamaremos alores de verdad de las proposiciones. Por ejemplo: p : Santiago del Estero es una provincia Argentina q : El gato es un pez r : 7 < Proposiciones simples y compuestas Conectivos Lógicos Dada una o más proposiciones, podemos construir a partir de ellas nuevas proposiciones, por medio de ciertos conectivos. Por ejemplo a partir de las siguientes proposiciones: p: Hoy es miércoles y q: Hoy tenemos clase de Matemática Podemos construir otras proposiciones como por ejemplo: - Hoy no es miércoles. - Hoy no tendremos clase de Matemática. - Hoy es miércoles y tenemos clase de Matemática. - Hoy es miércoles o tenemos clases de Matemática - Si hoy es miércoles entonces tenemos clases de Matemática - Hoy es miércoles si y sólo si tenemos clase de Matemática Estas nuevas proposiciones tienen la particularidad de que contienen otras proposiciones. Por ejemplo: NO HAY CLASE contiene la proposición HAY CLASE Las proposiciones en las cuales pueden encontrarse otras proposiciones, se llaman compuestas. Es decir una proposición es compuesta cuando esta formada por una o más proposiciones simples unidas con términos de enlace. Los términos de enlace y, no, o, si entonces, si y sólo si, los llamaremos conectivos lógicos. Las proposiciones simples son aquellas que no contienen otras proposiciones como parte de ella. Por lo tanto las proposiciones simples no contienen ningún conectivo lógico, como por ejemplo las proposiciones: hoy es miércoles y hoy tenemos clase de Matemática. El valor de verdad de una proposición compuesta dependerá del valor de verdad de las proposiciones simples y de los conectivos lógicos que intervienen. Operaciones Lógicas A continuación definiremos las siguientes operaciones lógicas: - -

3 Negación: Dada una proposición p, la negación es la proposición no p, y se denota ~ p La negación se define por la siguiente tabla. p ~ p Ejemplos: Sea Su negación: o bien: o p: Juana aprobó el examen. ~ p: Juana no aprobó el examen. ~ p: No es cierto que Juana aprobó el examen. ~ p: No ocurre que Juana aprobó el examen. Conjunción: Dados las proposiciones p y q, la conjunción de p y q denotamos con p q y la definimos mediante la siguiente tabla (cuatro combinaciones posibles): p q p q La conjunción de dos proposiciones verdaderas es verdadera, en los otros casos es falsa. Ejemplo: Sean: p: María canta ; q: María baila p q: María canta y baila También podemos enunciar esta proposición: p q: María a la vez canta y baila, María canta pero baila, María canta aunque baila, María canta sin embargo baila Disyunción: Dadas las proposiciones p y q, la disyunción es una proposición compuesta que contiene el termino de enlace o. Denotamos con p q y se lee p o q. Los valores de verdad esta definida por la siguiente tabla. p q p q Esta proposición p o q se la llama también disyunción inclusiva. Es decir que p q es cuando por lo menos una de ellas es, también es cuando ambos son verdaderos

4 Ejemplo: Llueve o sale el sol. Esta proposición compuesta (disyunción) contiene a las proposiciones simples. p: llueve ; q: sale el sol. Implicación o Condicional: Dados p y q, llamamos condicional a la proposición que se obtiene al enunciar: Si p entonces q. Denotaremos esta proposición con el símbolo p q Dado el condicional p q, a la proposición que representa p se llama antecedente del condicional. La proposición que representa q se llama consecuente del condicional. Es importante hacer notar que no es necesario que el consecuente se derive lógicamente (o por causa o por efecto) del antecedente. Es decir, tiene tanto sentido lógico enunciar: Si Llueve, entonces me mojare. Como: Si + = 4, entonces el sol brilla. En ambos casos la tabla de valores de verdad es: p q p q Es decir, la implicación es falsa solo cuando el antecedente p es y el consecuente q es y es verdadera en los otros casos. Ejemplo: Si regularicé la asignatura entonces aprobé los parciales. Las proposiciones simples que la componen son: p: Regularicé la asignatura es el antecedente del condicional q: Aprobé los parciales es el consecuente del condicional Esta proposición es para nuestra asignatura porque se obtiene la regularidad () aprobando los parciales (). Ahora veremos la importancia del condicional en matemática. Condiciones necesaria y suficiente Observamos la tabla de verdad del condicional Hay tres casos en que p q es. a) Si sabemos que p q es y p es, q también debe ser, en cambio si p es nada podemos decir de q porque puede ser o. O sea que es suficiente saber que p es para que q lo sea. Se dice entonces que el antecedente p es condición suficiente para el consecuente q. O también se puede decir en éste caso que: Para q es suficiente p Ejemplo: i) Es suficiente que la figura tenga tres lados para que sea un triángulo. ii) Para aprobar el examen de ingreso es suficiente obtener 50 puntos

5 Que es lo mismo que enuncie el condicional en forma directa: i) Si la figura tiene tres lados entonces es un triángulo. ii) Si se obtiene 50 puntos entonces se aprueba el examen de ingreso. b) Si sabemos que p q es y si q es entonces p puede ser o, pero para que el antecedente p sea es necesario que q lo sea. Se dice entonces q es condición necesaria para p. O bien: Para p es condición necesaria q Ejemplo: i) Es necesario aprobar los parciales para regularizar la asignatura. ii) Para que ABC sea rectángulo es necesario que algunos de sus ángulos sean recto. Adoptando la forma de un condicional expresamos de la siguiente manera. i) Si regularicé la asignatura entonces aprobé los parciales. ii) Si el ABC es rectángulo entonces alguno de sus ángulos es recto. Cuando utilizamos el lenguaje q es condición necesaria para p, estamos diciendo, sólo si ocurre q puede ocurrir p. Sólo si tiene un ángulo recto, el triángulo ABC es rectángulo. También podemos enunciar esta proposición: El ABC es rectángulo sólo si tiene un ángulo recto. Resumiendo, dado un condicional verdadero y el antecedente y consecuente están vinculados semánticamente: p q, podemos decir que: p es condición suficiente para q, o que q es condición necesaria para p. En algunos casos puede ocurrir que q es también condición suficiente para p por lo que q p también es verdadero. En este caso decimos que: p es condición necesaria y suficiente para q. Introducimos otra conectiva. Bicondicional: Dadas las proposiciones p y q, llamamos bicondicional a la proposición que se enuncia p si y sólo si q que denotamos p q. Los valores de verdad están dados por la tabla. p q p q - 5 -

6 Es decir el bincondicional es si ambas proposiciones tienen el mismo valor de verdad. Ejemplo: = si y sólo si = esta proposición es mientras que las proposiciones simples que la componen: p: = es y q: = es ÓRMULAS LÓGICAS Llamamos fórmula lógica a toda expresión obtenida como resultado de vincular variables proposicionales con una o mas conectivas. Ya vimos algunas fórmulas lógicas y sus correspondientes valores de verdad: ~ p, p q, p q, p q, p q A partir de ellas podemos obtener otras fórmulas que contienen más de una conectiva, por ejemplo: p q r (p q) q ~r t s Para saber sus distintos valores de verdad construimos la tabla. Debemos observar cuantas variables distintas tiene la fórmula y establecer todas las alternativas posibles de valor de verdad de las variables Si las variables son m, las alternativas posibles son m. Por lo que dicha tabla tendría m filas. Por ejemplo: Si m = la tabla tendrá = 4 filas Si m = 3 la tabla tendrá 3 = 8 filas eamos en la formula p q r m = 3 8 filas p q r p q p q r Esta fórmula solo es falsa cuando p y q es y r es Tautología, Contradicción y Contingencia: Una fórmula cuyo valor de verdad es siempre, cualquiera sean los valores de verdad de las variables que la componen, se llaman tautología. Por ejemplo: Analicemos la fórmula lógica (p q ) p q - 6 -

7 p q p q ( p q ) p ( p q ) p q Como podemos observar la fórmula es siempre para los distintos valores de las variables, por lo que la fórmula es una tautología. Las siguientes fórmulas también son tautológicas. (erificar) i) ~ p q ii) (p q) p q iii) (p q) q r (p r) iv) (p q) p v ) (p q) ~ p q Una fórmula es una contradicción si y solo si, cualquiera sea el valor de verdad de las variables que la componen, ésta es siempre. Ejemplo: (p q) ~ p p q ~ p p q (p q) ~ p Las fórmulas que no son ni tautología ni contradicción las llamamos contingencia. Es decir, una fórmula es una contingencia cuando toma al menos un valor y al menos un valor. Por ejemplo la fórmula que analizamos en el tema anterior p q r es una contingencia. órmulas Equivalentes: Dos fórmulas son equivalentes cuando tienen las mimas tablas de verdad o bien cuando al conectarlas con un bicondicional se obtiene una fórmula tautológica. Ejemplo: ) p p es equivalente a p p p p p p p p p p P p p Otros ejemplos: i) p q ~ p q ii) p q (p q) (q p) Pueden verificar realizando sus tablas

8 Como lo definimos anteriormente aquellas fórmulas lógicas que resultan ser siempre verdaderas, no importa la combinación de los valores de verdad de sus componentes, son tautologías o también llamadas: leyes lógicas. eamos algunas de ellas: Involución ~ (~ p) p (se lee "no, no p, equivale a p") Idempotencia (p p) p (p p) p Conmutatividad a) de la disyunción: p q q p b) de la conjunción: p q q p Asociatividad a) de la disyunción: (p q) r p (q r) b) de la conjunción: (p q) r p (q r) Distributividad: De la conjunción respecto de la disyunción: (p q) r (p r) (q r) De la disyunción respecto de la conjunción: (p q) r (p r) (q r) Leyes de De Morgan ~ ( p q ) ~ p ~ q "La negación de una disyunción equivale a la conjunción de las negaciones" ~ ( p q ) ~ p ~ q "La negación de una conjunción equivale a la disyunción de las negaciones" Negación de una Implicación Las proposiciones ~ (p q) y p ~ q son equivalentes Condicionales Asociados: Sea el condicional p q, que llamaremos directo; en relación con él, se presentan otras 3 condicionales que son: q p recíproco ~ p ~ q contrario ~ q ~ p contrarecíproco Las implicaciones contrarrecíprocas son equivalentes. p q ~ q ~ p q p ~ p ~ q Para demostrar la verdad del condicional p q existen los métodos: a) Directo: Si p es, hay que probar pues que p q es Si p es, hay que establecer que el valor de q es. b) Indirecto: Si q es, p q es Si q es, hay que establecer que p es

9 Circuitos lógicos o booleanas La verdad de una proposición puede asociarse al pasaje de corriente en un circuito eléctrico con un interruptor. Así, para representar a p, si es, se tiene: p y para p, si es, se tiene: p Es decir, el interruptor se cierra si p es y se abre si p es. Podemos, así, representar las operaciones proposicionales mediante circuitos con tantos interruptores como proposiciones componentes, combinados en serie o paralelamente. eremos, a continuación, como representar en forma booleana las operaciones que surgen de operar con dos proposiciones mediante los conectivos lógicos que conocemos. Conjunción Este circuito admite el pasaje de corriente, es decir la verdad de p q, sólo si ambas son (comprobar en la tabla de verdad de la conjunción). Disyunción Está representada por un circuito en paralelo. Como vemos, admite el pasaje de corriente cuando al menos una de las dos es (comprobar en la correspondiente tabla de verdad). Implicación Dado que la representación mediante circuitos booleanos sólo es posible en caso de la conjunción o disyunción, para todas las demás operaciones necesitamos convertirlas en combinación de éstas. Así, puesto que ( p q ) ~ ( p ~ q ), aplicando una ley de De Morgan y la doble negación, se tiene ( p q ) ( ~ p q ) Es decir, convertimos la implicación en una disyunción para poder representarla mediante un circuito booleano. Tenemos, así: Ejemplo: Dibujar el circuito booleano de la siguiente proposición: (p q ) r - 9 -

10 unciones Proposicionales y Cuantificadores Expresiones tales como: x + = 5 x es cantante x esta contenta Pase x No son proposiciones puesto que figura en cada una de ellas una indeterminación y por lo tanto no puede decirse de las mismas que son verdaderas o falsas. Observemos las tres primeras expresiones, si reemplazamos x por algún nombre de cosas, se convierte en proposición, si esas cosas son de ciertas clases, por ejemplo: en el primer caso si reemplazamos por un número en la segunda y tercera el nombre de una persona obtenemos proposiciones, mientras que en la última no ocurre lo mismo. Las tres primeras expresiones son ejemplos de lo que llamamos formas proposicionales o funciones proposicionales. Definición: Una forma proposicional es una expresión que contiene una indeterminada y que se convierte en una proposición cuando se sustituye la indeterminada por uno o mas nombres. Por ejemplo x < 3 es una función proposicional y si reemplazo x por 7 obtengo la proposición 7 < 3 Denotaremos a las formas proposicionales en la indeterminada x con p(x), q(x), r(x). ale aclarar y de acuerdo a la definición que, p(x) es una forma proposicional si y solo si al reemplazar x por una nombre se convierte en proposición pero el reemplazo de x por cualquier nombre no siempre se convierte en proposición. Por Ejemplo. p(x): x es estudiante Si reemplazo a x por un nombre de persona, ej. Raúl, tendremos: Raúl es estudiante que es una proposición, pero si remplazo a x por escritorio, tendremos: escritorio es estudiante, que no es una proposición, pues no tiene sentido. Por ello es necesario considerar el conjunto universal o referencial de objetos cuyos nombres habrán de reemplazar a x. Denotaremos con U a dicho conjunto. Conjunto de verdad de una forma proposicional: Sea U el conjunto universal y p(x) una forma proposicional. Diremos que P es el conjunto de verdad de p(x) si y solo si: { / ( ) } simplemente { / ( )} P = a U p a es o P = a U p a Ejemplo: Sean las funciones proposicionales: i) p( x) : x 5 = 0 U = R P = x { x R / x 5 = 0 es } = 5 x = ± 5 x = ± 5 El conjunto de verdad es: P = { 5, 5} ii) q( x) : x + 5 < 3 U = R { / 5 3 } Q = x R x + < es x + 5 < 3 x < 3 5 x < - Q =, El conjunto de verdad es: { } - 0 -

11 De manera similar a lo efectuado con las proposiciones, podremos a partir de formas proposicionales dadas, construir otras formas proposicionales. Si p(x) y q(x) son formas proposicionales, expresamos la: Negación con: ~ p (x) Conjunción: p (x) q (x) Disyunción: p(x) q(x) Condicional con: p (x) q(x) Bicondicional con: p(x) q (x) Por la analogía entre las operaciones con proposiciones y las operaciones con las formas proposicionales resulta que las tablas de verdad de ambos son idénticas. En cuanto al conjunto de verdad de las distintas operaciones con formas proposicionales tenemos: Negación Sea p (x) una forma proposicional, P conjunto de verdad y U el conjunto universal. El conj. de verdad de ~ p (x) será: P = {a U / p(a) es } = { a U / p( a) es } { / } P = a U a P Es decir, el conjunto de verdad de la negación de una forma proposicional es el complemento de P. Conjunción Sea p (x) y q(x) dos formas proposicionales P y Q sus respectivos conjuntos de verdad. El conjunto de verdad de la conjunción: p(x) q (x) Disyunción R ={ a / p( a) q( a)es } = { a / p( a) es y q( a) es} R ={ a / a P a Q} = P Q P(x) q(x), el conjunto de verdad es: P Q Conjunción Recordar que p q ~ p q, por su analogía con formas proposicionales. El conjunto de verdad de p (x) q (x) es: P Q Bicondicional El conjunto de verdad de p(x) q(x) por la analogía con las proposiciones, recordar que: - -

12 [ p q ( p q) (q p) (~p q) (~q p) ] Luego, el conjunto de verdad es: ( P Q) (Q P) Cuantificadores Sea p(x) una forma proposicional, P su conjunto de verdad y U el conjunto universal. Si P = U entonces decimos que: Todo elemento x de U, p(x) es verdadero Aunque este enunciado contiene una variable, se obtiene una proposición verdadera y denotamos: x: p(x) El símbolo se lee para todo Al anteponer la expresión x a la forma proposicional p (x) se obtiene una proposición. Llamaremos cuantificador universal a x Ahora supongamos que P y hay un elemento x de U para la cual p(x) es una proposición verdadera. En este caso denotaremos: x/ p(x) y leemos existe al menos un x tal que p(x) es una proposición verdadera. El símbolo x se llama cuantificador existencial. Al anteponer el cuantificador existencial a la forma proposicional, obtenemos una proposición. Resumiendo al anteponer un cuantificador (universal o existencial) a una forma proposicional se obtiene una proposición. Negación de una proposición cuantificada Ejemplo : Todos los alumnos son morochos U = {x/x es alumno} Su forma lógica es: x : p( x) La negación de esta proposición cuantificada universalmente es: No todos los alumnos son morochos esto significa que: Hay por lo menos un alumno que no es morocho. Su forma lógica es: ~ x : p( x) x /~ p(x) ( ) Es decir la negación de un cuantificador universal es una proposición existencial negado su predicado. De manera similar veremos que la negación de un cuantificador existencial es una proposición universal negado su predicado: ~ x : p(x) x :~ ( ) p(x) Ejemplo : Hay caballos blancos. Su forma lógica es: x / p( x) La negación: No hay caballos blancos o bien Ningún caballo es blanco. Es decir: Todos los caballos no son blancos y su forma lógica es: x : ~p(x) - -

13 emos la siguiente proposición: Todos los niños son felices y divertidos. Considerando el conjunto universal: U={ x / x es niño } Las formas proposicionales que intervienen son: p(x): x es feliz q(x): x es divertido Su forma lógica es: x : p( x ) q( x ) Su negación en forma lógica es: ~ x : (p(x) q(x)) x / ~ p(x) q(x) x / ~ p(x) ~ [ ] [ ] q(x) La proposición correspondiente: Hay por lo menos un niño que no es feliz o no es divertido. Proceso de Demostración Todo el análisis realizado a lo largo de la Unidad, nos conduce a analizar el proceso de la demostración. Considerando el cálculo proposicional, basados en los conceptos de verdad y falsedad. En este sentido general intuitivo, y sin pretender dar una definición, podemos considerar la demostración como una combinación o enlace de dos o más proposiciones para obtener nuevas proposiciones cuya validez resulte de la validez de aquellas. Las proposiciones nuevas se dicen demostradas, inferidas o deducidas de las anteriores. Ya vimos que dada una proposición compuesta donde esta involucrado un condicional, hay dos caminos o métodos para demostrar la verdad del condicional: p q Recordemos que p es el antecedente también llamado hipótesis y q consecuente llamado tesis ) Si p es entonces debemos probar que q (el consecuente) es verdadero. (MÉTODO DIRECTO) ) Si q es debemos comprobar que p es. (CONTRARECÍPROCO o POR EL ABSURDO) Otra manera de demostrar una proposición o teorema, que depende de un número natural ( IN ) es utilizando el llamado Principio de Inducción Completa o Demostración por Recurrencia. PRINCIPIO DE INDUCCIÓN COMPLETA (P.I.C.) Para tener una idea intuitiva de dicho principio consideremos el siguiente ejemplo. Supongamos que un joven pone alineados las fichas de un domino y se extienden hasta donde alcanza nuestra vista y se sabe además que si una ficha cae, entonces cae la siguiente. Se intenta determinar cual es la condición para que en un momento dado caigan todas las fichas. En este caso se trata de investigar la propiedad: Todas las fichas se caen y para asegurar su verdad se sugieren las siguientes condiciones. i) La ra ficha se cayó. ii) Si una ficha cae entonces se cae la siguiente Observemos que por i) la primera ficha ha caído. Sabemos también por ii) que si la primera ficha cae, entonces la derriba a la segunda, así que ésta tendrá que caer. Y si la segunda ficha cae, entonces derriba la tercera (por ii)... y así sucesivamente. De aquí podemos afirmar si la cuarta (o quinta o décima) va a caer? Podemos responder que sí, puesto que la cadena de derribos se aproxima a ella inexorablemente y que la acabará tirando. Esto nos lleva a la afirmación del llamado principio de inducción

14 Axioma Si P es un subconjunto de los números naturales y verifica ) P; ) Si h P, entonces h + P Entonces P = IN De aquí resulta: Teorema Sea p(n) una proposición cualquiera que depende del número natural n. Si : i) p () es. ii) Si p(h) es, entonces p(h+) es. ENTONCES vale la proposición p(n) para todo n Demostración Sea P el conjunto de números naturales h para los cuales p(h) es verdadera. Por las hipótesis i) y ii) se tiene IN, si h P, entonces h + P Entonces P IN y verifica ) y ) del Axioma anterior y por lo tanto P = IN. O sea, p(n) es verdadera para todo n IN. Ejemplo: Usando el Principio de Inducción Completa (P.I.C.) probar la validez de la siguiente expresión para cualquier n natural: n n ( n + ) i = i= IN Para n =, i= i = n ( n + ) ( + ). = = = Se verifica la igualdad para n =. Supongo verdadero para n = h, es decir, h h ( h + ) i = i= es erdadero Se debe probar para n = h+, es decir, demostrar que la igualdad: h ( h + ) ( h + ) i = es erdadera + i= Demostración: h+ i= h i = i i= + ( h + ) = h ( h + ) h h + + ( h + ) = ( h + ) + = ( h + ) = ( h + )( h + ) Escribo como la suma Por el segundo paso, Saco factor común desde i = hasta h más el en el que se h+ último término, es decir, consideró verdadera el último sumando que la igualdad para corresponde a n = h+ n = h Con lo cual se demuestra que la proposición es erdadera para todo número natural n

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

Lógica Proposicional. Introducción

Ló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 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

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

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

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

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

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

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

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

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

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

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

Definición 1.3. La disyunción de dos oraciones p y q es la oración p o q. La

Definición 1.3. La disyunción de dos oraciones p y q es la oración p o q. La 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

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

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

Un 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 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 detalles

LEYES, ESTRUCTURAS BÁSICAS Y COCIENTES LÓGICA DE PROPOSICIONES

LEYES, 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 detalles

encontramos dos enunciados. El primero (p) nos afirma que Pitágoras era griego y el segundo (q) que Pitágoras era geómetra.

encontramos dos enunciados. El primero (p) nos afirma que Pitágoras era griego y el segundo (q) que Pitágoras era geómetra. Álgebra proposicional Introducción El ser humano, a través de su vida diaria, se comunica con sus semejantes a través de un lenguaje determinado (oral, escrito, etc.) por medio de frases u oraciones. Estas

Más detalles

Módulo 7 Negación. Negación: Es la contradicción a la proposición afirmativa utilizando el conectivo lógico no

Módulo 7 Negación. Negación: Es la contradicción a la proposición afirmativa utilizando el conectivo lógico no Módulo 7 Negación OBJETIO: Expresará la negación de una proposición dada, graficara el conjunto de verdad de la negación de una proposición, negará conjunciones y disyunciones. Construirá proposiciones

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

LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL MATEMÁTICA I AÑO LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL Nadie aprende si no se ha equivocado al intentarlo... - DE QUÉ TRATA LA LÓGICA? La lógica investiga la relación de consecuencia que se da entre

Más detalles

Módulo 1. Segunda Parte NOCIONES DE LÓGICA SIMBÓLICA

Mó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 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

Definición 2.- Las proposiciones se combinan mediante conectivos lógicos para formar otras proposiciones. Los conectivos lógicos básicos son:

Definició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 detalles

Tema de la clase: Lógica Matemática. Introducción

Tema 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 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

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

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

Rudimentos 2: Lógica Matemática Profesor Ricardo Santander Baeza

Rudimentos 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 detalles

LOGICA 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: 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 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

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

LÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS

LÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS LÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS Patricia Zamora Villalobos John Alexander Coral Llanos Josué Maleaño Trejos Prof. Francisco Carrera Fecha de entrega: miércoles de setiembre

Más detalles

Cálculo Proposicional

Cá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 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

No son proposiciones por no poder ser evaluadas como verdaderas ni falsas. Las exclamaciones, órdenes ni las preguntas son proposiciones

No son proposiciones por no poder ser evaluadas como verdaderas ni falsas. Las exclamaciones, órdenes ni las preguntas son proposiciones RESOLUCION Nº 03871 DE 07 DE NOIEMBRE DE 2012 ERSION 1.0 EJES TEMÁTICOS Proposiciones Teoría de conjuntos Sistemas de numeración a) Levántate temprano! b) Has entendido lo que es una proposición? c) Estudia

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

L OGICA Proposiciones

L OGICA Proposiciones CAPíTULO 4 LÓGICA Uno de los procesos por los cuales adquirimos conocimiento es el proceso de razonamiento. A su vez, hay una variedad de modos o formas mediante las cuales razonamos o argumentamos a favor

Más detalles

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

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

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

2. ELEMENTOS DE LÓGICA PROPOSICIONAL

2. ELEMENTOS DE LÓGICA PROPOSICIONAL Copyright 2013. Editorial Tébar lores. All rights reserved. RAMÓN RODRÍGUEZ ALLEJO 2. ELEMENTOS DE LÓGICA PROPOSICIONAL 2.1. PROPOSICIONES Definición 2.1.1.- Se denomina proposición a toda expresión verbal,

Más detalles

INTRODUCCIÓN A LA LÓGICA

INTRODUCCIÓN A LA LÓGICA UNIVERSIDAD NACIONAL DE RÍO CUARTO FACULTAD DE CIENCIAS EXACTAS, FÍSICO-QUÍMICAS Y NATURALES DEPARTAMENTO DE MATEMÁTICA INTRODUCCIÓN A LA LÓGICA Para el ingreso a las carreras de Matemática Material preparado

Más detalles

RAZONAMIENTO MATEMÁTICO

RAZONAMIENTO MATEMÁTICO RAZONAMIENTO MATEMÁTICO I. LÓGICA PROPOSICIONAL A. Proposiciones B. Conectivos proposicionales B.. Negación B.2. Conjunción B.3. Disyunción B.4. Condicional B.5. Bicondicional B.6. Otros conectivos C.

Más detalles

Proposiciones. Estructuras Discretas. Lógica de proposiciones y de predicados. Tablas de Verdad. Operadores Lógicos.

Proposiciones. Estructuras Discretas. Lógica de proposiciones y de predicados. Tablas de Verdad. Operadores Lógicos. Estructuras Discretas Proposiciones Lógica de proposiciones y de predicados Claudio Lobos clobos@inf.utfsm.cl Universidad Técnica Federico Santa María Estructuras Discretas INF 152 Definición: proposición

Más detalles

INSTITUCION EDUCATIVA LA PRESENTACION NOMBRE ALUMNA: ASIGNATURA: MATEMATICAS. NOTA

INSTITUCION EDUCATIVA LA PRESENTACION NOMBRE ALUMNA: ASIGNATURA: MATEMATICAS. NOTA INSTITUCION EDUCATIA LA PRESENTACION NOMBRE ALUMNA: AREA : MATEMATICAS ASIGNATURA: MATEMATICAS. NOTA DOCENTE: HUGO BEDOYA TIPO DE GUIA: CONCEPTUAL - EJERCITACION PERIODO GRADO ECHA N DURACION 1 6 EBRERO

Más detalles

LÓGICA. Colegio Marta Brunet Departamento de Matemáticas MSc. Alejandro Andrés Panes Pérez. Si x = 2 2 es un numero natural

LÓ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 detalles

SOBRE 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. 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 detalles

Guía de Ejercicios: Lógica y Teoría de Conjuntos

Guí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 detalles

Guí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 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 detalles

GUIA DE TRABAJOS TEORICO PRACTICO N 1: LÓGICA DE LAS PROPOSICIONES

GUIA DE TRABAJOS TEORICO PRACTICO N 1: LÓGICA DE LAS PROPOSICIONES CENTRO EDUCATIVO DE NIVEL TERCIARIO N 2 INTRODUCCIÓN A LA LOGICA SIMBOLICA PRIMER AÑO AÑO: 2005 GUIA DE TRABAJOS TEORICO PRACTICO N 1: LÓGICA DE LAS PROPOSICIONES La lógica es una ciencia formal, o sea,

Más detalles

LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL PROPOSICIONES Una proposición es todo enunciado, u oración enunciativa, respecto del cual se tiene un criterio que permite afirmar que su contenido es verdadero o falso, pero no ambos.

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

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

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

Enunciados Abiertos y Enunciados Cerrados

Enunciados 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 detalles

ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- V V V V F F F V F F F V

ALGEBRA 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 detalles

IDENTIFICACIÓN DE LA ACTIVIDAD PEDAGÓGICA DESARROLLO DE LA ACTIVIDAD. p, q, r, s

IDENTIFICACIÓ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 detalles

Lógica Digital Transversal de Programación Básica Proyecto Curricular de Ingeniería de Sistemas

Ló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 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

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 2: Lunes 18 Viernes 22 de Marzo. Contenidos

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 2: Lunes 18 Viernes 22 de Marzo. Contenidos Coordinación de Matemática I (MAT0) er Semestre de 0 Semana : Lunes 8 Viernes de Marzo Complemento Contenidos Clase : Cuantificadores, Producto cartesiano y Cardinalidad. Clase : Trigonometría: Identidades

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. Definiciones básicas: subconjunto, conjunto vacío, complemento, conjunto de partes A lo largo de esta sección consideraremos

Más detalles

Guía 4: Demostraciones en Cálculo Proposicional

Guía 4: Demostraciones en Cálculo Proposicional Introducción a los Algoritmos - 2do. cuatrimestre 2014 Guía 4: Demostraciones en Cálculo Proposicional Docentes: Walter Alini y Luciana Benotti. El objetivo principal de esta guía es lograr un buen entrenamiento

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

TEMA I INTRODUCCIÓN A LA LÓGICA

TEMA 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 detalles

Universidad de Santiago de Chile Departamento de Matemática y C.C. Ingeniería Civil

Universidad de Santiago de Chile Departamento de Matemática y C.C. Ingeniería Civil Universidad de Santiago de Chile Departamento de Matemática y C.C. Ingeniería Civil Pep N o 1 de Álgebra1 Ingeniería Civil Profesor Ricardo Santander Baeza 14 de mayo del 2007 (1) Sean p, q y r proposiciones

Más detalles

Lógica Simbólica y Teoría de Conjuntos Parte II Juan Carlos Bressan y Ana E. Ferrazzi de Bressan

Lógica Simbólica y Teoría de Conjuntos Parte II Juan Carlos Bressan y Ana E. Ferrazzi de Bressan Lógica Simbólica y Teoría de Conjuntos Parte II Juan Carlos Bressan y Ana E. Ferrazzi de Bressan Resumen En la Parte I se introdujeron simultáneamente las proposiciones, funciones proposicionales y sus

Más detalles

Facultad de Informática. Módulo 1 Lógica. Matemática 0 UNLP. Curso de Ingreso 2013 Matemática 0 Página 1

Facultad de Informática. Módulo 1 Lógica. Matemática 0 UNLP. Curso de Ingreso 2013 Matemática 0 Página 1 Matemática 0 UNLP Curso de Ingreso 2013 Matemática 0 Página 1 Contenido 1.1 Álgebra de proposiciones 3 Expresiones No Proposicionales 4 Enunciados Abiertos 4 Clasificación de las Proposiciones 4 1.2 Conectivos

Más detalles

1.1 Lógica proposicional

1.1 Lógica proposicional 1.1 Lógica proposicional La Lógica es una ciencia formal, que no se interesa ni por los contenidos del pensamiento, ni por el contenido de las expresiones del pensamiento, sino por sus formas, por sus

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

ENUNCIADO ABIERTO: Es un enunciado en forma de expresión matemática que no es verdadero ni falso. Ejemplos: x < 9 x + 2 = 10 a + b = 1 a 2 + b 2 = c 2

ENUNCIADO ABIERTO: Es un enunciado en forma de expresión matemática que no es verdadero ni falso. Ejemplos: x < 9 x + 2 = 10 a + b = 1 a 2 + b 2 = c 2 LÓGICA Es la ciencia que estudia el razonamiento inductivo y deductivo. El razonamiento inductivo es aquel que permite llegar a conclusiones generales a partir de observaciones particulares, por el contrario,

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

Lógica Proposicional. Preliminares Teoría de Conjuntos. Lógica Proposicional. Conectivos lógicos. Conectivos lógicos. Conectivos lógicos

Lógica Proposicional. Preliminares Teoría de Conjuntos. Lógica Proposicional. Conectivos lógicos. Conectivos lógicos. Conectivos lógicos Lógica Proposicional Preliminares Teoría de Conjuntos Definición. Una proposición es una oración con valor declarativo o informativo, de la cual se puede predicar su verdad o falsedad. Ejemplos de proposiciones?

Más detalles

LÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Sintaxis y semántica

LÓ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 detalles

Prueba de control Soluciones

Prueba de control Soluciones FACULTAD DE MATEMÁTICAS Lenguaje y método matemáticos 30 de septiembre de 011 Prueba de control Soluciones Nombre: 1 Experimente con casos concretos y proponga respuestas para las siguientes preguntas.

Más detalles

Unidad 2: Lógica. 2.1 Introducción. 2.2 Proposiciones

Unidad 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 detalles

Introducción a la lógica matemática y a la teoría de conjuntos

Introducció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 detalles

Lógica Proposicional. Significado de una Fórmula Proposicional

Ló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 detalles

Lógica Proposicional

Ló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 detalles

Capítulo 2: Elementos de lógica proposicional

Capítulo 2: Elementos de lógica proposicional Capítulo 2: Elementos de lógica proposicional por G 3 Agosto 2014 Resumen Describimos el uso de tablas de verdad, así como las definiciones de los principales conectivos lógicos:,,,, y. Nos extendemos

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

Demostración Automática. Tema 2. Procesamiento del conocimiento con la Lógica Matemática

Demostración Automática. Tema 2. Procesamiento del conocimiento con la Lógica Matemática Demostración Automática de Teoremas Tema 2. Procesamiento del conocimiento con la Lógica Matemática Temas Introducción Sistemas de axiomas Teoría de la demostración. Sistema de Kleene Deducción natural

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

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

CAPÍTULO 8 CAPÍTULO 8. BREVE HISTORIA.

CAPÍTULO 8 CAPÍTULO 8. BREVE HISTORIA. CAPÍTULO 8 CAPÍTULO 8. BREVE HISTORIA. Para evitar confusiones, consideraremos tres momentos de la lógica bien diferenciados: 1º el de la Lógica No-Matemática, que abarca desde Aristóteles (384 322 a.c.),

Más detalles

UNIDAD N 1 LÓGICA SIMBÓLICA

UNIDAD N 1 LÓGICA SIMBÓLICA UNIDAD N 1 LÓGICA SIMBÓLICA LÓGICA SIMBÓLICA DEFINICIÓN Nº 1: La LÓGICA SIMBÓLICA o LÓGICA MATEMÁTICA es una disciplina que estudia los sistemas formales, todo ello como parte de los fundamentos de las

Más detalles

Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid

Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid LÓGICA FORMAL Lógica Proposicional: Teorema de Efectividad Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Lógica Proposicional 1 La lógica proposicional

Más detalles

Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos).

Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos). Lógica intuitiva Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos). A : Las águilas vuelan B : El cielo es rosa C : No existe vida extraterrestre D : 5 < 3 E : Algunos

Más 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

Introducción a la lógica. Matemáticas Discretas Universidad de san buenaventura Cali

Introducción a la lógica. Matemáticas Discretas Universidad de san buenaventura Cali Introducción a la lógica Matemáticas Discretas Universidad de san buenaventura Cali Proposiciones compuestas (Disyunción, Conjunción, Negación, Condicional, Bicondicional) DISYUNCIÓN (v) La disyunción

Más detalles

MATEMÁTICAS DISCRETAS. UNIDAD1 Lógica y Demostraciones

MATEMÁTICAS DISCRETAS. UNIDAD1 Lógica y Demostraciones MATEMÁTICAS DISCRETAS UNIDAD1 Lógica y Demostraciones Para el estudio de esta unidad debe ubicarse en el Capítulo 1 del texto base, lea atentamente cada uno de los subtemas indicados en el índice de la

Más detalles

CUADERNILLO DE ÍTEMS ÍTEMS DE SELECCIÓN MÚLTIPLE CON ÚNICA RESPUESTA

CUADERNILLO DE ÍTEMS ÍTEMS DE SELECCIÓN MÚLTIPLE CON ÚNICA RESPUESTA CUADERNILLO DE ÍTEMS ÍTEMS DE SELECCIÓN MÚLTIPLE CON ÚNICA RESPUESTA A continuación, usted encontrará preguntas que se desarrollan en torno a un enunciado, problema o contexto, frente al cual, usted debe

Más detalles

La Lógica Proposicional

La Lógica Proposicional La Lógica Proposicional 1. Las proposiciones y sus tipos. Una proposición es una oración enunciativa, es decir, una oración que afirma o niega algo y que puede ser verdadera o falsa. Las proposiciones

Más detalles

Autora: 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. 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 detalles

LÓGICA Y CONJUNTOS* En este capítulo

LÓ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 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

Guía 4: Demostraciones en Cálculo Proposicional

Guía 4: Demostraciones en Cálculo Proposicional Introducción a los Algoritmos - 1er. cuatrimestre 2015 Guía 4: Demostraciones en Cálculo Proposicional Cálculo Proposicional Tomando ideas de E. W. Dijkstra (EWD-999), proponemos el uso de lo que llamamos

Más detalles

Definiciones generales. Alfabeto de la lógica proposicional. Conectivos. Conectivos

Definiciones generales. Alfabeto de la lógica proposicional. Conectivos. Conectivos Contenido BLOQUE II: Tema 1 SINTAXIS DE LA LÓGICA PROPOSICIONAL Lógica Grado en Ingeniería Informática Alessandra Gallinari URJC Alfabeto del lenguaje formal de la lógica proposicional Definición recursiva

Más detalles