SlideShare uma empresa Scribd logo
1 de 47
Baixar para ler offline
TEMA 1. LÓGICA

 ING DE SISTEMAS
2
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”.

                                                3
¿¿¿¿¿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.




                                                                  4
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?
                                                   5
…situaciones lógicas e ilógicas
En 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. 
…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>>
…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.>>
…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
"La vida es el arte de sacar
 conclusiones suficientes a
      partir de datos 
  insuficientes", Voltaire
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”.

                              11
• 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
                                          12
¿Para que sirve la Lógica?
1. Asignar Responsabilidades




      Tomado del curso: Lógica-Dr. Jacinto Davila   13
¿Para que sirve la Lógica?
2. Comunicar Con Claridad




     Tomado del curso: Lógica-Dr. Jacinto Davila   14
¿Para que sirve la Lógica?
3. Para evitar ambigüedad




    Tomado del curso: Lógica-Dr. Jacinto Davila   15
¿Para que sirve la Lógica?
4. Para definir Responsabilidades




        Tomado del curso: Lógica-Dr. Jacinto Davila   16
¿Para que sirve la Lógica?
5. Para Usar los símbolos Correctamente




         Tomado del curso: Lógica-Dr. Jacinto Davila   17
¿Para que sirve la Lógica?
6. Para distinguir el razonamiento Correcto
               del incorrecto




             Tomado del curso: Lógica-Dr. Jacinto Davila   18
PROPOSICIÓN
Una proposición es una declaración sobre la que se
 puede decidir su veracidad o falsedad. Es decir,
                               falsedad
 es un enunciado verdadero o es un enunciado
 falso, pero no puede ocurrir ambas cosas.
                               NO SON PROPOSICIONES
SON PROPOSICIONES              “ Pare inmediatamente!”
“El 2 es un número primo”.     “¿15 y 18 tienen la misma
“ 25 es divisible entre 3 ”.   cantidad de divisores?”.
                               “ En realidad, no sé a qué se
“ 6 + 5 = 10 ”.                refiere”.
“El aula A404 está en el       “ Lávalo”.
2do piso”.

                                                               19
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)
                                                  20
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.

                                           21
Notación
Para 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”

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

                                                                  22
Conectivos Lógicos

Conectivo   Simbolización
    y              ^
    o              v
   no          (sobre la proposición)




                                        23
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.
                                                    24
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.


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



                                             26
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ó temprano
    p = “Juan llegó temprano”.
    Simbolización : p
                                           27
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


                                             28
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


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




                                              30
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
                      V          F
                      F         V                              31
Negación
                  p         p
                 V          F
                 F          V



• Indique el valor de verdad de:
  – El número 9 no es divisible por 3.
  – No es cierto que los perros vuelan.
                                          32
Conjunción
            p           q            p^q
            V           V             V
            V           F             F
            F           V             F
            F           F             F




• Indique el valor de verdad de :
  – 6 es un número par y divisible por 3.
  –(2+5=7) y(2*3=9)                         33
Disyunción
            p        q           pvq
           V         V            V
           V         F            V
           F         V            V
           F         F            F




• Indique el valor de verdad de :
  – 2 es primo o es impar.
  – (2 + 3 = 4 ) o (2 * 2 = 5)
                                       34
Notación y Conectivos
Las 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”                                             35
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” ”

                                                         36
Conectivos

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”.
                                                   37
        p ∧ q es falsa
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”
          p ∨ q es verdadera.
                                                       38
Tablas de verdad

Las tablas de verdad de los dos conectivos
anteriores son:


             p        q      p∧q      p∨q
             V        V       V        V
             V        F       F        V
             F        V       F        V
             F        F       F        F


                             pyq
                                        poq   39
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
                           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,
                                                       40
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:

“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 41
  veneno”.
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   es    p   q   p→q
    verdadera.
                                        V   V    V
 Es decir, con el cumplimiento de p,
    se promete el cumplimiento          V   F    F
 de q.                                  F   V    V
La implicación es falsa, únicamente,    F   F    V
    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.
La tabla de verdad para la
    implicación es
                                                 42
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”.


                                                                             43
44
Conectivos
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 de
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”.

                                                                       45
Conectivos

• La tabla de verdad para el bicondicional es

                   p         q      p ↔q
                   V         V         V
                   V         F         F
                   F         V         F
                   F         F         V




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



                                                   47

Mais conteúdo relacionado

Mais procurados

Mais procurados (20)

Dea01 Cuantificadores
Dea01 CuantificadoresDea01 Cuantificadores
Dea01 Cuantificadores
 
Tautologia y contraddicciones
Tautologia y contraddiccionesTautologia y contraddicciones
Tautologia y contraddicciones
 
La lógica
La lógicaLa lógica
La lógica
 
Logica
LogicaLogica
Logica
 
Ejemplos de logica proposicional
Ejemplos de logica proposicionalEjemplos de logica proposicional
Ejemplos de logica proposicional
 
Taller2 Logica Proposicional
Taller2 Logica ProposicionalTaller2 Logica Proposicional
Taller2 Logica Proposicional
 
Clase 1 que es logica
Clase 1 que es logicaClase 1 que es logica
Clase 1 que es logica
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
D05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasD05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones Compuestas
 
Inferencia logica
Inferencia logicaInferencia logica
Inferencia logica
 
LóGica Proposicional
LóGica ProposicionalLóGica Proposicional
LóGica Proposicional
 
Lógica formal
Lógica formalLógica formal
Lógica formal
 
Reglas Para Cuantificadores
Reglas Para CuantificadoresReglas Para Cuantificadores
Reglas Para Cuantificadores
 
Introducción a la lógica: Lógica formal e informal.
Introducción a la lógica: Lógica formal e informal.Introducción a la lógica: Lógica formal e informal.
Introducción a la lógica: Lógica formal e informal.
 
OBJETO DE LA LÓGICA FORMAL
OBJETO DE LA LÓGICA FORMALOBJETO DE LA LÓGICA FORMAL
OBJETO DE LA LÓGICA FORMAL
 
Simbolizacion de proposiciones
Simbolizacion de proposicionesSimbolizacion de proposiciones
Simbolizacion de proposiciones
 
Tema 03. tipos de argumentos
Tema 03. tipos de argumentosTema 03. tipos de argumentos
Tema 03. tipos de argumentos
 
Resumen de capítulos ¿QUÉ ES ESA COSA LLAMADA CIENCIA?
Resumen de capítulos ¿QUÉ ES ESA COSA LLAMADA CIENCIA?Resumen de capítulos ¿QUÉ ES ESA COSA LLAMADA CIENCIA?
Resumen de capítulos ¿QUÉ ES ESA COSA LLAMADA CIENCIA?
 
Logica hipotesis y conclusion
Logica hipotesis y conclusionLogica hipotesis y conclusion
Logica hipotesis y conclusion
 
Inferencias
InferenciasInferencias
Inferencias
 

Destaque

Operaciones Entre Conjuntos
Operaciones Entre ConjuntosOperaciones Entre Conjuntos
Operaciones Entre ConjuntosLogos Academy
 
Operaciones de Conjuntos
Operaciones de ConjuntosOperaciones de Conjuntos
Operaciones de Conjuntoscesarhum10
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadpaquitogiron
 
Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Victor Alonso Jimenez
 
Diapositivas logica matematica Grupos
Diapositivas logica matematica Grupos Diapositivas logica matematica Grupos
Diapositivas logica matematica Grupos Daniel ZSc
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdadverocha66
 
Las tablas de verdad
Las tablas de verdadLas tablas de verdad
Las tablas de verdadJudith Wuera
 
Tablas De Verdad
Tablas De VerdadTablas De Verdad
Tablas De Verdadguest805c35
 
PRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDADPRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDADjuniorfernandoo
 
1 diapositivas de lógica
1 diapositivas de lógica1 diapositivas de lógica
1 diapositivas de lógicajurista2012
 
4. logica deductiva
4. logica deductiva4. logica deductiva
4. logica deductivaAlma India
 
Inteligencia logica matematica ok
Inteligencia logica matematica okInteligencia logica matematica ok
Inteligencia logica matematica okmipergar2014
 

Destaque (20)

Operaciones Entre Conjuntos
Operaciones Entre ConjuntosOperaciones Entre Conjuntos
Operaciones Entre Conjuntos
 
La Logica
La LogicaLa Logica
La Logica
 
Operaciones de Conjuntos
Operaciones de ConjuntosOperaciones de Conjuntos
Operaciones de Conjuntos
 
LÓGICA MATEMATICA
LÓGICA MATEMATICALÓGICA MATEMATICA
LÓGICA MATEMATICA
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdad
 
Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)
 
Diapositivas logica matematica Grupos
Diapositivas logica matematica Grupos Diapositivas logica matematica Grupos
Diapositivas logica matematica Grupos
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
 
Las tablas de verdad
Las tablas de verdadLas tablas de verdad
Las tablas de verdad
 
Tablas De Verdad
Tablas De VerdadTablas De Verdad
Tablas De Verdad
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Operaciones con conjuntos
Operaciones con conjuntosOperaciones con conjuntos
Operaciones con conjuntos
 
PRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDADPRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDAD
 
1 diapositivas de lógica
1 diapositivas de lógica1 diapositivas de lógica
1 diapositivas de lógica
 
4. logica deductiva
4. logica deductiva4. logica deductiva
4. logica deductiva
 
Lógica
LógicaLógica
Lógica
 
Inteligencia logica matematica ok
Inteligencia logica matematica okInteligencia logica matematica ok
Inteligencia logica matematica ok
 
Tablas de verdad_c_
Tablas de verdad_c_Tablas de verdad_c_
Tablas de verdad_c_
 
Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
 
DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.
DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.
DIAGRAMAS DE VENN, OPERACIONES CON CONJUNTOS.
 

Semelhante a Presentación de Lógica

Semelhante a Presentación de Lógica (20)

Act 6 90004 508
Act 6  90004 508Act 6  90004 508
Act 6 90004 508
 
Pucp pronafcap
Pucp pronafcapPucp pronafcap
Pucp pronafcap
 
Tema1
Tema1Tema1
Tema1
 
Matematica recreativa
Matematica recreativaMatematica recreativa
Matematica recreativa
 
juan astocondor masgo Educar En Creatividad
juan astocondor masgo Educar En Creatividadjuan astocondor masgo Educar En Creatividad
juan astocondor masgo Educar En Creatividad
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Clase 3 lenguaje y logica
Clase 3 lenguaje y logicaClase 3 lenguaje y logica
Clase 3 lenguaje y logica
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Lógica
LógicaLógica
Lógica
 
Lógica simbolica
Lógica simbolicaLógica simbolica
Lógica simbolica
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Guia de matematicas
Guia de matematicasGuia de matematicas
Guia de matematicas
 
Solucionario tema 3
Solucionario tema 3Solucionario tema 3
Solucionario tema 3
 
Resolución de problemas método polya
Resolución de problemas método polyaResolución de problemas método polya
Resolución de problemas método polya
 
Fundamentos Informáticos II Bim Lógica
Fundamentos Informáticos II Bim LógicaFundamentos Informáticos II Bim Lógica
Fundamentos Informáticos II Bim Lógica
 
Tipos de Logica.pptx
Tipos de Logica.pptxTipos de Logica.pptx
Tipos de Logica.pptx
 
Semana 1 - Prposiciones Logicas y tablas de verdad.pdf
Semana 1 - Prposiciones Logicas y tablas de verdad.pdfSemana 1 - Prposiciones Logicas y tablas de verdad.pdf
Semana 1 - Prposiciones Logicas y tablas de verdad.pdf
 
Diego Ayala Raz Logico
Diego Ayala Raz LogicoDiego Ayala Raz Logico
Diego Ayala Raz Logico
 
Falacias Matematicas
Falacias Matematicas Falacias Matematicas
Falacias Matematicas
 

Último

EVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptx
EVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptxEVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptx
EVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptxJorgeParada26
 
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...JohnRamos830530
 
Avances tecnológicos del siglo XXI y ejemplos de estos
Avances tecnológicos del siglo XXI y ejemplos de estosAvances tecnológicos del siglo XXI y ejemplos de estos
Avances tecnológicos del siglo XXI y ejemplos de estossgonzalezp1
 
How to use Redis with MuleSoft. A quick start presentation.
How to use Redis with MuleSoft. A quick start presentation.How to use Redis with MuleSoft. A quick start presentation.
How to use Redis with MuleSoft. A quick start presentation.FlorenciaCattelani
 
redes informaticas en una oficina administrativa
redes informaticas en una oficina administrativaredes informaticas en una oficina administrativa
redes informaticas en una oficina administrativanicho110
 
Avances tecnológicos del siglo XXI 10-07 eyvana
Avances tecnológicos del siglo XXI 10-07 eyvanaAvances tecnológicos del siglo XXI 10-07 eyvana
Avances tecnológicos del siglo XXI 10-07 eyvanamcerpam
 
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptxPROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptxAlan779941
 
Guia Basica para bachillerato de Circuitos Basicos
Guia Basica para bachillerato de Circuitos BasicosGuia Basica para bachillerato de Circuitos Basicos
Guia Basica para bachillerato de Circuitos BasicosJhonJairoRodriguezCe
 
Innovaciones tecnologicas en el siglo 21
Innovaciones tecnologicas en el siglo 21Innovaciones tecnologicas en el siglo 21
Innovaciones tecnologicas en el siglo 21mariacbr99
 
Buenos_Aires_Meetup_Redis_20240430_.pptx
Buenos_Aires_Meetup_Redis_20240430_.pptxBuenos_Aires_Meetup_Redis_20240430_.pptx
Buenos_Aires_Meetup_Redis_20240430_.pptxFederico Castellari
 
investigación de los Avances tecnológicos del siglo XXI
investigación de los Avances tecnológicos del siglo XXIinvestigación de los Avances tecnológicos del siglo XXI
investigación de los Avances tecnológicos del siglo XXIhmpuellon
 

Último (11)

EVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptx
EVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptxEVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptx
EVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptx
 
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
 
Avances tecnológicos del siglo XXI y ejemplos de estos
Avances tecnológicos del siglo XXI y ejemplos de estosAvances tecnológicos del siglo XXI y ejemplos de estos
Avances tecnológicos del siglo XXI y ejemplos de estos
 
How to use Redis with MuleSoft. A quick start presentation.
How to use Redis with MuleSoft. A quick start presentation.How to use Redis with MuleSoft. A quick start presentation.
How to use Redis with MuleSoft. A quick start presentation.
 
redes informaticas en una oficina administrativa
redes informaticas en una oficina administrativaredes informaticas en una oficina administrativa
redes informaticas en una oficina administrativa
 
Avances tecnológicos del siglo XXI 10-07 eyvana
Avances tecnológicos del siglo XXI 10-07 eyvanaAvances tecnológicos del siglo XXI 10-07 eyvana
Avances tecnológicos del siglo XXI 10-07 eyvana
 
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptxPROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
 
Guia Basica para bachillerato de Circuitos Basicos
Guia Basica para bachillerato de Circuitos BasicosGuia Basica para bachillerato de Circuitos Basicos
Guia Basica para bachillerato de Circuitos Basicos
 
Innovaciones tecnologicas en el siglo 21
Innovaciones tecnologicas en el siglo 21Innovaciones tecnologicas en el siglo 21
Innovaciones tecnologicas en el siglo 21
 
Buenos_Aires_Meetup_Redis_20240430_.pptx
Buenos_Aires_Meetup_Redis_20240430_.pptxBuenos_Aires_Meetup_Redis_20240430_.pptx
Buenos_Aires_Meetup_Redis_20240430_.pptx
 
investigación de los Avances tecnológicos del siglo XXI
investigación de los Avances tecnológicos del siglo XXIinvestigación de los Avances tecnológicos del siglo XXI
investigación de los Avances tecnológicos del siglo XXI
 

Presentación de Lógica

  • 1. TEMA 1. LÓGICA ING DE SISTEMAS
  • 2. 2
  • 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”. 3
  • 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. 4
  • 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? 5
  • 6. …situaciones lógicas e ilógicas En 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. 
  • 7. …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>>
  • 8. …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.>>
  • 9. …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
  • 10. "La vida es el arte de sacar conclusiones suficientes a partir de datos  insuficientes", Voltaire
  • 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”. 11
  • 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 12
  • 13. ¿Para que sirve la Lógica? 1. Asignar Responsabilidades Tomado del curso: Lógica-Dr. Jacinto Davila 13
  • 14. ¿Para que sirve la Lógica? 2. Comunicar Con Claridad Tomado del curso: Lógica-Dr. Jacinto Davila 14
  • 15. ¿Para que sirve la Lógica? 3. Para evitar ambigüedad Tomado del curso: Lógica-Dr. Jacinto Davila 15
  • 16. ¿Para que sirve la Lógica? 4. Para definir Responsabilidades Tomado del curso: Lógica-Dr. Jacinto Davila 16
  • 17. ¿Para que sirve la Lógica? 5. Para Usar los símbolos Correctamente Tomado del curso: Lógica-Dr. Jacinto Davila 17
  • 18. ¿Para que sirve la Lógica? 6. Para distinguir el razonamiento Correcto del incorrecto Tomado del curso: Lógica-Dr. Jacinto Davila 18
  • 19. PROPOSICIÓN Una proposición es una declaración sobre la que se puede decidir su veracidad o falsedad. Es decir, falsedad es un enunciado verdadero o es un enunciado falso, pero no puede ocurrir ambas cosas. NO SON PROPOSICIONES SON PROPOSICIONES “ Pare inmediatamente!” “El 2 es un número primo”. “¿15 y 18 tienen la misma “ 25 es divisible entre 3 ”. cantidad de divisores?”. “ En realidad, no sé a qué se “ 6 + 5 = 10 ”. refiere”. “El aula A404 está en el “ Lávalo”. 2do piso”. 19
  • 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) 20
  • 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. 21
  • 22. Notación Para 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” s: “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” 22
  • 23. Conectivos Lógicos Conectivo Simbolización y ^ o v no (sobre la proposición) 23
  • 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. 24
  • 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. 25
  • 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. 26
  • 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ó temprano p = “Juan llegó temprano”. Simbolización : p 27
  • 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 28
  • 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 29
  • 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. 30
  • 31. 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 V F F V 31
  • 32. Negación p p V F F V • Indique el valor de verdad de: – El número 9 no es divisible por 3. – No es cierto que los perros vuelan. 32
  • 33. Conjunción p q p^q V V V V F F F V F F F F • Indique el valor de verdad de : – 6 es un número par y divisible por 3. –(2+5=7) y(2*3=9) 33
  • 34. Disyunción p q pvq V V V V F V F V V F F F • Indique el valor de verdad de : – 2 es primo o es impar. – (2 + 3 = 4 ) o (2 * 2 = 5) 34
  • 35. Notación y Conectivos Las 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” 35
  • 36. 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” ” 36
  • 37. Conectivos 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”. 37 p ∧ q es falsa
  • 38. 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” p ∨ q es verdadera. 38
  • 39. Tablas de verdad Las tablas de verdad de los dos conectivos anteriores son: p q p∧q p∨q V V V V V F F V F V F V F F F F pyq poq 39
  • 40. 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   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, 40
  • 41. 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: “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 41 veneno”.
  • 42. 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 es p q p→q verdadera. V V V Es decir, con el cumplimiento de p, se promete el cumplimiento V F F de q. F V V La implicación es falsa, únicamente, F F V 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. La tabla de verdad para la implicación es 42
  • 43. 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”. 43
  • 44. 44
  • 45. Conectivos 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 de 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”. 45
  • 46. Conectivos • La tabla de verdad para el bicondicional es p q p ↔q V V V V F F F V F F F V 46
  • 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. 47