47
TEMA 1. LÓGICA ING DE SISTEMAS

Presentación de Lógica

  • Upload
    ufps

  • View
    7.636

  • Download
    0

Embed Size (px)

DESCRIPTION

Láminas del primer capítulo de lógica proposicional e introducción a las tablas de verdad

Citation preview

Page 1: Presentación de Lógica

TEMA 1. LÓGICA

ING DE SISTEMAS

Page 2: Presentación de Lógica

2

Page 3: Presentación de Lógica

3

Situación 1

El profesor de matemáticas discretas dejo un trabajo el día lunes 27-ago-2007 para el día martes 04 sept-2007 (donde el lunes 03-sep Fue fiesta).

Pepe no pudo presentar el trabajo. El martes Pepe hablo con el Profesor y le dijo:

” No pude terminar el trabajo para hoy profesor, porque no pude trabajar en el feriado, ya que

todo la semana tuve que hacer muchos trabajos de las demás materias y mi mamá se enfermo el fin de semana y tuve que cuidarla”.

Page 4: Presentación de Lógica

4

¿¿¿¿¿Qué puede pensar el profesor???????• ¿El trabajo no se pudo cumplir por que había un feriado?• ¿Las demás materias ameritan mas tiempo que matemáticas

discretas?.• ¿Planee mal el tiempo del trabajo ?

Conclusión:El alumno revele una falta de planificación en sus actividades.

Los alumnos comienzan hacer el trabajo el día anterior. Si hubo problema en la realización del trabajo ¿Por qué no lo reporto antes?

¿Será lógica la excusa?

Recuerden que las excusas, son para entender el porque de los hechos. Se trata de razonar como Uds.

Page 5: Presentación de Lógica

5

Situación 2• Pepe expreso:“Profesor debido a las obligaciones adquiridas con

anterioridad en las demás materias, no tuve tiempo de terminar el trabajo puesto en su clase. Intente realizarlo el fin de semana , pero mi Mamá se enfermo ocupando mi tiempo en toda su totalidad. El día lunes comenze hacer el trabajo pero NO alcance a Terminarlo”

¿Es lógica la excusa?

Page 6: Presentación de Lógica

…situaciones lógicas e ilógicasEn las historias se desarrollan argumentos coherentes que muchas veces

responden a  la lógica y la ilógica.• El problema es el motor de la inteligencia: sin él ni la mente más

curiosa puede entrar en acción, pero cuando no se resuelve se acumula generando estrés. Para que exista el  problema hay varios debes: aceptarlo, estar al alcance intelectual, querer encararlo y poder hacer algo. Sin problemas la vida sería tan aburrida que alguien los terminaría inventado. 

• El capital para resolverlos es la memoria y el instrumento es  el pensamiento. Gracias a ellos se comprende la situación y se inventa la solución para actuar en consecuencia.

• Cuando se conoce la solución no hay problema ni pensamiento sino aplicación de la memoria. 

Page 7: Presentación de Lógica

…situaciones lógicas e ilógicas(2)

<<Un señor compró un cachorro de pastor alemán y su vecino un loro, éste preguntó: el perro, ¿no se  comerá al loro?. El señor lo convenció diciendo: crecerán juntos y serán  amigos. Y así ocurrió. Hasta que en unas  vacaciones, el pastor alemán apareció con el loro entre sus dientes, muerto, con signos de violencia y suciedad. El señor recordó la frase: "el perro se comerá al loro".  Pronto volverían los vecinos: ¿Qué hacer ?, ¿sacrificar al perro?. Finalmente decidió bañar al loro y dejarlo en su casita, para que al menos los vecinos pudiesen despedirlo>>

Page 8: Presentación de Lógica

…situaciones lógicas e ilógicas(3)

La historia sigue:<<El vecino regresó y contó que el loro 

murió antes de irse, que lo enterró y al volver estaba muerto pero en su casita.>>

Page 9: Presentación de Lógica

…situaciones lógicas e ilógicas(4)Explicación a la historia

• El hombre tiene una racionalidad limitada, no accede a la verdad completa  ni usa el 100 % de su capacidad, por lo tanto su razón es incierta. Confunde hechos con interpretaciones, concluye sin tomar conciencia del automatismo de su inferencia ni advertir sus consecuencias. 

• En su conversación interna irrumpe primero la emoción que siente el impacto y condiciona a la razón para interpretarlo. Es un modelo simple que intenta darle sentido a lo que ocurre pero  considera al  juicio como verdadero sin molestarse en comprobarlo ni fundamentarlo. 

• Al advertir esta falla sistémica de la mente es importante recolectar todo tipo de hechos y no sólo los que apoyan el discurso, tomarlos como pretendientes de datos, aplicar la solidaridad intelectual para no confundir hechos con  hipótesis, reconocer las lagunas,  que las cosas no son siempre lo que parecen y que el punto de vista con el cual se atiende genera su propio desarrollo

• La paradoja que surge de la historia que relatamos  es que para tener creencias razonables hay que ser personas razonables en la manera de adquirir y aceptar las creencias

Page 10: Presentación de Lógica

"La vida es el arte de sacar conclusiones suficientes a

partir de datos  insuficientes", Voltaire

Page 11: Presentación de Lógica

11

LÓGICA“La lógica es el estudio de

los métodos y principios usados para distinguir el

razonamiento correcto del incorrecto”.

“La lógica se ocupa de la cuestión del peso o valor probatorio de diferentes tipos de elementos de

juicio”.

Page 12: Presentación de Lógica

12

• Es el estudio de los razonamientos– Sin tomar en cuenta su contenido– Le interesa la corrección del proceso de

razonamiento una vez finalizado– Le interesa, particularmente, si las

conclusiones se derivan de las premisas afirmadas, en cuyo caso el razonamiento es correcto

Page 13: Presentación de Lógica

13

¿Para que sirve la Lógica?1. Asignar Responsabilidades

Tomado del curso: Lógica-Dr. Jacinto Davila

Page 14: Presentación de Lógica

14

¿Para que sirve la Lógica?2. Comunicar Con Claridad

Tomado del curso: Lógica-Dr. Jacinto Davila

Page 15: Presentación de Lógica

15

¿Para que sirve la Lógica?3. Para evitar ambigüedad

Tomado del curso: Lógica-Dr. Jacinto Davila

Page 16: Presentación de Lógica

16

¿Para que sirve la Lógica?4. Para definir Responsabilidades

Tomado del curso: Lógica-Dr. Jacinto Davila

Page 17: Presentación de Lógica

17

¿Para que sirve la Lógica?5. Para Usar los símbolos Correctamente

Tomado del curso: Lógica-Dr. Jacinto Davila

Page 18: Presentación de Lógica

18

¿Para que sirve la Lógica?6. Para distinguir el razonamiento Correcto

del incorrecto

Tomado del curso: Lógica-Dr. Jacinto Davila

Page 19: Presentación de Lógica

19

PROPOSICIÓNUna proposición es una declaración sobre la que se

puede decidir su veracidadveracidad o falsedadfalsedad. Es decir, es un enunciado verdadero o es un enunciado falso, pero no puede ocurrir ambas cosas.

SON PROPOSICIONES“El 2 es un número primo”.“ 25 es divisible entre 3 ”.“ 6 + 5 = 10 ”.“El aula A404 está en el 2do piso”.

NO SON PROPOSICIONES“ Pare inmediatamente!” “¿15 y 18 tienen la misma cantidad de divisores?”.“ En realidad, no sé a qué se refiere”.“ Lávalo”.

Page 20: Presentación de Lógica

20

Proposición Atómica• Una proposición es atómica si no puede ser

descompuesta en proposiciones más simples.

• Las proposiciones atómicas son indicadas de manera afirmativa.

• Ejemplos:– La casa es grande. (es atómica)– La casa no es grande. ( no es atómica)– Hoy es viernes y tenemos clase. (no es atómica)

Page 21: Presentación de Lógica

21

Proposición Molecular

• Una proposición es molecular si no es atómica, es decir, si puede ser descompuesta en proposiciones más simples.

• Una proposición molecular se forma al unir proposiciones atómicas utilizando conectivos lógicos o términos de enlace.

Page 22: Presentación de Lógica

22

NotaciónPara denotar o representar las proposiciones se usan letras

minúsculas: p, q, r, s, ...

p: “El aula A204 está en el 2do piso”

q: “El aula A204 es iluminada”

r: “El 5 es un entero par”

ss: “La Tierra es el único planeta con vida en el universo”: “La Tierra es el único planeta con vida en el universo”

t: “El aula A204 no está iluminada”

u: “Un decenio tiene 10 años”

Page 23: Presentación de Lógica

23

Conectivos Lógicos

Conectivo Simbolización

y ^

o v

no (sobre la proposición)

Page 24: Presentación de Lógica

24

Proposiciones Moleculares

• Ejemplos– Vamos en bicicleta o vamos a pie.– No es cierto que Juan llegó temprano– Juan no llegó temprano– Luis es arquitecto y Martín es médico.– La medalla no es de plata y el diploma parece

falso.– Matías aprobó pero Lucas no.

Page 25: Presentación de Lógica

25

Notación• Se utilizarán letras minúsculas para simbolizar las

proposiciones atómicas.• Ejemplo:

– El Ing. Oscar Gallardo es el jefe del Dpto de Sistemas-UFPS.

Si se considera p = “El Ing. Oscar Gallardo es el jefe del Dpto de

Sistemas-UFPS”esta proposición puede ser simbolizada como p.

Page 26: Presentación de Lógica

26

Notación

• Para simbolizar un proposición– Identificar las proposiciones atómicas– Simbolizar las proposiciones atómicas

encontradas.– Utilizar los conectivos lógicos para

relacionarlas.

Page 27: Presentación de Lógica

27

Notación

• Ejemplos– Vamos en bicicleta o vamos a pie.

p : “Vamos en bicicleta”.q : “Vamos a pie”Simbolización: p v q

– No es cierto que Juan llegó tempranop = “Juan llegó temprano”.Simbolización : p

Page 28: Presentación de Lógica

28

Notación• Ejemplo

– La medalla no es de plata y el diploma parece falso.p : “La medalla es de plata”.q : “El diploma parece falso”

Simbolización: p ^ q

Page 29: Presentación de Lógica

29

Notación• Ejemplo

– Matías aprobó el examen pero Lucas no.r = “Matías aprobó el examen”.s = “Lucas aprobó el examen”

Simbolización : r ^ s

Page 30: Presentación de Lógica

30

Tabla de Verdad

• La tabla de verdad de una proposición molecular muestra todas las posibles combinaciones de valores de verdad de las proposiciones atómicas que la componen.

Page 31: Presentación de Lógica

31

NegaciónEl 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:

VFFV

¬pp

Page 32: Presentación de Lógica

32

Negación

• Indique el valor de verdad de:– El número 9 no es divisible por 3.– No es cierto que los perros vuelan.

p p

V F

F V

Page 33: Presentación de Lógica

33

Conjunción

• Indique el valor de verdad de :– 6 es un número par y divisible por 3.– ( 2 + 5 = 7 ) y ( 2 * 3 = 9 )

p q p ^ q

V V V

V F F

F V F

F F F

Page 34: Presentación de Lógica

34

Disyunción

• Indique el valor de verdad de :– 2 es primo o es impar.– (2 + 3 = 4 ) o (2 * 2 = 5)

p q p v q

V V V

V F V

F V V

F F F

Page 35: Presentación de Lógica

35

Notación y ConectivosLas proposiciones se combinan mediante conectivos,como 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”

Page 36: Presentación de Lógica

36

ConectivosLa proposición resultante de conectar dos ó más proposiciones se denomina proposición compuesta.

Ejemplor : “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” ”

Page 37: Presentación de Lógica

37

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 cuandoambas proposiciones que la componen sonverdaderas.

Ejemplo Sea p: “2 divide a 68”

q: “2 divide a 25”. p ∧ q : “ 2 es divisor de 68 y de 25”. p ∧ q es falsa

Conectivos

Page 38: Presentación de Lógica

38

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 ambasproposiciones son falsas.Ejemplo: Sean p: “3 divide a 6” q: “3 divide a 7” p ∨ q : “ 3 divide a 6 ó a 7”

p ∨ q es verdadera.

Conectivos

Page 39: Presentación de Lógica

39

Las tablas de verdad de los dos conectivosanteriores son:

FVVV

p ∨ q

Tablas de verdad

FFFFVFFFVVVV

p ∧ qqp

p y q

p o q

Page 40: Presentación de Lógica

40

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  p sólo si q,

p es suficiente para q,q es necesaria para p,

p es condición suficiente para q,q es condición necesaria para p,

Conectivos

Page 41: Presentación de Lógica

41

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:

“Los polvos de jardín contienen veneno sólo si son de colores brillantes”;

“Si los polvos de jardín contienen veneno entonces 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”.

Conectivos

Page 42: Presentación de Lógica

42

“Si p entonces q ” es verdadera, cada vez que la condición p

es verdadera obliga a que la condición q también es verdadera.

Es decir, con el cumplimiento de p, se promete el cumplimiento

de q. La implicación es falsa, únicamente,

cuando el antecedente esverdadero y el consecuente es falso.

En este caso, a pesar de“estar dadas las condiciones”, no se

cumple la promesa.La tabla de verdad para la

implicación es

VFFVVFFFVVVV

p → qqp

Conectivos

Page 43: Presentación de Lógica

43

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”.

Conectivos

Page 44: Presentación de Lógica

44

Page 45: Presentación de Lógica

45

La proposición “p si y sólo si q” se denomina bi-condicional y se denota por “p ↔ q” Es verdadera cuando p y q tienen los mismos valores deverdad, es decir, es verdadera si ambas componentes sonverdaderas 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”.

Ejemplop : 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”.

Conectivos

Page 46: Presentación de Lógica

46

• La tabla de verdad para el bicondicional es

VFFFVFFFVVVV

p ↔ qqp

Conectivos

Page 47: Presentación de Lógica

47

Construcción de tablas de verdad

• ¿Cuántas filas tiene la tabla?– 1 proposición 2 valores (V o F)– 2 proposiciones 4 valores de verdad– 3 proposiciones 8 valores de verdad– .........– n proposiciones 2n valores de verdad.