SlideShare una empresa de Scribd logo
1 de 16
Lógica


Equivalencia Lógica
   -¿Qué es?
   -¿Cómo comprobarla?
Leyes Lógicas
   -¿Cuáles son?
   -¿Cómo usarlas?
Circuitos   Lógicos
   -¿Qué son?
   -¿Cómo se aplican?
Introducción
La Sra. Ana le escribe a su casero, Sr. Pepe: “A menos que
arregle la tubería, no pagaré la renta”.

¿Cómo expresar esta proposición        mediante   proposiciones
  simples?
Consideremos que las proposiciones simples son:
p: “La Sra. Ana paga la renta”.
q: “El Sr. Pepe arregla la tubería”.

Respuesta 1:   Usando “”Y     lógicamente p
                                    q  
Respuesta 2:   Usando “”          q  p
                 ¿ son la     misma    proposición?
Equivalencia Lógica
Dos proposiciones u y v   son lógicamente equivalentes cuando
       u es VERDADERA     si y sólo si v es VERDADERA
           u es FALSA     si y sólo si v es FALSA
Y lo denotamos por        u  v.




p     q
 V    V     F       V          F        V
                                        V
 V    F     F       F          V        F
                                        F
 F    V     V       V          F        V
                                        V
 F    F     V       V          V        V
                                        V
Equivalencia Lógica
¿Puedes identificar otra proposición cuya tabla de verdad coincida
  con ésta?


     p     q                                  p? q
                                               
     V     V        V             V             V
     V     F        F             F             F
     F     V        V             V             V
     F     F        V             V             V
Vocabulario






    Ejemplo en lenguaje común:
               “Si hubo un robo, algo desapareció”
                         es equivalente a
    “Si nada ha desaparecido entonces no hubo robo”
Ejercicio


Leyes Lógicas
En muchos casos,         necesitamos      usar  una    proposición
equivalente a la que tenemos entre manos... Y no siempre es
fácil realizar tablas de verdad si se tienen muchas proposiciones.
Por eso, necesitamos conocer algunas equivalencias notables
entre proposiciones, que llamaremos Leyes Lógicas.

              Ley                   Nombre de la Ley

                             Tercio excluido o de Dicotomía
                             de Contradicción

           pF F            Leyes de Identidad o de
                             Dominación
           pV V
                             de Doble Negación

           pV p            Leyes de identidad o Elemento
                             Neutro
           pF p
Leyes Lógicas

           Ley                    Nombre de la Ley


                             de De Morgan

     p  (p  q)  p         de Absorción
     p  (p  q)  p

     pq qp                Conmutativa


  (p  q)r  p(q  r)      Asociativa


p (q  r)  (pq)  (pr)   Distributiva



         Recuerda cómo demostrar una ley
Uso de las Leyes
Las leyes son muy útiles para demostrar que dos proposiciones
son equivalentes.


 
Ejercicios






    Para ver las
    respuestas, clickea
Circuitos Lógicos
Una red de conmutación o circuito está formada por cables e
interruptores que conectan a dos terminales.
                 T1 _______ ... _______T2

Si un interruptor está abierto, no fluye la corriente por él y se le
asocia el valor 0
y si está cerrado, permite el paso de la corriente y se le asocia
el valor 1.

Hay dos tipos simples de circuitos: en serie y en paralelo.
Cuando está en paralelo, la corriente fluye si alguno o ambos
están cerrados y se representa por p  q.


                                          Red en paralelo
                   p
    T1                              T2           pq
                   q
Circuitos Lógicos
En un circuito en serie, la corriente fluye de T1 a T2 si ambos
interruptores están cerrados y no fluye, si alguno o ambos están
abiertos. Se le asocia, entonces, la proposición p  q

                                            Red en serie

 T1           p            q         T2          pq




 Podemos ahora, utilizar la simplificación de proposiciones para
 simplificar circuitos y conseguir otros que sean equivalentes y
 realicen la misma función más eficientemente.
Ejercicio

3.- Simplifica el circuito

                    p        q


                    q        r
  T1                                           T2

                     p
                                 r   q
Tarea

1. a) Expresa simbólicamente la proposición:
   “Si Juan se va de vacaciones, el se va a divertir si
  no le da miedo volar.”
b) Niega la proposición anterior
  (Ayuda: la negación de una implicación no es una
  implicación)




                               No olvides escuchar la
                                  música de la Vida.
Respuestas



Respuestas






El circuito
simplificado es
                       p

                  T1              T2

                       r   q

Más contenido relacionado

La actualidad más candente

Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]
Henry Villalba
 
Lógica proposicional tablas de verdad
Lógica proposicional tablas de verdadLógica proposicional tablas de verdad
Lógica proposicional tablas de verdad
Videoconferencias UTPL
 
Relaciones de la lógica con otras ciencias
Relaciones de la lógica con otras cienciasRelaciones de la lógica con otras ciencias
Relaciones de la lógica con otras ciencias
Marco Salas
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacion
Wendy Estupiñan
 

La actualidad más candente (20)

CAPITULO VI: CANTIDAD DE MOVIMIENTO
CAPITULO VI: CANTIDAD DE MOVIMIENTOCAPITULO VI: CANTIDAD DE MOVIMIENTO
CAPITULO VI: CANTIDAD DE MOVIMIENTO
 
Lógica simbolica
Lógica simbolicaLógica simbolica
Lógica simbolica
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
Circuitos lógicos y leyes lógicas
Circuitos lógicos y leyes lógicasCircuitos lógicos y leyes lógicas
Circuitos lógicos y leyes lógicas
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]
 
Qué Es Un Dilema
Qué Es Un DilemaQué Es Un Dilema
Qué Es Un Dilema
 
Lógica proposicional tablas de verdad
Lógica proposicional tablas de verdadLógica proposicional tablas de verdad
Lógica proposicional tablas de verdad
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Relaciones de la lógica con otras ciencias
Relaciones de la lógica con otras cienciasRelaciones de la lógica con otras ciencias
Relaciones de la lógica con otras ciencias
 
Función inyectiva – sobreyectiva biyectiva
Función inyectiva – sobreyectiva   biyectivaFunción inyectiva – sobreyectiva   biyectiva
Función inyectiva – sobreyectiva biyectiva
 
Movimiento parabolico
Movimiento parabolicoMovimiento parabolico
Movimiento parabolico
 
CIRCUITOS LÓGICOS: Práctica
CIRCUITOS LÓGICOS: PrácticaCIRCUITOS LÓGICOS: Práctica
CIRCUITOS LÓGICOS: Práctica
 
Energía: Fórmulas y unidades
Energía: Fórmulas y unidadesEnergía: Fórmulas y unidades
Energía: Fórmulas y unidades
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Circuitos LóGicos
Circuitos LóGicosCircuitos LóGicos
Circuitos LóGicos
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Problemas resueltos-tema6
Problemas resueltos-tema6Problemas resueltos-tema6
Problemas resueltos-tema6
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacion
 
Lógica proposicional si
Lógica proposicional siLógica proposicional si
Lógica proposicional si
 
LóGica Proposicional
LóGica ProposicionalLóGica Proposicional
LóGica Proposicional
 

Destacado

LÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOSLÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOS
Jose Ojeda
 
5. Forma y Contenido de los Pensamientos (01-Oct-2013)
5. Forma y Contenido de los Pensamientos (01-Oct-2013)5. Forma y Contenido de los Pensamientos (01-Oct-2013)
5. Forma y Contenido de los Pensamientos (01-Oct-2013)
MedicinaUas
 
F1 7.2 división de los conceptos
F1 7.2 división de los conceptosF1 7.2 división de los conceptos
F1 7.2 división de los conceptos
ludimagister
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
herostara
 

Destacado (20)

Nociones lógico matemáticas
Nociones lógico matemáticasNociones lógico matemáticas
Nociones lógico matemáticas
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
LÓGICA SIMBÓLICA
LÓGICA SIMBÓLICALÓGICA SIMBÓLICA
LÓGICA SIMBÓLICA
 
LÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOSLÓGICA Y CONJUNTOS
LÓGICA Y CONJUNTOS
 
Simbología
SimbologíaSimbología
Simbología
 
Nocion o sentido de la logica jurídica.
Nocion o sentido de la logica jurídica.Nocion o sentido de la logica jurídica.
Nocion o sentido de la logica jurídica.
 
5. Forma y Contenido de los Pensamientos (01-Oct-2013)
5. Forma y Contenido de los Pensamientos (01-Oct-2013)5. Forma y Contenido de los Pensamientos (01-Oct-2013)
5. Forma y Contenido de los Pensamientos (01-Oct-2013)
 
F1 7.2 división de los conceptos
F1 7.2 división de los conceptosF1 7.2 división de los conceptos
F1 7.2 división de los conceptos
 
LOS PRINCIPIOS LOGICOS
LOS PRINCIPIOS LOGICOSLOS PRINCIPIOS LOGICOS
LOS PRINCIPIOS LOGICOS
 
Taula de la veritat
Taula de la veritatTaula de la veritat
Taula de la veritat
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Ejercicios resueltos de derivadas
Ejercicios resueltos de derivadasEjercicios resueltos de derivadas
Ejercicios resueltos de derivadas
 
Logica simbolica
Logica simbolicaLogica simbolica
Logica simbolica
 
Preposiciones
PreposicionesPreposiciones
Preposiciones
 
Ejercicios derivada e integrales
Ejercicios derivada e integralesEjercicios derivada e integrales
Ejercicios derivada e integrales
 
Lógico mat. c 3 equivalencia lógica.
Lógico mat. c 3 equivalencia lógica.Lógico mat. c 3 equivalencia lógica.
Lógico mat. c 3 equivalencia lógica.
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Logica
LogicaLogica
Logica
 
Logica simbolica
Logica simbolicaLogica simbolica
Logica simbolica
 
Concepto De Matriz, Tabla de verdad y logica matematicas
Concepto De Matriz, Tabla de verdad y logica matematicasConcepto De Matriz, Tabla de verdad y logica matematicas
Concepto De Matriz, Tabla de verdad y logica matematicas
 

Similar a Nociones de lógica

Presentación Orlando Aponte
Presentación Orlando ApontePresentación Orlando Aponte
Presentación Orlando Aponte
AponteOrlandoUFT
 
Presentación orlando aponte
Presentación orlando apontePresentación orlando aponte
Presentación orlando aponte
AponteOrlandoUFT
 
Unidad i estructuras discretas
Unidad i estructuras discretasUnidad i estructuras discretas
Unidad i estructuras discretas
luis_tovar85
 
matematicas para la informatica
matematicas para la informaticamatematicas para la informatica
matematicas para la informatica
xxx219
 
Proposiciones valeska
Proposiciones valeskaProposiciones valeska
Proposiciones valeska
valeska6620
 
T logica
T logicaT logica
T logica
Daniel
 
Presentación orlando aponte uft
Presentación orlando aponte uftPresentación orlando aponte uft
Presentación orlando aponte uft
AponteOrlandoUFT
 
Presentación orlando aponte uft
Presentación orlando aponte uftPresentación orlando aponte uft
Presentación orlando aponte uft
AponteOrlandoUFT
 
Presentación orlando aponte uft
Presentación orlando aponte uftPresentación orlando aponte uft
Presentación orlando aponte uft
AponteOrlandoUFT
 

Similar a Nociones de lógica (20)

Logica
LogicaLogica
Logica
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Presentación Orlando Aponte
Presentación Orlando ApontePresentación Orlando Aponte
Presentación Orlando Aponte
 
Presentación orlando aponte
Presentación orlando apontePresentación orlando aponte
Presentación orlando aponte
 
Unidad i estructuras discretas
Unidad i estructuras discretasUnidad i estructuras discretas
Unidad i estructuras discretas
 
Unidad i estructuras discretas
Unidad i estructuras discretasUnidad i estructuras discretas
Unidad i estructuras discretas
 
matematicas para la informatica
matematicas para la informaticamatematicas para la informatica
matematicas para la informatica
 
[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposiciones[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposiciones
 
Proposiciones valeska
Proposiciones valeskaProposiciones valeska
Proposiciones valeska
 
Lógica+pr..
Lógica+pr..Lógica+pr..
Lógica+pr..
 
T logica
T logicaT logica
T logica
 
Presentación orlando aponte uft
Presentación orlando aponte uftPresentación orlando aponte uft
Presentación orlando aponte uft
 
Presentación orlando aponte uft
Presentación orlando aponte uftPresentación orlando aponte uft
Presentación orlando aponte uft
 
Presentación orlando aponte uft
Presentación orlando aponte uftPresentación orlando aponte uft
Presentación orlando aponte uft
 
Asignacion1.deximarboza
Asignacion1.deximarbozaAsignacion1.deximarboza
Asignacion1.deximarboza
 
1 Logica.pptx
1 Logica.pptx1 Logica.pptx
1 Logica.pptx
 
OPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: PrácticaOPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: Práctica
 
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
 
Taller2 Logica Proposicional
Taller2 Logica ProposicionalTaller2 Logica Proposicional
Taller2 Logica Proposicional
 

Más de Juan Carlos

De soldado a mujer
De soldado a mujerDe soldado a mujer
De soldado a mujer
Juan Carlos
 
Resultado del Instrumento de Evaluacion del Proyecto
Resultado del Instrumento de Evaluacion del ProyectoResultado del Instrumento de Evaluacion del Proyecto
Resultado del Instrumento de Evaluacion del Proyecto
Juan Carlos
 
Resultado del Instrumento
Resultado del InstrumentoResultado del Instrumento
Resultado del Instrumento
Juan Carlos
 
Resultado del instrumento de
Resultado del instrumento deResultado del instrumento de
Resultado del instrumento de
Juan Carlos
 

Más de Juan Carlos (7)

De soldado a mujer
De soldado a mujerDe soldado a mujer
De soldado a mujer
 
Resultado del Instrumento de Evaluacion del Proyecto
Resultado del Instrumento de Evaluacion del ProyectoResultado del Instrumento de Evaluacion del Proyecto
Resultado del Instrumento de Evaluacion del Proyecto
 
Resultado del Instrumento
Resultado del InstrumentoResultado del Instrumento
Resultado del Instrumento
 
Resultado del instrumento de
Resultado del instrumento deResultado del instrumento de
Resultado del instrumento de
 
Presentación1
Presentación1Presentación1
Presentación1
 
Presentación1
Presentación1Presentación1
Presentación1
 
Presentación1
Presentación1Presentación1
Presentación1
 

Último (8)

Calculadora de salud.pdfjsisiskejdjdjkjk
Calculadora de salud.pdfjsisiskejdjdjkjkCalculadora de salud.pdfjsisiskejdjdjkjk
Calculadora de salud.pdfjsisiskejdjdjkjk
 
SENSORES POSICION MOTOR y su ubicacion en el motor
SENSORES POSICION MOTOR y su ubicacion en el motorSENSORES POSICION MOTOR y su ubicacion en el motor
SENSORES POSICION MOTOR y su ubicacion en el motor
 
BALANCE TÉRMICO-MOTORES DE COMBUSTIÓN INTERNA.pptx
BALANCE TÉRMICO-MOTORES DE COMBUSTIÓN INTERNA.pptxBALANCE TÉRMICO-MOTORES DE COMBUSTIÓN INTERNA.pptx
BALANCE TÉRMICO-MOTORES DE COMBUSTIÓN INTERNA.pptx
 
tipos de suspension automotriz -rea marlon.pdf
tipos de suspension automotriz -rea marlon.pdftipos de suspension automotriz -rea marlon.pdf
tipos de suspension automotriz -rea marlon.pdf
 
propoketapropoketapropoketapropoketa.pptx
propoketapropoketapropoketapropoketa.pptxpropoketapropoketapropoketapropoketa.pptx
propoketapropoketapropoketapropoketa.pptx
 
Manual de usuario de camioneta Mitsubishi L200.pdf
Manual de usuario de camioneta Mitsubishi L200.pdfManual de usuario de camioneta Mitsubishi L200.pdf
Manual de usuario de camioneta Mitsubishi L200.pdf
 
valentina ascanio jimenez bbbbbbbbbbbbbbnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnn...
valentina ascanio jimenez bbbbbbbbbbbbbbnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnn...valentina ascanio jimenez bbbbbbbbbbbbbbnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnn...
valentina ascanio jimenez bbbbbbbbbbbbbbnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnnn...
 
AC-CDI Electricidad de motocicleta, diagrama de conexion
AC-CDI Electricidad de motocicleta, diagrama de conexionAC-CDI Electricidad de motocicleta, diagrama de conexion
AC-CDI Electricidad de motocicleta, diagrama de conexion
 

Nociones de lógica

  • 1. Lógica Equivalencia Lógica -¿Qué es? -¿Cómo comprobarla? Leyes Lógicas -¿Cuáles son? -¿Cómo usarlas? Circuitos Lógicos -¿Qué son? -¿Cómo se aplican?
  • 2. Introducción La Sra. Ana le escribe a su casero, Sr. Pepe: “A menos que arregle la tubería, no pagaré la renta”. ¿Cómo expresar esta proposición mediante proposiciones simples? Consideremos que las proposiciones simples son: p: “La Sra. Ana paga la renta”. q: “El Sr. Pepe arregla la tubería”. Respuesta 1: Usando “”Y lógicamente p q   Respuesta 2: Usando “” q  p ¿ son la misma proposición?
  • 3. Equivalencia Lógica Dos proposiciones u y v son lógicamente equivalentes cuando u es VERDADERA si y sólo si v es VERDADERA u es FALSA si y sólo si v es FALSA Y lo denotamos por u  v. p q V V F V F V V V F F F V F F F V V V F V V F F V V V V V
  • 4. Equivalencia Lógica ¿Puedes identificar otra proposición cuya tabla de verdad coincida con ésta? p q p? q  V V V V V V F F F F F V V V V F F V V V
  • 5. Vocabulario  Ejemplo en lenguaje común: “Si hubo un robo, algo desapareció” es equivalente a “Si nada ha desaparecido entonces no hubo robo”
  • 7. Leyes Lógicas En muchos casos, necesitamos usar una proposición equivalente a la que tenemos entre manos... Y no siempre es fácil realizar tablas de verdad si se tienen muchas proposiciones. Por eso, necesitamos conocer algunas equivalencias notables entre proposiciones, que llamaremos Leyes Lógicas. Ley Nombre de la Ley Tercio excluido o de Dicotomía de Contradicción pF F Leyes de Identidad o de Dominación pV V de Doble Negación pV p Leyes de identidad o Elemento Neutro pF p
  • 8. Leyes Lógicas Ley Nombre de la Ley de De Morgan p  (p  q)  p de Absorción p  (p  q)  p pq qp Conmutativa (p  q)r  p(q  r) Asociativa p (q  r)  (pq)  (pr) Distributiva Recuerda cómo demostrar una ley
  • 9. Uso de las Leyes Las leyes son muy útiles para demostrar que dos proposiciones son equivalentes. 
  • 10. Ejercicios  Para ver las respuestas, clickea
  • 11. Circuitos Lógicos Una red de conmutación o circuito está formada por cables e interruptores que conectan a dos terminales. T1 _______ ... _______T2 Si un interruptor está abierto, no fluye la corriente por él y se le asocia el valor 0 y si está cerrado, permite el paso de la corriente y se le asocia el valor 1. Hay dos tipos simples de circuitos: en serie y en paralelo. Cuando está en paralelo, la corriente fluye si alguno o ambos están cerrados y se representa por p  q. Red en paralelo p T1 T2 pq q
  • 12. Circuitos Lógicos En un circuito en serie, la corriente fluye de T1 a T2 si ambos interruptores están cerrados y no fluye, si alguno o ambos están abiertos. Se le asocia, entonces, la proposición p  q Red en serie T1 p q T2 pq Podemos ahora, utilizar la simplificación de proposiciones para simplificar circuitos y conseguir otros que sean equivalentes y realicen la misma función más eficientemente.
  • 13. Ejercicio 3.- Simplifica el circuito p q q r T1 T2 p r q
  • 14. Tarea 1. a) Expresa simbólicamente la proposición: “Si Juan se va de vacaciones, el se va a divertir si no le da miedo volar.” b) Niega la proposición anterior (Ayuda: la negación de una implicación no es una implicación) No olvides escuchar la música de la Vida.