Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 25 vistas

    R.M. Algebra Proposicional

    Cargado por

    Luz Quispe Ore
    Este documento presenta los conceptos básicos del álgebra proposicional, incluyendo las leyes de la no contradicción, identidad, tercero excluido, conmutativa, asociativa, complemento y de Morgan. También explica circuitos lógicos representando conjunciones y disyunciones, y propone ejercicios de simplificación de proposiciones y circuitos lógicos equivalentes.

    Copyright:

    © All Rights Reserved

    R.M. Algebra Proposicional

    Cargado por

    Luz Quispe Ore
    25 vistas14 páginas
    Este documento presenta los conceptos básicos del álgebra proposicional, incluyendo las leyes de la no contradicción, identidad, tercero excluido, conmutativa, asociativa, complemento y de Morgan. También explica circuitos lógicos representando conjunciones y disyunciones, y propone ejercicios de simplificación de proposiciones y circuitos lógicos equivalentes.

    Título original

    R.M. ALGEBRA PROPOSICIONAL (1)

    Derechos de autor

    © © All Rights Reserved

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento presenta los conceptos básicos del álgebra proposicional, incluyendo las leyes de la no contradicción, identidad, tercero excluido, conmutativa, asociativa, complemento y de Morgan. También explica circuitos lógicos representando conjunciones y disyunciones, y propone ejercicios de simplificación de proposiciones y circuitos lógicos equivalentes.

    Copyright:

    © All Rights Reserved
    25 vistas14 páginas

    R.M. Algebra Proposicional

    Cargado por

    Luz Quispe Ore
    Este documento presenta los conceptos básicos del álgebra proposicional, incluyendo las leyes de la no contradicción, identidad, tercero excluido, conmutativa, asociativa, complemento y de Morgan. También explica circuitos lógicos representando conjunciones y disyunciones, y propone ejercicios de simplificación de proposiciones y circuitos lógicos equivalentes.

    Copyright:

    © All Rights Reserved
    de 14

    Facultad de Medicina

    Escuela Profesional de Medicina

    RAZONAMIENTO MATEMÁTICO

    Mg. Reynaldo Narváez Cangalaya


    Universidad Nacional
    Federico Villarreal FACULTAD DE CIENCIAS
    NATURALES Y MATEMÁTICA

    ALGEBRA
    PROPOSICIONAL
    Universidad Nacional
    Federico Villarreal FACULTAD DE CIENCIAS
    NATURALES Y MATEMÁTICA

    ALGEBRA PROPOSICIONAL

    • Ley de la No contradicción: Una proposición no puede ser


    simultáneamente verdadera y falsa.
    ~ (p Λ ~ p) ≡ V

    • Ley de Identidad: Esta ley permite hacer equivalencia entre dos


    proposiciones de un mismo argumento.
    Conjunción: (p ^ V) ≡ p Disyunción: (p v F) ≡ p

    • Ley de tercero excluido: Una proposición o es verdadera o falsa, no


    existe una tercera posibilidad.
    (p v ~p) ≡ V
    Universidad Nacional
    Federico Villarreal FACULTAD DE CIENCIAS
    NATURALES Y MATEMÁTICA

    ALGEBRA PROPOSICIONAL
    • Ley conmutativa: En la conjunción (disyunción) se afirma que se dan
    dos cosas a la vez, de modo que el orden de sus elementos no cambia
    este hecho.
    Conjunción:(p ^ q) ≡ (q ^ p) Disyunción: (p v q) ≡ (q v p)

    • Ley asociativa: No considera el orden de las proposiciones, por lo


    que se puede agrupar de diferente manera sin que su valor cambie.
    Conjunción: [(p ^ q) ^ r ] ≡ [p ^ (q ^ r)]
    Disyunción: [(p v q) v r ] ≡ [p v (q v r)]

    • Ley de complemento: Su grado de valides va de acuerdo a las leyes


    de conjunción y disyunción
    Conjunción: p ^ ~p ≡ F OTRAS: ~(~p) ≡p; V≡F ; ~F≡V
    Disyunción: p v ~p ≡ V
    Universidad Nacional
    Federico Villarreal FACULTAD DE CIENCIAS
    NATURALES Y MATEMÁTICA

    ALGEBRA PROPOSICIONAL

    • Leyes de Morgan: Esta ley permite transformar una disyunción en


    una conjunción, y viceversa, es decir, una conjunción en una disyunción.
    ~ (p ∨ q) ≡ ~ p ∧ ~ q
    ~ (p ∧ q) ≡ ~ p ∨ ~ q

    • Ley idempotencia: Es la propiedad para realizar una acción


    determinada varias veces y aun así conseguir el mismo resultado que se
    obtendría si se realizase una sola vez.
    p^V≡p p∧p≡p
    pvF≡P pvp≡ p
    Universidad Nacional
    Federico Villarreal FACULTAD DE CIENCIAS
    NATURALES Y MATEMÁTICA

    ALGEBRA PROPOSICIONAL
    Universidad Nacional
    Federico Villarreal FACULTAD DE CIENCIAS
    NATURALES Y MATEMÁTICA

    SIMPLIFICACIÓN DE PROPOSICIONES
    1.- Mediante las leyes del álgebra de proposiciones, simplificar las siguientes
    expresiones:
    a) (p v q ) ∧ (~p v F)

    b) p ∧ (p v q) ] ∧ V

    c) [p ∧ (p v q) ] ∧ q

    d) (p v q) ] ∧ p ∧ (~p v ~q)

    e) (p v q) ] v [p ∧ (~p v ~q)]

    2.- Elija 3 leyes del álgebra proposicional y elabore sus respectivos ejemplos
    en expresiones literales
    (Ejm. Ley de complemento ~(~p) ≡p
    No es cierto que dos no sea par. Por lo tanto dos es par)
    Universidad Nacional
    Federico Villarreal

    CIRCUITOS
    LÓGICOS
    Universidad Nacional
    Federico Villarreal FACULTAD DE CIENCIAS
    NATURALES Y MATEMÁTICA

    CIRCUITOS LÓGICOS

    • El valor de verdad de una proposición puede asociarse con


    interruptores que controlan el paso de la corriente. Así si una
    proposición es verdadera, el interruptor estará cerrado y la corriente
    pasará. Si la proposición es falsa, el interruptor estará abierto y la
    corriente no pasará.
    Universidad Nacional
    Federico Villarreal FACULTAD DE CIENCIAS
    NATURALES Y MATEMÁTICA

    CIRCUITOS LÓGICOS

    Equivalencia Lógica
    Universidad Nacional
    Federico Villarreal

    CIRCUITOS LÓGICOS
    CONJUNCIÓN DISYUNCIÓN

    Hallar la expresión equivalente a los circuitos mostrados


    Universidad Nacional
    Federico Villarreal

    TRABAJO COLABORATIVO

    INVESTIGAR Y DESARROLLAR

    CUANTIFICADORES LÓGICOS
    Y
    SU CLASIFICACIÓN
    Universidad Nacional
    Federico Villarreal FACULTAD DE CIENCIAS
    NATURALES Y MATEMÁTICA

    ACTIVIDAD PERSONALIZADA

    LOGRO DE APRENDIZAJE:
    Aplicación de la lógica proposicional en su campo de
    formación académica
    Universidad Nacional
    Federico Villarreal FACULTAD DE CIENCIAS
    NATURALES Y MATEMÁTICA

    REFERENCIA BIBLIOGRÁFICA

    GIRÓN, M. (2012). Aplicaciones de matemática y cálculo a situaciones reales. Universidad


    Peruana de Ciencias Aplicadas. Lima 1° ed.

    https://www.youtube.com/watch?v=FsGAvbh3ijk

    También podría gustarte