La descarga está en progreso. Por favor, espere

La descarga está en progreso. Por favor, espere

Fundamentos de Lógica ¿Qué es una proposición? ¿Cuáles son los conectivos lógicos? ¿Cómo utilizar las tablas de verdad? ¿Qué es una tautología? ¿Qué es.

Presentaciones similares


Presentación del tema: "Fundamentos de Lógica ¿Qué es una proposición? ¿Cuáles son los conectivos lógicos? ¿Cómo utilizar las tablas de verdad? ¿Qué es una tautología? ¿Qué es."— Transcripción de la presentación:

1 Fundamentos de Lógica ¿Qué es una proposición? ¿Cuáles son los conectivos lógicos? ¿Cómo utilizar las tablas de verdad? ¿Qué es una tautología? ¿Qué es una contradicción?

2 Proposiciones veracidadfalsedad Una proposici ó n es una declaraci ó n sobre la que se puede decidir su veracidad o falsedad. Es decir, es un enunciado verdadero o es un enunciado falso, pero no puede ocurrir ambas cosas. Por ejemplo SON PROPOSICIONES El 2 es un n ú mero primo. 25 es divisible entre = 10. El aula A1-205 est á en el 2do piso. NO SON PROPOSICIONES Pare inmediatamente! ¿15 y 18 tienen la misma cantidad de divisores?. En realidad, ¿a qué se refiere?. Lávalo.

3 Proposiciones. Llamaremos proposiciones a aquellas frases del lenguaje natural, las cuales podamos afirmar que son verdaderas o falsas. Ejemplos de proposiciones: Dos es par Tres es mayor que diez Tres más cuatro es nueve

4 Se usan letras minúsculas p, q, r, s,...etc., para denotar proposiciones simples o atómicas. Una proposición es simple o atómica, si ninguna parte de ella es a su vez una proposición. Ejemplos de proposiciones simples o atómicas: Dos es un número par". "Tres es mayor que cuatro". "Tres más cinco es mayor que cuatro".

5 La propiedad fundamental de una proposición, es que ella puede ser verdadera o falsa, pero no ambas cosas a la vez. El valor de verdad de una proposición simple depende exclusivamente del enunciado de la proposición. Dos es un número par". "Tres es mayor que cuatro". "Tres más cinco es mayor que cuatro". Es verdadero. Es Falso. Es verdadero.

6 Algunos enunciados o proposiciones son compuestos, es decir, están formados de proposiciones simples y de conectivos que los unen. 2 es un número entero y es positivo Si llueve, el piso se moja Si es un entero, entonces es real Si estudio y hago los ejercicios, entonces apruebo y paso de curso

7 El valor de verdad de una proposición compuesta depende completamente del valor de verdad de cada proposición simple y del modo como se les reúne o conecta para formar la proposición compuesta.

8 Proposiciones ¿Cuáles de los siguientes enunciados son proposiciones? (Explica por qué lo son o no lo son) 1) El trabajo en grupo es lo m á s f á cil que existe. 2) 2 es divisor de 15. 3) ¿ Fuiste a la manfestaci ó n del s á bado?. 4) El aula A1-205 de la Unimet tiene m á s de 50 mts. cuadrados. 5) x + 3 es un entero positivo. 6) Tranquil í cese. Respuestas: Sólo son proposiciones los enunciados dados en 2 y 4

9 Conectivos Negación. Es aquel conectivo que niega la proposición, y normalmente se utiliza anteponiendo no, o anteponiendo la frase es falso que. Simbólicamente la negación se puede representar en lenguaje matemático, de tres formas diferentes: I.- Anteponiendo el símbolo. p significa no p. II.- Sobreponiéndole una barra p III.- Anteponiendo el símbolo. p significa no p.

10 Notación Para denotar o representar las proposiciones se usan letras min ú sculas: p, q, r, s,... p: El aula A1-204 está en el 2do piso q: El aula A1-204 es iluminada r: El 5 es un entero par s: La Tierra es el único planeta con vida en el universo t: El aula A1-204 no está iluminada u: Un decenio tiene 10 años

11 Negación El enunciado No se cumple p es una proposici ó n llamada la negaci ó n de p y se denota por p. Ejemplo p: Nuestro sal ó n est á en el 2do piso. p : Nuestro sal ó n no est á en el 2do piso. p : No es cierto que nuestro sal ó n est é en el 2do piso. Si p es verdadera entonces p es falsa. En cambio, si p es falsa, p es verdadera. La tabla de verdad de la negaci ó n es: p p VF FV

12 Notación Las proposiciones se combinan mediante conectivos, por ejemplo, y, o, pero, si... entonces … Por ejemplo p: El aula A1-204 est á en el 2do piso ; q: El aula A1-204 es iluminada. pueden combinarse como: El aula A1-204 est á iluminada y est á en el 2do piso Si el aula A1-204 está iluminada entonces se encuentra en el 2do piso

13 Conjunción. Es aquel conectivo que une dos proposiciones, incluyéndolas obligatoriamente a ambas. Se utiliza y como conectivo de conjunción. "dos es par y tres es impar Simbólicamente la conjunción y se representa en lenguaje matemático con el símbolo y

14 Conectivos La proposici ó n resultante de conectar dos ó m á s proposiciones se denomina proposici ó n compuesta. Ejemplo r : El aula A1-205 est á en el 2do piso pero es iluminada r es la proposici ó n compuesta p y q s: Si el aula A1-204 est á iluminada entonces se encuentra en el 2do piso s es la proposici ó n compuesta Si q entonces p

15 La conjunci ó n de p y q es la proposici ó n p y q que se denota por p q. La conjunci ó n es verdadera, ú nicamente cuando ambas proposiciones que la componen son verdaderas. Ejemplo Sea p: 2 divide a 68 q: 2 divide a 25. p q : 2 es divisor de 68 y de 25. Valor de verdad: p q es falsa Conectivos

16 Disyunción. Es aquel conectivo que une dos proposiciones ofreciendo una alternativa entre una proposición o la otra, así como también ofrece la posibilidad que sean ambas. "dos es mayor que siete o siete es mayor que dos". La proposición está compuesta por las proposiciones simples "dos es mayor que siete" junto con " siete es mayor que dos", conectadas por la palabra "o, que constituye el conectivo de disyunción, y su símbolo es

17 Conectivos La disyunci ó n de p y q, es la proposici ó n p o q, que se denota por p q. El o se usa en el sentido inclusivo; como en La soluci ó n de (x – 2).(y+2) = 0 es x = 2 o y = -2. La disyunci ó n es falsa, ú nicamente, cuando ambas proposiciones son falsas. Ejemplo: Sean p: 3 divide a 6 q: 3 divide a 7 p q : 3 divide a 6 ó a 7 Valor de verdad: p q es verdadera.

18 Las tablas de verdad de los dos conectivos anteriores son: p q V V V F pq VVV VFF FVF FFF Tablas de verdad p y q p o q

19 DISYUNCIÓN EXCLUYENTE Es la disyunción pero que su valor de verdad acepta una sola proposición como verdadera. No pueden ocurrir las dos proposiciones al mismo tiempo. Ejemplo: Me caso con Rosita o con Doris Hoy a las 3 voy al Parque Arauco o al Alto Las Condes. Su notación es: p q

20 pqp q Valores de verdad Disyunción excluyente V F V V F FF V F V V F

21 Implicación o Condicional Es aquél conectivo en el que se establece una condición para que se cumpla la otra proposición. normalmente se establece como: Si se cumple p, entonces se cumple q p q

22 Conectivos La implicaci ó n es la proposici ó n Si p entonces q, que se denota por p q A p se le llama hip ó tesis (o antecedente) y a q se le llama tesis (o consecuente). La proposici ó n p q, se puede leer tambi é n como Si p, q p s ó lo si q p es suficiente para q q es necesaria para p p implica q q se deduce de p

23 Conectivos Ejemplo: p: Los polvos de jard í n contienen veneno q: Los polvos de jard í n son de colores brillantes. La proposici ó n p q puede estar expresada como: Si los polvos de jard í n contienen veneno entonces son de colores brillantes ; Los polvos de jard í n contienen veneno s ó lo si son de colores brillantes ; Son necesarios los colores brillantes para los polvos de jard í n que contienen veneno ; Los polvos de jard í n son de colores brillantes si contienen veneno.

24 Conectivos Si p entonces q es verdadera, cada vez que la condici ó n p es verdadera obliga a que la condici ó n q tambi é n sea verdadera. Es decir, con el cumplimiento de p, se promete el cumplimiento de q. La tabla de verdad para la implicaci ó n es pq p q VVV VFF FVV FFV La implicación es falsa, únicamente, cuando el antecedente es verdadero y el consecuente es falso. En este caso, a pesar de estar dadas las condiciones, no se cumple la promesa.

25 Conectivos Ejemplo: p: La respuesta autom á tica se puede enviar q: El sistema de archivos est á lleno. p q : Si la respuesta autom á tica no se puede enviar, el archivo est á lleno. q p : La respuesta autom á tica no se puede enviar cuando el archivo est á lleno. q p : La respuesta autom á tica no se puede enviar si el archivo est á lleno. p q : Si la respuesta autom á tica se puede enviar, el archivo no est á lleno.

26 Conectivos Ejercicio Si x = 1, ¿ cu á l es el valor de la variable x despu é s de ejecutarse cada una de las siguientes instrucciones? a) si = 4 entonces x:=x + 1 b)si (1+1=3) or (2+2=3) entonces x:=x + 1 c)si (2+3=5) and (4+3=7) entonces x:=x + 1 d) si x < 3 entonces x:=x + 1 Respuesta: a)x = 2 c) x = 2 b)x = 1 d) x = 2 ¿ x = ??

27 Bicondicional o doble implicancia. Es aquel conectivo de la forma: se cumple p si y solamente si se cumple q. Esto significa que también se cumple la situación inversa, es decir que como se cumple q, también se cumple p. p q

28 Conectivos La proposici ó n p si y s ó lo si q se denomina bicondicional y se denota por p q Es verdadera cuando p y q tienen los mismos valores de es verdadera si ambas componentes son verdad, es decir, es verdadera si ambas componentes son verdaderas o ambas son falsas. Una manera de abreviar si y s ó lo si es sii. p si y s ó lo si q se puede expresar como p es condici ó n necesaria y suficiente para q. Ejemplo p : 24 es un n ú mero par. q : 24 es divisible por 2. p q : 24 es un n ú mero par si y s ó lo si 24 es divisible entre 2.

29 Conectivos La tabla de verdad para el bi-condicional es pq p q VVV VFF FVF FFV

30 Verdad lógica o Tautología. Son aquellas proposiciones que siempre son verdad, sin importar los valores de verdad de las proposiciones que la componen.

31 pq p q(p q) p Consideremos la proposición ((p q) p) F VV V FV FF V F F F V V V V

32 Tautología y contradicción Una tautolog í a es una proposición compuesta que es verdadera para todos los valores de verdad de las proposiciones que la componen. Por ejemplo: p p Soy un hombre o no soy un hombre Una contradicción es una proposición compuesta que es falsa para todos los valores de verdad de las proposiciones que la componen. Por ejemplo: p p Soy un hombre pero no soy un hombre

33 Contingencia Son aquellas proposiciones que pueden ser verdad o falso, dependiendo de los valores de verdad de las proposiciones que le componen.

34 Contradicciones Son aquellas proposiciones que siempre son falsas, sin importar los valores de verdad de las proposiciones que la componen.

35 Verdades lógicas usuales Ley de Idempotencia p p p Ley Asociativa (p q ) r p (q r) Ley Conmutativa p q q p

36 Ley Distributiva Ley de Identidad p F p V p F Leyes de DeMorgan (p q) (p r) (a b) + (a c) a (b + c ) p (q r) (p q) (p r) F p V p Implicancia

37 Ley de Absorci ó n p (p q) p Leyes del Complemento

38 Algunas equivalencias A A FContradicción A A TTautología A ADoble negación A B B AConmutatividad A (B C) (A B) (A C)Distributividad A (A B) AAbsorción

39 Utilizando las equivalencias lógicas Implicancia Negación DeMorgan

40 Utilizando las equivalencias lógicas Implicancia distribución Fqq () V q F q () q q F q

41 Ejercicios 1) Halla los valores de verdad de las proposiciones si sabes que p q es falsa. a) p q b) q p c) p p d) p q Piensa un rato y justsiica tus respuestas 3) Construye una tabla de verdad para cada una de las proposiciones a) ( p ¬q ) q b) ( p q ) ( p q ) c) q (¬p ¬q) 2) Halla los valores de verdad de p, q, r, s, t para que la proposición ( p q ) r ( s t ) sea falsa. ¿Cuáles de estas proposiciones es una tautología? ¿Puedes construir una contradicción a partir de alguna de ellas? ¿Cuál?

42 Formalización La formalización es el proceso en el que se traducen proposiciones del lenguaje cotidiano al lenguaje formal o simbólico. 4) Expresa las siguientes proposiciones usando p, q y los conectivos. Sean p: La temperatura está sobre los 17°C q: Llueve a)La temperatura está sobre los 17°C pero llueve. b)Ni la temperatura supera los 17°C ni llueve. c)No es cierto que llueva con la temperatura superior a los 17°C. d)Llueve cuando la temperatura está sobre los 17°C. e)Que la temperatura esté sobre los 17°C es suficiente para que no llueva. f)O bien llueve o bien la temperatura es superior a 17°C.

43 Formalización 5) Sean p: El mensaje es revisado para buscar alg ú n virus q: El mensaje fue enviado desde un sistema desconocido Expresa las siguientes proposiciones usando p, q y los conectivos. a) El mensaje se revisa para buscar alg ú n virus siempre que se haya enviado desde un sistema desconocido. b) El mensaje fue enviado desde un sistema desconocido pero no revis ó para buscar ning ú n virus. c) Cuando el mensaje no es enviado desde un sistema desconocido no se revisa para buscar ning ú n virus. d) El mensaje fue enviado desde un sistema desconocido pero no se reviso para buscar ning ú n virus.


Descargar ppt "Fundamentos de Lógica ¿Qué es una proposición? ¿Cuáles son los conectivos lógicos? ¿Cómo utilizar las tablas de verdad? ¿Qué es una tautología? ¿Qué es."

Presentaciones similares


Anuncios Google