SlideShare ist ein Scribd-Unternehmen logo
1 von 29
Downloaden Sie, um offline zu lesen
Temas a tratar
Conceptos de lógica   Proposiciones    Conectores      Tablas de Verdad    Interpretación       Ejemplos




      Concepto de lógica.
      Proposiciones.
      Conectores.
      Tablas de Verdad.
      Interpretación del lenguaje simbólico al lenguaje natural.
      Ejemplos y ejercicios.




Page   2
                                      Universidad Tecnológica de Bolívar          Docente: Joaquin Lara Sierra
Concepto de lógica
Conceptos de lógica   Proposiciones   Conectores   Tablas de Verdad   Interpretación   Ejemplos


Cuando hablamos de lógica lo asociamos con la razón. Esta nos
muestra con sus leyes y principios una forma coherente de pensar
y actuar. Alguna definiciones puntuales de este termino son:

Es una disciplina que estudia la estructura o formas del pensamiento
tales como conceptos, proposiciones y razonamiento con el objetivo
de establecer razonamientos validos.
Es la ciencia de las leyes y de las formas del pensamiento que nos da
normas para la investigación científica y nos suministrara un criterio
de verdad.

Ejemplo:
Cuando vemos una película, leemos un material o escuchamos una
conversación, de acuerdo a lo que vemos u oímos lo aprobamos o
desaprobamos . Es decir que al aprobar esto, estamos de acuerdo .
Si estamos en desacuerdo expresamos cierta molestia al respecto,
lo vemos como algo absurdo, algo ilógico.
Page   3
Tipos de lógica
Conceptos de lógica   Proposiciones    Conectores      Tablas de Verdad    Interpretación       Ejemplos




 El ejemplo anterior describe un proceso de reflexión. En donde pones a
 prueba tu conocimiento pero este tipo de conocimiento es el que se
 conoce como empírico, es muy superficial, es un conocimiento que te
 ayuda en la cotidianidad a dar soluciones a problemas cotidianos y esa
 solución la expresas a través del lenguaje ( oral, escrito, corporal etc)

 Pensar y comunicarte son dos procesos que desarrolla el ser humano.
 Ese tipo de actividades humanas que te permiten razonar algo son los
 que hacen posible el objeto de la lógica.

 Ya teniendo claro que es lógica, hay que resaltar que existen diversos
 tipos de lógica.

 1. Acabamos de mencionar una, que es la empírica también conocida
 2. como Lógica Natural cuando un individuo hace uso de su razón
 3. porque es innato en el .

 2. Existe la lógica científica. Donde debes demostrar la validez de ese
 conocimiento a través de técnicas, métodos etc.

Page   4
                                      Universidad Tecnológica de Bolívar          Docente: Joaquin Lara Sierra
Proposiciones
Conceptos de lógica   Proposiciones    Conectores      Tablas de Verdad    Interpretación       Ejemplos




 Hablemos nuevamente del lenguaje como el medio de comunicación que
 tiene una persona, como actividad cotidiana del ser humano. Ese lenguaje
 puede estar constituido por frases interrogativas, declarativas e imperativas.

 A través de las frases declarativas es posible una descripción del
 conocimiento.

 Estamos hablando de La lógica proposicional como aquella que permite
 la interpretación de frases declarativas simples
 (proposiciones y enunciados).

 Siendo una proposición matemática es un enunciado, frase o expresión
 que tiene un significado determinado y que mediante un criterio definido
 puede ser clasificado inequívocamente como falso o verdadero.
 Por ejemplo:

       1. Maria estudia un doctorado.
       2. La ciudad esta progresando.
Page   5
                                      Universidad Tecnológica de Bolívar          Docente: Joaquin Lara Sierra
Proposiciones
Conceptos de lógica   Proposiciones    Conectores      Tablas de Verdad    Interpretación       Ejemplos




 A veces, las proposiciones están ligadas a su significado por decir:

       Esta llorando el niño
       El niño esta llorando.

 Ambas tienen el mismo significado y se le consideran proposiciones iguales.
 Pero existen enunciados u oraciones que no son proposiciones como es el
 caso de las preguntas o expresiones de admiración.
 En la lógica proposicional se puede determinar la validez de la expresiones
  únicamente desde el punto de vista de su estructura sin tener en cuenta
 el significado semántico de tales expresiones.

 Por ejemplo:

 Juan vive en Cartagena. En esta expresión no se sabe q Juan es una
 persona, una animal o cualquier otro concepto. Y analizando la expresión
 podemos clasificar esta como verdadera o falsa ya q su objetivo no
 especifica un hecho.
Page   6
                                      Universidad Tecnológica de Bolívar          Docente: Joaquin Lara Sierra
Valor de las proposiciones
Conceptos de lógica   Proposiciones    Conectores      Tablas de Verdad    Interpretación       Ejemplos



 Tradicionalmente las proposiciones se representan mediante las letras
 minúsculas del alfabeto. Y cada una de estas recibe le nombre del átomo.
 La forma de representación para proposiciones sera mediante un átomo
 seguido del símbolo dos puntos (:) y posteriormente el enunciado,
 por decir

 p: enunciado o proposición.

 Cuando se dice que una proposición matemática es verdadera o falsa se
 esta estableciendo su valor de verdad. Estamos interpretando una
 proposición.

 Por lo que es aconsejable siempre asignar valores de verdad a los
 enunciados. Y esta interpretación se representa mediante la letra v,
 por ejemplo:

 v (atomo) = valor de verdad por decir siguiendo la proposición
 anterior tendriamos: v(p)= V o v(p)= F
Page   7
                                      Universidad Tecnológica de Bolívar          Docente: Joaquin Lara Sierra
Negación de una proposición
Conceptos de lógica   Proposiciones    Conectores      Tablas de Verdad    Interpretación       Ejemplos




 Negar una proposición es convertir esta en falsa si es verdadera y si era
 verdadera en falsa.

 En lenguaje matemático la negación se expresa anteponiendo a una
 proposición el símbolo ¬ y la interpretación de este símbolo es no.
 Ejemplo tenemos la siguiente proposición:

 q: el motor esta encendido. La negación de esta seria No el motor no
 esta encendido.

 Al observar la negación de la proposición, esta no suena igual, por ello
 es posible utilizar otras posibles expresiones de lectura como por ejemplo
 El motor no esta encendido.

 El símbolo ¬ es unario. A continuación se muestran algunos casos en las
 cuales se aplica la negación a un enunciado o proposición:

Page   8
                                      Universidad Tecnológica de Bolívar          Docente: Joaquin Lara Sierra
Negación de una proposición
Conceptos de lógica     Proposiciones    Conectores      Tablas de Verdad    Interpretación       Ejemplos




               Proposición                   Valor                      Negación                     Valor
           5 es múltiplo de 8                   F              5 no es múltiplo de 8                   V


       37 es un número primo                    V          37 no es un número primo                     F


           5 es mayor que 7                     F              5 no es mayor que 7                     V


                      3+7=15                    F                       3+7 ≠ 15                       V


           x es mayor que z                     V              x no es mayor que z                      F




Page   9
                                        Universidad Tecnológica de Bolívar          Docente: Joaquin Lara Sierra
Negación de una proposición
Conceptos de lógica   Proposiciones     Conectores      Tablas de Verdad    Interpretación       Ejemplos




 Gráficamente la forma para negar un los átomos seria :



             Valor de la proposición                   Valor de la negación de la proposición
             v(q)=F (se asigna falso)                v(¬q) = Verdadero (se asigna verdadero)


       v(¬p)= V (se asigna verdadero)                        v(p) = Falso (se asigna falso)


       v(s) =V (se asigna verdadero)                        v(¬s)= Falso (se asigna falso)




Page    10
                                       Universidad Tecnológica de Bolívar          Docente: Joaquin Lara Sierra
Proposiciones Simples y Compuestas
Conceptos de lógica   Proposiciones    Conectores      Tablas de Verdad    Interpretación       Ejemplos




 Cuando una proposición o un atomo se encuentra en su forma mas sencilla es decir
 expresando un solo enunciado se le considera proposición simple. Cuando esta se
 costituye en mas de una proposición se le denomina proposición compuesta.

 Las proposiciones simple continen un verbo, o un sujeto o un objeto.
 Las proposición compuesta varios verbos, sujetos u objetos.

 Por ejemplo:

 Proposiciones simples
 p: 7 es un número primo.
 q: Bolivar no es una ciudad

 Proposiciones compuestas
 m: 5 es un número impar y 2 es un número par.
 p: El árbol es de color verde o el árbol es de color café.

 Teniendo en cuenta estos ultimos ejemplos prodiamos decir que una
 proposición compuesta esta conformada por varias proposiciones simples las
 cuales se unen a traves de los conectores.
Page   11
                                      Universidad Tecnológica de Bolívar          Docente: Joaquin Lara Sierra
Conectores y Proposiciones
Conceptos de lógica   Proposiciones    Conectores      Tablas de Verdad    Interpretación       Ejemplos




                            Los conectores lógicos mas conocidos son:

                                            si
                                        entonces
                                       si y solo si
                                             y
                                             o
                 Un conectivo lógico es un elemento que permite la union de
                                   proposiciones simples.




Page   12
                                      Universidad Tecnológica de Bolívar          Docente: Joaquin Lara Sierra
Conectores y Proposiciones
Conceptos de lógica   Proposiciones    Conectores      Tablas de Verdad    Interpretación       Ejemplos




 Ejemplo:
 • s: el carro es costoso
 • t: el respuesto es de color verde.

 Otros:
 u: el carro es costoso y el respuesto es de color verde.
 o: x2 -16=0 si y solo si x=4 .
 v: si el parqueadero es pequeño entonces el carro es grande.

 En pocas palabra los conectivos lógicos son operadores que
 tambien te permiten combinar proposiciones para formar otras
 proposiciones; a esto tambien se le conoce como operadores binarios.
 Graficamente losconectivos lógicos principales son:



Page   13
                                      Universidad Tecnológica de Bolívar          Docente: Joaquin Lara Sierra
Conectores y Proposiciones
Conceptos de lógica   Proposiciones    Conectores       Tablas de Verdad   Interpretación        Ejemplos




                Nombre                   Conectivo Lógico                          Símbolos
   Conjución                                        y

   Disyución inclusiva                              o

   Disyución exclusiva                              o
                                                                                            ⊻

   Condicional                              si...entonces                                   ->

                                              si y solo si
   Bicondicional                                                                        <->




Page   14
                                      Universidad Tecnológica de Bolívar          Docente: Joaquin Lara Sierra
Conectores y Proposiciones
Conceptos de lógica   Proposiciones    Conectores      Tablas de Verdad      Interpretación       Ejemplos




                                                                          Operadores:
                                                                          Los operadores son
                                                                          simbolos que sirven
                                                                          para conectar los
                                                                          datos haciendo
                                                                          diversas clases de
                                                                          operaciones.
                                                                          Tipos de operadores:
                                                                          En función de las
                                                                          operaciones a
                                                                          realizar, los
                                                                          operadores se
                                                                          clasifican en:



Page   15
                                      Universidad Tecnológica de Bolívar            Docente: Joaquin Lara Sierra
Conjunción
Conceptos de lógica   Proposiciones    Conectores      Tablas de Verdad    Interpretación       Ejemplos




 La conjucción se representa mediante el símbolo . Sean p y q dos
 proposiciones, entonces p q se denomina la conjucción entre la
 proposición p y la proposición q. Algunas frases en las que aparece la
 conjucción son las siguientes:
   pyq
   p pero q
   p aunque q
   p sin embargo q
   p no obstante q
                                  La proposición p ⋀ q es verdadera
   p a pesar de q
                                 unicamente cuando p es verdadera y
   p a menos q
                                             q es verdadera.
   p igualmente q
                                Es decir cuando ambas proposiciones
                                            son verdaderas.

Page   16
                                      Universidad Tecnológica de Bolívar          Docente: Joaquin Lara Sierra
Conjunción
Conceptos de lógica   Proposiciones    Conectores      Tablas de Verdad    Interpretación       Ejemplos




 Ejemplos de representación en lenguaje natural en los cuales se utiliza
 la conjucción son:

 En Haití hay inflacción y no hay crecimiento económico
 La tia tiene buenas intenciones sin embargo no tiene presupuesto
 La oferta es alta no obstante la demanda muy poca
 El equipo gano a pesar de la poca asistencia del publico
 Aunque está lloviendo es posible conducir
 Está nevando pero es posibole navegar

 Ejemplos de formulas proposicionales en donde se asignan
 interpretraciones arbirtrarias a los átomos y finalmente se dará el
 resultado de la evaluación de la proposición:



Page   17
                                      Universidad Tecnológica de Bolívar          Docente: Joaquin Lara Sierra
Conjunción
Conceptos de lógica      Proposiciones    Conectores      Tablas de Verdad    Interpretación       Ejemplos




             Porposición                       Interpretación                    Evaluaciónde la
                                                                                   proposición
                                             v(p)=F, v(¬q)=V
                  (p¬q)                                                               v(p¬q)=F

                                              v(p)=V, v(s)=V
                      (ps)                                                             v(ps)=V

                                              v(p)=F, v(q)=F
                      (pq)                                                             v(pq)=F

                                             v(¬q)=V, v(q)=F
                  (¬qq)                                                               v(¬qq)=F

                                         v(p)=V, v(¬q)=V ,v(r)=F
                ¬(p¬qr)                                                             v¬(p¬qr)=V




Page   18
                                         Universidad Tecnológica de Bolívar          Docente: Joaquin Lara Sierra
Disyunción
Conceptos de lógica   Proposiciones    Conectores      Tablas de Verdad    Interpretación       Ejemplos




 Disyunción Inclusiva: El conectivo lógico que representa la disyunción
 inclusiva es ᐯ.
 La proposición p ᐯ q es llamada la disyunción inclusiva entre las
 proposiones p y q.
 Se considera la proposición p ᐯ q falsa, únicamente cuando la
 proposición p y la proposición q son falsas a la vez.
 Algunas frases en las que aparece la disyunción son las siguientes:

      poq
      p o q o ambos
      al menos p o q
      minimo p o q



Page   19
                                      Universidad Tecnológica de Bolívar          Docente: Joaquin Lara Sierra
Disyunción
Conceptos de lógica   Proposiciones    Conectores      Tablas de Verdad    Interpretación       Ejemplos




 Algunas frases de representación en lenguaje natural en los cuales
 se utiliza la disyunción son las siguientes:

 El parcial estaba dificil o mal redactado
 Hizo frio o la persona es nerviosa
 La ciudad es pequeña o había demasiado tráfico
 Para pagar el credito al menos se debe tener cuenta corriente
 o cuenta de ahorro




Page   20
                                      Universidad Tecnológica de Bolívar          Docente: Joaquin Lara Sierra
Disyunción
Conceptos de lógica     Proposiciones    Conectores      Tablas de Verdad      Interpretación       Ejemplos




 Ejemplos de formulas proposicionales en donde se asignan
 interpretraciones arbirtrarias a los átomos y finalmente se dará el
 resultado de la evaluación de la proposición:

                       Proposición            Interpretación                 Evaluación

                      (¬p¬q)            v(¬p)=F, v(¬q)=V                    v(¬p¬q)=V

                      (ps)              v(p)=V, v(s)=V                      v(ps)=V

                      (pqr)             v(p)=F,v(q)=F, v(r)=F               v(pqr)=F

                      ¬(pqr)            v(p)=F,v(q)=F, v(r)=F               v¬(pqr)=V


Page   21
                                        Universidad Tecnológica de Bolívar            Docente: Joaquin Lara Sierra
Disyunción
Conceptos de lógica   Proposiciones    Conectores      Tablas de Verdad    Interpretación       Ejemplos




 Disyunción Exclusiva.
 El conectivo lógico que representa la disyunción inclusiva es ⊻ .
 La proposición p ⊻ q se denomina la disyunción exclusiva. p ⊻ q
 es verdadera, únicamente cuando una de las dos proposiciones
 es verdadera, pero no ambas a la vez.
 Ejemplos de respresentación en lenguaje natural en los cuales se
 utiliza la disyunsión exclusiva:

 Hoy voy a cine o a jugar futbol.
 La tesis es laureada o meritoria
 El mes en que se debe pagar impuesto es noviembre o diciembre.
 El rector se elige por consulta popular o por una comisión del
 consejo.



Page   22
                                      Universidad Tecnológica de Bolívar          Docente: Joaquin Lara Sierra
Disyunción
Conceptos de lógica   Proposiciones        Conectores      Tablas de Verdad      Interpretación       Ejemplos




 Ejemplos de formulas proposicionales en donde se asignan
 interpretraciones arbirtrarias a los átomos y finalmente se dará
 el resultado de la evaluación de la proposición:


            Proposición               Interpretación                          Evaluación
       (¬p ⊻ ¬q)              v(¬p)=F, v(¬q)=V                 v(¬p ⊻ ¬q)=V
       (p ⊻ q)                v(p)=F, v(q)=F                   v(p ⊻ q)=F
       (p ⊻ ¬q)               v(p)=V, v(¬q)=V                  v(p ⊻ ¬q)=V
       ¬(p ⊻ q)               v(p)=V, v(q)=V                   v¬(p ⊻ q)=F




Page   23
                                          Universidad Tecnológica de Bolívar            Docente: Joaquin Lara Sierra
Condicional
Conceptos de lógica   Proposiciones    Conectores       Tablas de Verdad   Interpretación       Ejemplos



 El conectivo lógico que representa la condicional es →. Sea p y q
 dos proposiciones : entonces la proposición , si p entonces q, se
 representa mediante p → q.
 La proposición p → q es falsa, si la primera proposición
 (antecedente ) es verdadera y la segunda proposición
 (consecuente) es falsa .
 Algunos ejemplos de representación en lenguaje natural en los
 cuales se utiliza la condicional son los siguientes:

       Si p entonces q                              q cuando p
       p implica q                                  q es necesario para p
       p solo si q                                  Para p es necesario q
       q si p                                       p en consecuencia q
       p es suficiente para q                       p se deduce q
       Para q es suficiente p                       p por ende q
       No p a menos q

Page    24
                                      Universidad Tecnológica de Bolívar          Docente: Joaquin Lara Sierra
Condicional
Conceptos de lógica   Proposiciones    Conectores      Tablas de Verdad    Interpretación       Ejemplos




  Algunos ejemplos en lenguaje natural son:
           Si el sol esta brillando entonces se puede hacer deporte
           Si pedro es matematico entonces hace calculos
           Si un número es par entonces es divisible por 2
           Si un número tiene dos divisores es suficiente para que sea primo
           Un número es divisible por 5 cuando termina en 0 o 5
           Hoy es marte y por ende hay pico y placa para el carro
           José perdió la materia en consecuencia perdió el semestre.




Page   25
                                      Universidad Tecnológica de Bolívar          Docente: Joaquin Lara Sierra
Disyunción
Conceptos de lógica    Proposiciones      Conectores      Tablas de Verdad      Interpretación       Ejemplos



 Ejemplos de formulas proposicionales en donde se asignan
 interpretraciones arbirtrarias a los átomos y finalmente se dará
 el resultado de la evaluación de la proposición:

                  Proposición               Interpretación                     Evauación


               (¬q→p)                  v(¬q)=F, v(p)=V                       v(¬q→p)=V


               (p→s)                   v(p)=V, v(s)=F                        v(p→s)=F


               ¬(p→q)                  v(p)=V, v(q)=F                        v¬(p→q)=V


               (p→s)→q                 v(p)=V, v(s)=F, v(q)=F                v(p→s)→q=F

Page   26
                                         Universidad Tecnológica de Bolívar            Docente: Joaquin Lara Sierra
Bicondicional
Conceptos de lógica   Proposiciones    Conectores      Tablas de Verdad    Interpretación       Ejemplos




 El conectico lógico que representa la bicondicional es ↔. Sea p y q
 dos proposiciones , la proposición p si y solo si q, se representa
 p ↔ q. El bicondicional es verdadero únicamente cuando tanto p
 como q tienen los mismos valores de verdad.
 Algunos ejemplos de representación en lenguaje natural en los
 cuales se utiliza el bicondicional son los siguientes:

           p si y solo si q
           p es necesario y suficiente para q
           p es equivalente a q
           p cuando y solo cuando q
           p entonces y solo entonces q



Page   27
                                      Universidad Tecnológica de Bolívar          Docente: Joaquin Lara Sierra
Disyunción
Conceptos de lógica     Proposiciones    Conectores      Tablas de Verdad    Interpretación       Ejemplos




 Ejemplos de formulas proposicionales en donde se asignan
 interpretraciones arbirtrarias a los átomos y finalmente se dará
 el resultado de la evaluación de la proposición: :


                      Proposición          Interpretación               Evaluación
                (¬q↔ p)                 v(q)=F, v(p)=F               v(¬q↔ p)=V
                (p↔ s)                  v(q)=V, v(s)=F               v(p↔ s)=F
                ¬(p↔s)                  v(p)=F, v(s)=V               v¬(p↔ s)=V
                ¬¬(p ↔ ¬q)              v(p)=V, v(¬q)=F              v¬¬(p ↔ ¬q)=F




Page   28
                                        Universidad Tecnológica de Bolívar          Docente: Joaquin Lara Sierra
Page   29
            Universidad Tecnológica de Bolívar   Docente: Joaquin Lara Sierra

Weitere ähnliche Inhalte

Was ist angesagt?

Derivadas. teoremas
Derivadas. teoremasDerivadas. teoremas
Derivadas. teoremasklorofila
 
Historia y fundamentos de los numeros complejos ccesa007
Historia y fundamentos de los numeros  complejos  ccesa007Historia y fundamentos de los numeros  complejos  ccesa007
Historia y fundamentos de los numeros complejos ccesa007Demetrio Ccesa Rayme
 
Unidad 3 funciones vectoriales de una variable real
Unidad 3 funciones vectoriales de una variable realUnidad 3 funciones vectoriales de una variable real
Unidad 3 funciones vectoriales de una variable realTezca8723
 
Análisis numérico 1. errores y aritmética de punto flotante
Análisis numérico 1. errores y aritmética de punto flotanteAnálisis numérico 1. errores y aritmética de punto flotante
Análisis numérico 1. errores y aritmética de punto flotanteEdward Ropero
 
Programa en C++ ( escriba 3 números y diga cual es el mayor))
Programa en C++ ( escriba 3 números y diga cual es el mayor))Programa en C++ ( escriba 3 números y diga cual es el mayor))
Programa en C++ ( escriba 3 números y diga cual es el mayor))Alex Penso Romero
 
rectas paralelas y ortogonales (2)
rectas paralelas y ortogonales (2)rectas paralelas y ortogonales (2)
rectas paralelas y ortogonales (2)Ivan Nina
 
Solución de Sistemas de Ecuaciones por Eliminación
Solución de Sistemas de Ecuaciones por EliminaciónSolución de Sistemas de Ecuaciones por Eliminación
Solución de Sistemas de Ecuaciones por Eliminaciónoswaldoalvarado
 
Polinomios de taylor
Polinomios de taylorPolinomios de taylor
Polinomios de taylorKeivin Perez
 
Demostración números reales
Demostración números realesDemostración números reales
Demostración números realesElias Ñanculao
 
Teoría y problemas de Análisis Combinatorio ac63 ccesa007
Teoría y problemas de Análisis Combinatorio  ac63  ccesa007Teoría y problemas de Análisis Combinatorio  ac63  ccesa007
Teoría y problemas de Análisis Combinatorio ac63 ccesa007Demetrio Ccesa Rayme
 

Was ist angesagt? (20)

Derivadas. teoremas
Derivadas. teoremasDerivadas. teoremas
Derivadas. teoremas
 
Relaciones binarias aux
Relaciones binarias auxRelaciones binarias aux
Relaciones binarias aux
 
Estructura selectiva
Estructura selectivaEstructura selectiva
Estructura selectiva
 
Historia y fundamentos de los numeros complejos ccesa007
Historia y fundamentos de los numeros  complejos  ccesa007Historia y fundamentos de los numeros  complejos  ccesa007
Historia y fundamentos de los numeros complejos ccesa007
 
Unidad 3 funciones vectoriales de una variable real
Unidad 3 funciones vectoriales de una variable realUnidad 3 funciones vectoriales de una variable real
Unidad 3 funciones vectoriales de una variable real
 
inferencias logicas
inferencias logicasinferencias logicas
inferencias logicas
 
Análisis numérico 1. errores y aritmética de punto flotante
Análisis numérico 1. errores y aritmética de punto flotanteAnálisis numérico 1. errores y aritmética de punto flotante
Análisis numérico 1. errores y aritmética de punto flotante
 
Relaciones binarias
Relaciones binariasRelaciones binarias
Relaciones binarias
 
Cursores
CursoresCursores
Cursores
 
la logica proposicional
la logica proposicionalla logica proposicional
la logica proposicional
 
Programa en C++ ( escriba 3 números y diga cual es el mayor))
Programa en C++ ( escriba 3 números y diga cual es el mayor))Programa en C++ ( escriba 3 números y diga cual es el mayor))
Programa en C++ ( escriba 3 números y diga cual es el mayor))
 
rectas paralelas y ortogonales (2)
rectas paralelas y ortogonales (2)rectas paralelas y ortogonales (2)
rectas paralelas y ortogonales (2)
 
Solución de Sistemas de Ecuaciones por Eliminación
Solución de Sistemas de Ecuaciones por EliminaciónSolución de Sistemas de Ecuaciones por Eliminación
Solución de Sistemas de Ecuaciones por Eliminación
 
Relaciones Binarias
Relaciones BinariasRelaciones Binarias
Relaciones Binarias
 
Inducción Matemática
Inducción Matemática Inducción Matemática
Inducción Matemática
 
Problema 13
Problema 13Problema 13
Problema 13
 
Regla del trapecio
Regla del trapecioRegla del trapecio
Regla del trapecio
 
Polinomios de taylor
Polinomios de taylorPolinomios de taylor
Polinomios de taylor
 
Demostración números reales
Demostración números realesDemostración números reales
Demostración números reales
 
Teoría y problemas de Análisis Combinatorio ac63 ccesa007
Teoría y problemas de Análisis Combinatorio  ac63  ccesa007Teoría y problemas de Análisis Combinatorio  ac63  ccesa007
Teoría y problemas de Análisis Combinatorio ac63 ccesa007
 

Andere mochten auch

logica de proposiciones
logica de proposicioneslogica de proposiciones
logica de proposicionesDaniel Dp
 
Operadores Fundamentos de la Programacion
Operadores Fundamentos de la ProgramacionOperadores Fundamentos de la Programacion
Operadores Fundamentos de la Programacionjosarta
 
1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logicalupitamartel
 
U1_1_2_Argumentos
U1_1_2_ArgumentosU1_1_2_Argumentos
U1_1_2_Argumentosrezzaca
 
Logica 1
Logica 1Logica 1
Logica 1Leonel
 
Prueba inicial de polinomios
Prueba inicial de polinomiosPrueba inicial de polinomios
Prueba inicial de polinomioswapch80
 
CUBO DE SUMA Y DIFERENCIA DE DOS TERMINOS
CUBO DE SUMA Y DIFERENCIA DE DOS TERMINOSCUBO DE SUMA Y DIFERENCIA DE DOS TERMINOS
CUBO DE SUMA Y DIFERENCIA DE DOS TERMINOSmarthacecil
 
Enunciados Lógicos
Enunciados LógicosEnunciados Lógicos
Enunciados Lógicosinnovalabcun
 
Proposiciones lógicas power point
Proposiciones lógicas  power pointProposiciones lógicas  power point
Proposiciones lógicas power pointlizbeth15dcm
 
Tautologia y contadiccion
Tautologia y contadiccionTautologia y contadiccion
Tautologia y contadicciondrakul09
 
Presentación de Lógica
Presentación de LógicaPresentación de Lógica
Presentación de LógicaUFPS
 
tautologia contradiccion y contingencia
 tautologia contradiccion y contingencia tautologia contradiccion y contingencia
tautologia contradiccion y contingenciaCristianRgz94
 
Constitución de la República de Guatemala
Constitución de la República de Guatemala Constitución de la República de Guatemala
Constitución de la República de Guatemala Lilly Garcia
 

Andere mochten auch (20)

Presentación logica
Presentación logicaPresentación logica
Presentación logica
 
Lógica
LógicaLógica
Lógica
 
logica de proposiciones
logica de proposicioneslogica de proposiciones
logica de proposiciones
 
Operadores Fundamentos de la Programacion
Operadores Fundamentos de la ProgramacionOperadores Fundamentos de la Programacion
Operadores Fundamentos de la Programacion
 
1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logica
 
Ejemplos de tautología
Ejemplos de tautologíaEjemplos de tautología
Ejemplos de tautología
 
U1_1_2_Argumentos
U1_1_2_ArgumentosU1_1_2_Argumentos
U1_1_2_Argumentos
 
Logica 1
Logica 1Logica 1
Logica 1
 
Logica ejercicios tutoria
Logica ejercicios tutoriaLogica ejercicios tutoria
Logica ejercicios tutoria
 
Prueba inicial de polinomios
Prueba inicial de polinomiosPrueba inicial de polinomios
Prueba inicial de polinomios
 
TAUTOLOGÍA .
TAUTOLOGÍA .TAUTOLOGÍA .
TAUTOLOGÍA .
 
CUBO DE SUMA Y DIFERENCIA DE DOS TERMINOS
CUBO DE SUMA Y DIFERENCIA DE DOS TERMINOSCUBO DE SUMA Y DIFERENCIA DE DOS TERMINOS
CUBO DE SUMA Y DIFERENCIA DE DOS TERMINOS
 
Tema VII (Polinomios)
Tema VII (Polinomios)Tema VII (Polinomios)
Tema VII (Polinomios)
 
Enunciados Lógicos
Enunciados LógicosEnunciados Lógicos
Enunciados Lógicos
 
Proposiciones lógicas power point
Proposiciones lógicas  power pointProposiciones lógicas  power point
Proposiciones lógicas power point
 
Tautologia y contadiccion
Tautologia y contadiccionTautologia y contadiccion
Tautologia y contadiccion
 
Presentación de Lógica
Presentación de LógicaPresentación de Lógica
Presentación de Lógica
 
tautologia contradiccion y contingencia
 tautologia contradiccion y contingencia tautologia contradiccion y contingencia
tautologia contradiccion y contingencia
 
Constitución de la República de Guatemala
Constitución de la República de Guatemala Constitución de la República de Guatemala
Constitución de la República de Guatemala
 
Logica matematica experiencia 2
Logica matematica experiencia 2Logica matematica experiencia 2
Logica matematica experiencia 2
 

Ähnlich wie Lógica proposicional: Conceptos básicos

Unidad ii-no-1
Unidad ii-no-1Unidad ii-no-1
Unidad ii-no-1choco-late
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicionalelisa pizano
 
Unidad 1 - Lógica Proposicional
Unidad 1 - Lógica ProposicionalUnidad 1 - Lógica Proposicional
Unidad 1 - Lógica ProposicionalFernando Arcos
 
Aspectos resaltantes de la proposicion
Aspectos resaltantes de la proposicionAspectos resaltantes de la proposicion
Aspectos resaltantes de la proposicioneglisp
 
Logicaproposiciona phpapp01
Logicaproposiciona phpapp01Logicaproposiciona phpapp01
Logicaproposiciona phpapp01masquenumeros
 
Las proposiciones
Las proposicionesLas proposiciones
Las proposicionesLuis Torres
 
Capítulo i logica
Capítulo i  logicaCapítulo i  logica
Capítulo i logicalemonroy
 
Calculo proposicional.docx
Calculo proposicional.docxCalculo proposicional.docx
Calculo proposicional.docxmelaniepulido1
 
Tipos de Logica.pptx
Tipos de Logica.pptxTipos de Logica.pptx
Tipos de Logica.pptxRashelOajaca
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicionalKarlos Rivero
 
Lógica Proposicional
Lógica ProposicionalLógica Proposicional
Lógica Proposicionalluzmonroy
 
Analisis estructuras discreta
Analisis estructuras discretaAnalisis estructuras discreta
Analisis estructuras discretabucanas
 
Proposición
ProposiciónProposición
Proposiciónsheyz10
 

Ähnlich wie Lógica proposicional: Conceptos básicos (20)

Unidad ii-no-1
Unidad ii-no-1Unidad ii-no-1
Unidad ii-no-1
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 
Unidad 1 - Lógica Proposicional
Unidad 1 - Lógica ProposicionalUnidad 1 - Lógica Proposicional
Unidad 1 - Lógica Proposicional
 
Aspectos resaltantes de la proposicion
Aspectos resaltantes de la proposicionAspectos resaltantes de la proposicion
Aspectos resaltantes de la proposicion
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Logica matematica experiencia 2
Logica matematica experiencia 2Logica matematica experiencia 2
Logica matematica experiencia 2
 
Logicaproposiciona phpapp01
Logicaproposiciona phpapp01Logicaproposiciona phpapp01
Logicaproposiciona phpapp01
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Las proposiciones
Las proposicionesLas proposiciones
Las proposiciones
 
Capítulo i logica
Capítulo i  logicaCapítulo i  logica
Capítulo i logica
 
Calculo proposicional.docx
Calculo proposicional.docxCalculo proposicional.docx
Calculo proposicional.docx
 
Calculo proposicional.docx
Calculo proposicional.docxCalculo proposicional.docx
Calculo proposicional.docx
 
Grado 6 unidad 1
Grado 6 unidad 1Grado 6 unidad 1
Grado 6 unidad 1
 
Tipos de Logica.pptx
Tipos de Logica.pptxTipos de Logica.pptx
Tipos de Logica.pptx
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Lógica Proposicional
Lógica ProposicionalLógica Proposicional
Lógica Proposicional
 
Presentación1
Presentación1Presentación1
Presentación1
 
Analisis estructuras discreta
Analisis estructuras discretaAnalisis estructuras discreta
Analisis estructuras discreta
 
Proposición
ProposiciónProposición
Proposición
 

Mehr von Joaquin Lara Sierra

Factores Intrínsecos Influyentes en el comportamiento Humano
Factores Intrínsecos Influyentes en el comportamiento HumanoFactores Intrínsecos Influyentes en el comportamiento Humano
Factores Intrínsecos Influyentes en el comportamiento HumanoJoaquin Lara Sierra
 
Factores Intrínsecos y Extrínsecos Influyentes en el comportamiento Humano Cl...
Factores Intrínsecos y Extrínsecos Influyentes en el comportamiento Humano Cl...Factores Intrínsecos y Extrínsecos Influyentes en el comportamiento Humano Cl...
Factores Intrínsecos y Extrínsecos Influyentes en el comportamiento Humano Cl...Joaquin Lara Sierra
 
Factores Intrínsecos y Extrínsecos Influyentes en el comportamiento Humano 2
Factores Intrínsecos y Extrínsecos Influyentes en el comportamiento Humano 2Factores Intrínsecos y Extrínsecos Influyentes en el comportamiento Humano 2
Factores Intrínsecos y Extrínsecos Influyentes en el comportamiento Humano 2Joaquin Lara Sierra
 
Estructuras de control - Ciclo For
Estructuras de control - Ciclo ForEstructuras de control - Ciclo For
Estructuras de control - Ciclo ForJoaquin Lara Sierra
 
Gestionar pedagógica-mente las tic en el ejercicio docente Universitario
Gestionar pedagógica-mente las tic en el ejercicio docente UniversitarioGestionar pedagógica-mente las tic en el ejercicio docente Universitario
Gestionar pedagógica-mente las tic en el ejercicio docente UniversitarioJoaquin Lara Sierra
 
Gestión Pedagógica y TIC (Parte 2)
Gestión Pedagógica y TIC (Parte 2)Gestión Pedagógica y TIC (Parte 2)
Gestión Pedagógica y TIC (Parte 2)Joaquin Lara Sierra
 
Gestión Pedagógica y TIC (Parte 1)
Gestión Pedagógica y TIC (Parte 1)Gestión Pedagógica y TIC (Parte 1)
Gestión Pedagógica y TIC (Parte 1)Joaquin Lara Sierra
 
Introduccion power point parte 3
Introduccion power point parte 3Introduccion power point parte 3
Introduccion power point parte 3Joaquin Lara Sierra
 
Introduccion power point parte 2
Introduccion power point parte 2Introduccion power point parte 2
Introduccion power point parte 2Joaquin Lara Sierra
 
Introducción a power point parte1
Introducción a power point parte1Introducción a power point parte1
Introducción a power point parte1Joaquin Lara Sierra
 
Folleto Modelo pedagógico de la UTB
Folleto Modelo pedagógico de la UTBFolleto Modelo pedagógico de la UTB
Folleto Modelo pedagógico de la UTBJoaquin Lara Sierra
 
Guía estrategias didácticas de im interpersonal
Guía estrategias didácticas de im interpersonalGuía estrategias didácticas de im interpersonal
Guía estrategias didácticas de im interpersonalJoaquin Lara Sierra
 
Operacionalización del modelo pedagógico
Operacionalización del modelo pedagógicoOperacionalización del modelo pedagógico
Operacionalización del modelo pedagógicoJoaquin Lara Sierra
 

Mehr von Joaquin Lara Sierra (20)

Factores Intrínsecos Influyentes en el comportamiento Humano
Factores Intrínsecos Influyentes en el comportamiento HumanoFactores Intrínsecos Influyentes en el comportamiento Humano
Factores Intrínsecos Influyentes en el comportamiento Humano
 
Factores Intrínsecos y Extrínsecos Influyentes en el comportamiento Humano Cl...
Factores Intrínsecos y Extrínsecos Influyentes en el comportamiento Humano Cl...Factores Intrínsecos y Extrínsecos Influyentes en el comportamiento Humano Cl...
Factores Intrínsecos y Extrínsecos Influyentes en el comportamiento Humano Cl...
 
Factores Intrínsecos y Extrínsecos Influyentes en el comportamiento Humano 2
Factores Intrínsecos y Extrínsecos Influyentes en el comportamiento Humano 2Factores Intrínsecos y Extrínsecos Influyentes en el comportamiento Humano 2
Factores Intrínsecos y Extrínsecos Influyentes en el comportamiento Humano 2
 
Proceso de innovacion
Proceso de innovacion Proceso de innovacion
Proceso de innovacion
 
Estructuras de control - Ciclo For
Estructuras de control - Ciclo ForEstructuras de control - Ciclo For
Estructuras de control - Ciclo For
 
Trabajando con excel parte 2
Trabajando con excel parte 2Trabajando con excel parte 2
Trabajando con excel parte 2
 
Trabajando con excel Parte 1
Trabajando con excel Parte 1Trabajando con excel Parte 1
Trabajando con excel Parte 1
 
Tic aplicada a los negocios
Tic aplicada a los negociosTic aplicada a los negocios
Tic aplicada a los negocios
 
Innovar en Educación
Innovar en EducaciónInnovar en Educación
Innovar en Educación
 
Gestionar pedagógica-mente las tic en el ejercicio docente Universitario
Gestionar pedagógica-mente las tic en el ejercicio docente UniversitarioGestionar pedagógica-mente las tic en el ejercicio docente Universitario
Gestionar pedagógica-mente las tic en el ejercicio docente Universitario
 
Estrategias Didácticas
Estrategias DidácticasEstrategias Didácticas
Estrategias Didácticas
 
Gestión Pedagógica y TIC (Parte 2)
Gestión Pedagógica y TIC (Parte 2)Gestión Pedagógica y TIC (Parte 2)
Gestión Pedagógica y TIC (Parte 2)
 
Gestión Pedagógica y TIC (Parte 1)
Gestión Pedagógica y TIC (Parte 1)Gestión Pedagógica y TIC (Parte 1)
Gestión Pedagógica y TIC (Parte 1)
 
Introduccion power point parte 3
Introduccion power point parte 3Introduccion power point parte 3
Introduccion power point parte 3
 
Introduccion power point parte 2
Introduccion power point parte 2Introduccion power point parte 2
Introduccion power point parte 2
 
Introducción a power point parte1
Introducción a power point parte1Introducción a power point parte1
Introducción a power point parte1
 
Folleto Modelo pedagógico de la UTB
Folleto Modelo pedagógico de la UTBFolleto Modelo pedagógico de la UTB
Folleto Modelo pedagógico de la UTB
 
Guía estrategias didácticas de im interpersonal
Guía estrategias didácticas de im interpersonalGuía estrategias didácticas de im interpersonal
Guía estrategias didácticas de im interpersonal
 
Operacionalización del modelo pedagógico
Operacionalización del modelo pedagógicoOperacionalización del modelo pedagógico
Operacionalización del modelo pedagógico
 
Innovación educativa
Innovación educativaInnovación educativa
Innovación educativa
 

Lógica proposicional: Conceptos básicos

  • 1.
  • 2. Temas a tratar Conceptos de lógica Proposiciones Conectores Tablas de Verdad Interpretación Ejemplos  Concepto de lógica.  Proposiciones.  Conectores.  Tablas de Verdad.  Interpretación del lenguaje simbólico al lenguaje natural.  Ejemplos y ejercicios. Page 2 Universidad Tecnológica de Bolívar Docente: Joaquin Lara Sierra
  • 3. Concepto de lógica Conceptos de lógica Proposiciones Conectores Tablas de Verdad Interpretación Ejemplos Cuando hablamos de lógica lo asociamos con la razón. Esta nos muestra con sus leyes y principios una forma coherente de pensar y actuar. Alguna definiciones puntuales de este termino son: Es una disciplina que estudia la estructura o formas del pensamiento tales como conceptos, proposiciones y razonamiento con el objetivo de establecer razonamientos validos. Es la ciencia de las leyes y de las formas del pensamiento que nos da normas para la investigación científica y nos suministrara un criterio de verdad. Ejemplo: Cuando vemos una película, leemos un material o escuchamos una conversación, de acuerdo a lo que vemos u oímos lo aprobamos o desaprobamos . Es decir que al aprobar esto, estamos de acuerdo . Si estamos en desacuerdo expresamos cierta molestia al respecto, lo vemos como algo absurdo, algo ilógico. Page 3
  • 4. Tipos de lógica Conceptos de lógica Proposiciones Conectores Tablas de Verdad Interpretación Ejemplos El ejemplo anterior describe un proceso de reflexión. En donde pones a prueba tu conocimiento pero este tipo de conocimiento es el que se conoce como empírico, es muy superficial, es un conocimiento que te ayuda en la cotidianidad a dar soluciones a problemas cotidianos y esa solución la expresas a través del lenguaje ( oral, escrito, corporal etc) Pensar y comunicarte son dos procesos que desarrolla el ser humano. Ese tipo de actividades humanas que te permiten razonar algo son los que hacen posible el objeto de la lógica. Ya teniendo claro que es lógica, hay que resaltar que existen diversos tipos de lógica. 1. Acabamos de mencionar una, que es la empírica también conocida 2. como Lógica Natural cuando un individuo hace uso de su razón 3. porque es innato en el . 2. Existe la lógica científica. Donde debes demostrar la validez de ese conocimiento a través de técnicas, métodos etc. Page 4 Universidad Tecnológica de Bolívar Docente: Joaquin Lara Sierra
  • 5. Proposiciones Conceptos de lógica Proposiciones Conectores Tablas de Verdad Interpretación Ejemplos Hablemos nuevamente del lenguaje como el medio de comunicación que tiene una persona, como actividad cotidiana del ser humano. Ese lenguaje puede estar constituido por frases interrogativas, declarativas e imperativas. A través de las frases declarativas es posible una descripción del conocimiento. Estamos hablando de La lógica proposicional como aquella que permite la interpretación de frases declarativas simples (proposiciones y enunciados). Siendo una proposición matemática es un enunciado, frase o expresión que tiene un significado determinado y que mediante un criterio definido puede ser clasificado inequívocamente como falso o verdadero. Por ejemplo: 1. Maria estudia un doctorado. 2. La ciudad esta progresando. Page 5 Universidad Tecnológica de Bolívar Docente: Joaquin Lara Sierra
  • 6. Proposiciones Conceptos de lógica Proposiciones Conectores Tablas de Verdad Interpretación Ejemplos A veces, las proposiciones están ligadas a su significado por decir: Esta llorando el niño El niño esta llorando. Ambas tienen el mismo significado y se le consideran proposiciones iguales. Pero existen enunciados u oraciones que no son proposiciones como es el caso de las preguntas o expresiones de admiración. En la lógica proposicional se puede determinar la validez de la expresiones únicamente desde el punto de vista de su estructura sin tener en cuenta el significado semántico de tales expresiones. Por ejemplo: Juan vive en Cartagena. En esta expresión no se sabe q Juan es una persona, una animal o cualquier otro concepto. Y analizando la expresión podemos clasificar esta como verdadera o falsa ya q su objetivo no especifica un hecho. Page 6 Universidad Tecnológica de Bolívar Docente: Joaquin Lara Sierra
  • 7. Valor de las proposiciones Conceptos de lógica Proposiciones Conectores Tablas de Verdad Interpretación Ejemplos Tradicionalmente las proposiciones se representan mediante las letras minúsculas del alfabeto. Y cada una de estas recibe le nombre del átomo. La forma de representación para proposiciones sera mediante un átomo seguido del símbolo dos puntos (:) y posteriormente el enunciado, por decir p: enunciado o proposición. Cuando se dice que una proposición matemática es verdadera o falsa se esta estableciendo su valor de verdad. Estamos interpretando una proposición. Por lo que es aconsejable siempre asignar valores de verdad a los enunciados. Y esta interpretación se representa mediante la letra v, por ejemplo: v (atomo) = valor de verdad por decir siguiendo la proposición anterior tendriamos: v(p)= V o v(p)= F Page 7 Universidad Tecnológica de Bolívar Docente: Joaquin Lara Sierra
  • 8. Negación de una proposición Conceptos de lógica Proposiciones Conectores Tablas de Verdad Interpretación Ejemplos Negar una proposición es convertir esta en falsa si es verdadera y si era verdadera en falsa. En lenguaje matemático la negación se expresa anteponiendo a una proposición el símbolo ¬ y la interpretación de este símbolo es no. Ejemplo tenemos la siguiente proposición: q: el motor esta encendido. La negación de esta seria No el motor no esta encendido. Al observar la negación de la proposición, esta no suena igual, por ello es posible utilizar otras posibles expresiones de lectura como por ejemplo El motor no esta encendido. El símbolo ¬ es unario. A continuación se muestran algunos casos en las cuales se aplica la negación a un enunciado o proposición: Page 8 Universidad Tecnológica de Bolívar Docente: Joaquin Lara Sierra
  • 9. Negación de una proposición Conceptos de lógica Proposiciones Conectores Tablas de Verdad Interpretación Ejemplos Proposición Valor Negación Valor 5 es múltiplo de 8 F 5 no es múltiplo de 8 V 37 es un número primo V 37 no es un número primo F 5 es mayor que 7 F 5 no es mayor que 7 V 3+7=15 F 3+7 ≠ 15 V x es mayor que z V x no es mayor que z F Page 9 Universidad Tecnológica de Bolívar Docente: Joaquin Lara Sierra
  • 10. Negación de una proposición Conceptos de lógica Proposiciones Conectores Tablas de Verdad Interpretación Ejemplos Gráficamente la forma para negar un los átomos seria : Valor de la proposición Valor de la negación de la proposición v(q)=F (se asigna falso) v(¬q) = Verdadero (se asigna verdadero) v(¬p)= V (se asigna verdadero) v(p) = Falso (se asigna falso) v(s) =V (se asigna verdadero) v(¬s)= Falso (se asigna falso) Page 10 Universidad Tecnológica de Bolívar Docente: Joaquin Lara Sierra
  • 11. Proposiciones Simples y Compuestas Conceptos de lógica Proposiciones Conectores Tablas de Verdad Interpretación Ejemplos Cuando una proposición o un atomo se encuentra en su forma mas sencilla es decir expresando un solo enunciado se le considera proposición simple. Cuando esta se costituye en mas de una proposición se le denomina proposición compuesta. Las proposiciones simple continen un verbo, o un sujeto o un objeto. Las proposición compuesta varios verbos, sujetos u objetos. Por ejemplo: Proposiciones simples p: 7 es un número primo. q: Bolivar no es una ciudad Proposiciones compuestas m: 5 es un número impar y 2 es un número par. p: El árbol es de color verde o el árbol es de color café. Teniendo en cuenta estos ultimos ejemplos prodiamos decir que una proposición compuesta esta conformada por varias proposiciones simples las cuales se unen a traves de los conectores. Page 11 Universidad Tecnológica de Bolívar Docente: Joaquin Lara Sierra
  • 12. Conectores y Proposiciones Conceptos de lógica Proposiciones Conectores Tablas de Verdad Interpretación Ejemplos Los conectores lógicos mas conocidos son: si entonces si y solo si y o Un conectivo lógico es un elemento que permite la union de proposiciones simples. Page 12 Universidad Tecnológica de Bolívar Docente: Joaquin Lara Sierra
  • 13. Conectores y Proposiciones Conceptos de lógica Proposiciones Conectores Tablas de Verdad Interpretación Ejemplos Ejemplo: • s: el carro es costoso • t: el respuesto es de color verde. Otros: u: el carro es costoso y el respuesto es de color verde. o: x2 -16=0 si y solo si x=4 . v: si el parqueadero es pequeño entonces el carro es grande. En pocas palabra los conectivos lógicos son operadores que tambien te permiten combinar proposiciones para formar otras proposiciones; a esto tambien se le conoce como operadores binarios. Graficamente losconectivos lógicos principales son: Page 13 Universidad Tecnológica de Bolívar Docente: Joaquin Lara Sierra
  • 14. Conectores y Proposiciones Conceptos de lógica Proposiciones Conectores Tablas de Verdad Interpretación Ejemplos Nombre Conectivo Lógico Símbolos Conjución y Disyución inclusiva o Disyución exclusiva o ⊻ Condicional si...entonces -> si y solo si Bicondicional <-> Page 14 Universidad Tecnológica de Bolívar Docente: Joaquin Lara Sierra
  • 15. Conectores y Proposiciones Conceptos de lógica Proposiciones Conectores Tablas de Verdad Interpretación Ejemplos Operadores: Los operadores son simbolos que sirven para conectar los datos haciendo diversas clases de operaciones. Tipos de operadores: En función de las operaciones a realizar, los operadores se clasifican en: Page 15 Universidad Tecnológica de Bolívar Docente: Joaquin Lara Sierra
  • 16. Conjunción Conceptos de lógica Proposiciones Conectores Tablas de Verdad Interpretación Ejemplos La conjucción se representa mediante el símbolo . Sean p y q dos proposiciones, entonces p q se denomina la conjucción entre la proposición p y la proposición q. Algunas frases en las que aparece la conjucción son las siguientes: pyq p pero q p aunque q p sin embargo q p no obstante q La proposición p ⋀ q es verdadera p a pesar de q unicamente cuando p es verdadera y p a menos q q es verdadera. p igualmente q Es decir cuando ambas proposiciones son verdaderas. Page 16 Universidad Tecnológica de Bolívar Docente: Joaquin Lara Sierra
  • 17. Conjunción Conceptos de lógica Proposiciones Conectores Tablas de Verdad Interpretación Ejemplos Ejemplos de representación en lenguaje natural en los cuales se utiliza la conjucción son: En Haití hay inflacción y no hay crecimiento económico La tia tiene buenas intenciones sin embargo no tiene presupuesto La oferta es alta no obstante la demanda muy poca El equipo gano a pesar de la poca asistencia del publico Aunque está lloviendo es posible conducir Está nevando pero es posibole navegar Ejemplos de formulas proposicionales en donde se asignan interpretraciones arbirtrarias a los átomos y finalmente se dará el resultado de la evaluación de la proposición: Page 17 Universidad Tecnológica de Bolívar Docente: Joaquin Lara Sierra
  • 18. Conjunción Conceptos de lógica Proposiciones Conectores Tablas de Verdad Interpretación Ejemplos Porposición Interpretación Evaluaciónde la proposición v(p)=F, v(¬q)=V (p¬q) v(p¬q)=F v(p)=V, v(s)=V (ps) v(ps)=V v(p)=F, v(q)=F (pq) v(pq)=F v(¬q)=V, v(q)=F (¬qq) v(¬qq)=F v(p)=V, v(¬q)=V ,v(r)=F ¬(p¬qr) v¬(p¬qr)=V Page 18 Universidad Tecnológica de Bolívar Docente: Joaquin Lara Sierra
  • 19. Disyunción Conceptos de lógica Proposiciones Conectores Tablas de Verdad Interpretación Ejemplos Disyunción Inclusiva: El conectivo lógico que representa la disyunción inclusiva es ᐯ. La proposición p ᐯ q es llamada la disyunción inclusiva entre las proposiones p y q. Se considera la proposición p ᐯ q falsa, únicamente cuando la proposición p y la proposición q son falsas a la vez. Algunas frases en las que aparece la disyunción son las siguientes:  poq  p o q o ambos  al menos p o q  minimo p o q Page 19 Universidad Tecnológica de Bolívar Docente: Joaquin Lara Sierra
  • 20. Disyunción Conceptos de lógica Proposiciones Conectores Tablas de Verdad Interpretación Ejemplos Algunas frases de representación en lenguaje natural en los cuales se utiliza la disyunción son las siguientes: El parcial estaba dificil o mal redactado Hizo frio o la persona es nerviosa La ciudad es pequeña o había demasiado tráfico Para pagar el credito al menos se debe tener cuenta corriente o cuenta de ahorro Page 20 Universidad Tecnológica de Bolívar Docente: Joaquin Lara Sierra
  • 21. Disyunción Conceptos de lógica Proposiciones Conectores Tablas de Verdad Interpretación Ejemplos Ejemplos de formulas proposicionales en donde se asignan interpretraciones arbirtrarias a los átomos y finalmente se dará el resultado de la evaluación de la proposición: Proposición Interpretación Evaluación (¬p¬q) v(¬p)=F, v(¬q)=V v(¬p¬q)=V (ps) v(p)=V, v(s)=V v(ps)=V (pqr) v(p)=F,v(q)=F, v(r)=F v(pqr)=F ¬(pqr) v(p)=F,v(q)=F, v(r)=F v¬(pqr)=V Page 21 Universidad Tecnológica de Bolívar Docente: Joaquin Lara Sierra
  • 22. Disyunción Conceptos de lógica Proposiciones Conectores Tablas de Verdad Interpretación Ejemplos Disyunción Exclusiva. El conectivo lógico que representa la disyunción inclusiva es ⊻ . La proposición p ⊻ q se denomina la disyunción exclusiva. p ⊻ q es verdadera, únicamente cuando una de las dos proposiciones es verdadera, pero no ambas a la vez. Ejemplos de respresentación en lenguaje natural en los cuales se utiliza la disyunsión exclusiva: Hoy voy a cine o a jugar futbol. La tesis es laureada o meritoria El mes en que se debe pagar impuesto es noviembre o diciembre. El rector se elige por consulta popular o por una comisión del consejo. Page 22 Universidad Tecnológica de Bolívar Docente: Joaquin Lara Sierra
  • 23. Disyunción Conceptos de lógica Proposiciones Conectores Tablas de Verdad Interpretación Ejemplos Ejemplos de formulas proposicionales en donde se asignan interpretraciones arbirtrarias a los átomos y finalmente se dará el resultado de la evaluación de la proposición: Proposición Interpretación Evaluación (¬p ⊻ ¬q) v(¬p)=F, v(¬q)=V v(¬p ⊻ ¬q)=V (p ⊻ q) v(p)=F, v(q)=F v(p ⊻ q)=F (p ⊻ ¬q) v(p)=V, v(¬q)=V v(p ⊻ ¬q)=V ¬(p ⊻ q) v(p)=V, v(q)=V v¬(p ⊻ q)=F Page 23 Universidad Tecnológica de Bolívar Docente: Joaquin Lara Sierra
  • 24. Condicional Conceptos de lógica Proposiciones Conectores Tablas de Verdad Interpretación Ejemplos El conectivo lógico que representa la condicional es →. Sea p y q dos proposiciones : entonces la proposición , si p entonces q, se representa mediante p → q. La proposición p → q es falsa, si la primera proposición (antecedente ) es verdadera y la segunda proposición (consecuente) es falsa . Algunos ejemplos de representación en lenguaje natural en los cuales se utiliza la condicional son los siguientes: Si p entonces q q cuando p p implica q q es necesario para p p solo si q Para p es necesario q q si p p en consecuencia q p es suficiente para q p se deduce q Para q es suficiente p p por ende q No p a menos q Page 24 Universidad Tecnológica de Bolívar Docente: Joaquin Lara Sierra
  • 25. Condicional Conceptos de lógica Proposiciones Conectores Tablas de Verdad Interpretación Ejemplos Algunos ejemplos en lenguaje natural son:  Si el sol esta brillando entonces se puede hacer deporte  Si pedro es matematico entonces hace calculos  Si un número es par entonces es divisible por 2  Si un número tiene dos divisores es suficiente para que sea primo  Un número es divisible por 5 cuando termina en 0 o 5  Hoy es marte y por ende hay pico y placa para el carro  José perdió la materia en consecuencia perdió el semestre. Page 25 Universidad Tecnológica de Bolívar Docente: Joaquin Lara Sierra
  • 26. Disyunción Conceptos de lógica Proposiciones Conectores Tablas de Verdad Interpretación Ejemplos Ejemplos de formulas proposicionales en donde se asignan interpretraciones arbirtrarias a los átomos y finalmente se dará el resultado de la evaluación de la proposición: Proposición Interpretación Evauación (¬q→p) v(¬q)=F, v(p)=V v(¬q→p)=V (p→s) v(p)=V, v(s)=F v(p→s)=F ¬(p→q) v(p)=V, v(q)=F v¬(p→q)=V (p→s)→q v(p)=V, v(s)=F, v(q)=F v(p→s)→q=F Page 26 Universidad Tecnológica de Bolívar Docente: Joaquin Lara Sierra
  • 27. Bicondicional Conceptos de lógica Proposiciones Conectores Tablas de Verdad Interpretación Ejemplos El conectico lógico que representa la bicondicional es ↔. Sea p y q dos proposiciones , la proposición p si y solo si q, se representa p ↔ q. El bicondicional es verdadero únicamente cuando tanto p como q tienen los mismos valores de verdad. Algunos ejemplos de representación en lenguaje natural en los cuales se utiliza el bicondicional son los siguientes:  p si y solo si q  p es necesario y suficiente para q  p es equivalente a q  p cuando y solo cuando q  p entonces y solo entonces q Page 27 Universidad Tecnológica de Bolívar Docente: Joaquin Lara Sierra
  • 28. Disyunción Conceptos de lógica Proposiciones Conectores Tablas de Verdad Interpretación Ejemplos Ejemplos de formulas proposicionales en donde se asignan interpretraciones arbirtrarias a los átomos y finalmente se dará el resultado de la evaluación de la proposición: : Proposición Interpretación Evaluación (¬q↔ p) v(q)=F, v(p)=F v(¬q↔ p)=V (p↔ s) v(q)=V, v(s)=F v(p↔ s)=F ¬(p↔s) v(p)=F, v(s)=V v¬(p↔ s)=V ¬¬(p ↔ ¬q) v(p)=V, v(¬q)=F v¬¬(p ↔ ¬q)=F Page 28 Universidad Tecnológica de Bolívar Docente: Joaquin Lara Sierra
  • 29. Page 29 Universidad Tecnológica de Bolívar Docente: Joaquin Lara Sierra