Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 204 vistas

    Leyes Lógicas PDF

    Cargado por

    Cristian Cepeda
    Este documento presenta una lista de las leyes lógicas proposicionales, incluyendo su nombre y forma proposicional. Algunas de las leyes más importantes son la identidad, la absorción, el elemento complementario, el elemento neutro, la doble negación, el modus ponens, el modus tollens y la transitividad. La lista contiene un total de 28 leyes lógicas proposicionales fundamentales.

    Copyright:

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

    Leyes Lógicas PDF

    Cargado por

    Cristian Cepeda
    204 vistas2 páginas
    Este documento presenta una lista de las leyes lógicas proposicionales, incluyendo su nombre y forma proposicional. Algunas de las leyes más importantes son la identidad, la absorción, el elemento complementario, el elemento neutro, la doble negación, el modus ponens, el modus tollens y la transitividad. La lista contiene un total de 28 leyes lógicas proposicionales fundamentales.

    Título original

    Leyes Lógicas.pdf

    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?

    Este documento presenta una lista de las leyes lógicas proposicionales, incluyendo su nombre y forma proposicional. Algunas de las leyes más importantes son la identidad, la absorción, el elemento complementario, el elemento neutro, la doble negación, el modus ponens, el modus tollens y la transitividad. La lista contiene un total de 28 leyes lógicas proposicionales fundamentales.

    Copyright:

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

    Leyes Lógicas PDF

    Cargado por

    Cristian Cepeda
    Este documento presenta una lista de las leyes lógicas proposicionales, incluyendo su nombre y forma proposicional. Algunas de las leyes más importantes son la identidad, la absorción, el elemento complementario, el elemento neutro, la doble negación, el modus ponens, el modus tollens y la transitividad. La lista contiene un total de 28 leyes lógicas proposicionales fundamentales.

    Copyright:

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

    Algunas tautologías reciben nombres especiales, por ser de uso muy frecuente.

    Daremos a continuación una lista de las Leyes Lógicas Proposicionales:

    Nombre Forma proposicional


    Identidad p⇒q p⟺q

    Absorción p ∧ (q ∨ p) ≡ p p ∨ (q ∧ p) ≡ p

    Elemento Complementario (No contradicción) p ∧ ~p ≡ F p ∨ ~p ≡ V

    Elemento Neutro p∧V≡p p∨F≡p

    Doble negación ~ (~p) ≡ p

    Modus Ponens “Modo que afirma afirma” (p ⇒ q) ∧ p ≡ q

    Modus Tollens “Modo que negando niega” (p ⇒ q) ∧ ~q ≡ ~p


    p ⇒ q ≡ ∼(p ⇒ q)
    Transposición
    p ⟺ q ≡ ∼(p ⟺ q)
    A
    Conjunción B
    A∧B

    De la conjunción p∧q ≡ q∧p

    De la disyunción p∨q ≡ q∨p


    Conmutatividad
    Del bicondicional p⟺q ≡ q⟺p

    De la conjunción (p ∧ q) ∧ r ≡ q ∧ (p ∧ r)

    De la disyunción (p ∨ q) ∨ r ≡ q ∨ (p ∨ r)
    Asociatividad
    Del bicondicional (p ∧ q) ⟺ r ≡ q ⟺ (p ∧ q)

    Conjunción respecto disyunción. p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)

    Disyunción respecto conjunción p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)


    Distributividad
    Condicional respecto conjunción p ⇒ (q ∧ r) ≡ (p ⇒ q) ∧ (p ⇒ r)

    Condicional respecto disyunción p ⇒ (q ∨ r) ≡ (p ⇒ q) ∨ (p ⇒ r)


    p∧q p∧q
    Simplificación
    p q
    p
    Adición
    p∨q
    Conjunción a disyunción ~ (p ∧ q) ≡ ~p ∨ ~q
    De Morgan
    Disyunción a conjunción ~ (p ∨ q) ≡ ~p ∧ ~q
    (p → q) ∧ (q → r)
    Silogismo Hipotético o Transitividad
    p→r
    p∨q p∨p
    Silogismo Disyuntivo ∼q ∼p
    p q
    (𝑝𝑝→𝑞𝑞) ≡ (~𝑝𝑝 ∧ 𝑞𝑞)
    Definición del condicional
    (𝑝𝑝→𝑞𝑞) ≡ [~(𝑝𝑝 ∧ ~𝑞𝑞)]
    p ⟺ q ≡ (p → q) ∧ (q → p)
    Definición del bicondicional
    p ⟺ q ≡ {P(p → q)Q} ∨ (∼p ∧ ∼q)
    (p → q) ∧ (r → s)
    Dilemas constructivos p∨r
    q ∨ s…
    (p → q) ∧ (r → s)
    Dilemas destructivos ∼q∨∼s
    ∼ p ∨∼ r .

    Exportación (p ∧ q)→r ≡ p→(q ∧ r)

    (p∧p)⟺p
    Idempotencia
    (p∨p)⟺p
    X = A(b+cd)
    Expansión booleana
    XY’ + Z + YYZ + Y’Z

    También podría gustarte