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

¡Te damos la bienvenida a Scribd!

  • 4 vistas

    Tema Leyes Lógicas

    Cargado por

    Leónidas Inostroza huillca

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd

    Tema Leyes Lógicas

    Cargado por

    Leónidas Inostroza huillca
    4 vistas2 páginas

    Título original

    Tema Leyes Lógicas (1)

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    4 vistas2 páginas

    Tema Leyes Lógicas

    Cargado por

    Leónidas Inostroza huillca

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    de 2

    RAZONAMIENTO LÓGICO MATEMÁTICO FWTH

    Principales leyes lógicas:

    Una forma proposicional es una ley lógica si y sólo si cualquiera que sea la interpretación
    formalmente correcta que se haga de la misma, se obtiene como resultado una verdad lógica.
    En lógica, las tautologías son conocidas con el nombre de leyes o principios lógicos y son las
    siguientes:

    a) Ley de Identidad.- Una identidad solo es idéntica a sí misma. Se expresa por:


    p→p y pp

    b) Ley de no Contradicción.- Una proposición no puede ser verdadera y falsa a la vez. Se


    expresa por:
    ~(p  ~p)

    c) Ley del Tercio excluido.- Una proposición o es verdadera o es falsa, no hay una tercera
    posibilidad. Se expresa por:
    p  ~p

    Existen muchas otras tautologías y se clasifican en dos grupos: las tautologías llamadas
    equivalencias notables y las llamadas implicaciones notables

    7. Equivalencias notables:

    a) Ley de Involución.-
    ~(~p)  p

    b) La Idempotencia.-

    ppp
    ppp

    c) Leyes Conmutativas.-

    pqqp
    pqqp
    pqqp

    d) Leyes Asociativas.-

    (p  q)  r  p  (q  r)
    (p  q)  r  p  (q  r
    (p  q)  r  p  (q  r)

    e) Leyes Distributivas.-

    p  (q  r)  (p  q)  (p  r)
    p  (q  r)  (p  q)  (p  r)
    p → (q  r)  (p → q)  (p → r)
    p → (q  r)  (p → q)  (p → r)

    Si caminas solo, irás más rápido; si caminas acompañado, llegarás más lejos 8
    RAZONAMIENTO LÓGICO MATEMÁTICO FWTH
    f) Leyes de Morgan.-
    ~(p  q)  ~p  ~q
    ~(p  q)  ~p  ~q

    g) Leyes del Condicional.-

    p → q  ~p  q
    ~(p → q)  p  ~q

    h) Leyes del Bicondicional.-

    p  q  (p → q)  (q → p)
    p  q  (p  q)  (~p  ~q)

    i) Leyes de la Absorción.-

    p  (p  q)  p *
    p  (~p  q)  p  q **
    p  (p  q)  p
    p  (~p  q)  p  q

    Las leyes (*), (**) constituyen la absorción del esquema conjuntivo al disyuntivo. Uno de los
    miembros del esquema conjuntivo es el esquema absorbente (puede ser una variable o una
    cadena de disyunciones), y el otro miembro es el esquema que se absorbe (puede ser una
    disyunción o una cadena de disyunciones).

    j) Leyes de Transposición.-

    (p → q)  (~q → ~p)
    (p  q)  (~q  ~p)

    k) Leyes de Exportación.-

    (p  q) → r  p → (q → r)
    [(p1  p2  p3 . . .  pn) → r]  [(p1  p2  p3 . . .  pn-1) → (pn → r)]

    l) Formas normales para la Conjunción y Disyunción.-

    F.N. Conjuntiva F.N. Disyuntiva


    TTT CCC
    TPP CPP
    CPC TPT

    Donde T: Tautología, C: Contradicción, P: esquema molecular cualquiera

    m) Elementos Neutros para la Contradicción y Tautología.-

    pC=C CT=T pT=T

    Si caminas solo, irás más rápido; si caminas acompañado, llegarás más lejos 9

    También podría gustarte