Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 391 vistas

    Axiomas Logica Proposicional

    Cargado por

    Juan Felipe J B
    Este documento presenta los axiomas y teoremas fundamentales de la lógica proposicional, la lógica de cuantificadores y la lógica de predicados. En la lógica proposicional se definen las operaciones básicas como la negación, la conjunción, la disyunción y la implicación. En la lógica de cuantificadores se establecen las reglas para el manejo correcto de cuantificadores universales y existenciales. Finalmente, la lógica de predicados combina proposiciones y cuant

    Copyright:

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

    Axiomas Logica Proposicional

    Cargado por

    Juan Felipe J B
    391 vistas2 páginas
    Este documento presenta los axiomas y teoremas fundamentales de la lógica proposicional, la lógica de cuantificadores y la lógica de predicados. En la lógica proposicional se definen las operaciones básicas como la negación, la conjunción, la disyunción y la implicación. En la lógica de cuantificadores se establecen las reglas para el manejo correcto de cuantificadores universales y existenciales. Finalmente, la lógica de predicados combina proposiciones y cuant

    Descripción original:

    AXIOMAS LOGICA PROPOSICIONAL Y CUANTIFICADORES - MATEMATICA ESTRUCTURAL Y LOGICA

    Título original

    AXIOMAS LOGICA PROPOSICIONAL

    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 los axiomas y teoremas fundamentales de la lógica proposicional, la lógica de cuantificadores y la lógica de predicados. En la lógica proposicional se definen las operaciones básicas como la negación, la conjunción, la disyunción y la implicación. En la lógica de cuantificadores se establecen las reglas para el manejo correcto de cuantificadores universales y existenciales. Finalmente, la lógica de predicados combina proposiciones y cuant

    Copyright:

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

    Axiomas Logica Proposicional

    Cargado por

    Juan Felipe J B
    Este documento presenta los axiomas y teoremas fundamentales de la lógica proposicional, la lógica de cuantificadores y la lógica de predicados. En la lógica proposicional se definen las operaciones básicas como la negación, la conjunción, la disyunción y la implicación. En la lógica de cuantificadores se establecen las reglas para el manejo correcto de cuantificadores universales y existenciales. Finalmente, la lógica de predicados combina proposiciones y cuant

    Copyright:

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

    AXIOMAS DE LÓGICA PROPOSICIONAL

    ≡- Asociatividad: ((p ≡ q) ≡ r) ≡ (p ≡ (q ≡ r)) ∧-Idempotencia p∧p≡p


    ≡- Conmutatividad p≡q≡q≡p Contradicción p ∧ ¬p ≡ false
    ≡- Identidad true ≡ p ≡ p Distributividad ∨/≡ p ∨ (q ≡ r) ≡ p ∨ q ≡ p ∨ r
    Def false false ≡ ¬true Distributividad ∧/∨ p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)

    Neg ≡ ¬(p ≡ q) ≡ ¬p ≡ q Distributividad ∨/∧ p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)


    Def  x  y ≡ ¬(x ≡ y) De Morgan ¬(x ∨ y) ≡ ¬x ∧ ¬y
    Doble negación ¬¬p ≡ p De Morgan ¬(x ∧ y) ≡ ¬x ∨ ¬y
    ∨-Identidad p ∨ false ≡ p Absorción p ∨ (p ∧ q) ≡ p
    ∨-Conmutatividad p∨q≡q∨p Absorción p ∧ (p ∨ q) ≡ p
    ∨-Dominancia p ∨ true ≡ true Absorción neg p ∨ (¬p ∧ q) ≡ p ∨ q
    ∨-Asociatividad p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r Absorción neg p ∧ (¬p ∨ q) ≡ p ∧ q
    ∨-Idempotencia p∨p≡p Definición de ⇒ p ⇒ q ≡ ¬p ∨ q
    Medio excluído p ∨ ¬p ≡ true Contrapositiva p ⇒ q ≡ ¬q ⇒ ¬p
    ∧-Identidad p ∧ true ≡ p Distributividad ⇒/∧ p ⇒ (q ∧ r) ≡ (p ⇒ q) ∧ (p ⇒ r)
    ∧-Dominancia p ∧ false ≡ false ∧⇒/⇒⇒ (Shunting) p ∧ q ⇒ r ≡ p ⇒ (q ⇒ r)
    ∧-Conmutatividad p∧q≡q∧p Def ≡ p ≡ q ≡ (p ⇒ q) ∧ (q ⇒ p)
    ∧-Asociatividad p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r Def ≡ p ≡ q ≡ (p ∧ q) ∨ (¬p ∧ ¬q)

    Teoremas de lógica proposicional

    Negación de false false ≡ ¬true


    Regla de oro p∧q≡p≡q≡p∨q
    Distributividad ∨/∨ p ∨ (q ∨ r) ≡ (p ∨ q) ∨ (p ∨ r)
    Distributividad ∧/∧ p ∧ (q ∧ r) ≡ (p ∧ q) ∧ (p ∧ r)
    Definición de ⇒ p⇒q≡p∧q≡p
    Definición de ⇒ p⇒q≡p∨q≡q
    Modus ponens fuerte p ∧ (p ⇒ q) ≡ p ∧ q
    Modus ponens p ∧ (p ⇒ q) ⇒ q
    3.48 p ∧ q ≡ p ∧ ¬q ≡ ¬p
    3.49 p ∧ (q ≡ r) ≡ p ∧ q ≡ p ∧ r ≡ p
    Reemplazo (p ≡ q) ∧ (r ≡ p) ≡ (p ≡ q) ∧ (r ≡ q)
    3.50 p ∧ (q ≡ p) ≡ p ∧ q
    3.62 p ⇒ (q ≡ r) ≡ p ∧ q ≡ p ∧ r
    Distributividad ⇒/≡ p ⇒ (q ≡ r) ≡ p ⇒ q ≡ p ⇒ r
    3.64 p ⇒ (q ⇒ r) ≡ (p ⇒ q) ⇒ (p ⇒ r)
    3.67 p ∧ (q ⇒ p) ≡ p
    3.69 p ∨ (q ⇒ p) ≡ q ⇒ p
    AXIOMAS DE CUANTIFICADORES

    Rango vacío
    ((x | false : P) = u)

    Un punto: Si E no depende de x:
    (x| x=E : P) = P[x:= E]

    Distributividad: Si las cuantificaciones están bien definidas:


    (x| R : E1)  (x| R : E2) = (x| R : E1  E2)

    Partir rango disyunto: Si las cuantificaciones están bien definidas y R  S  false:


    (x| RS : E) = (x| R : E)  (x| S : E)

    Partir rango idempotente: Si las cuantificaciones están bien definidas y xx =x:
    (x| RS : E) = (x| R : E)  (x| S : E)

    Partir rango: Si las cuantificaciones están bien definidas:


    (x|RS:E)(x|RS :E) = (x|R :E)  (x|S:E)

    Intercambio de cuantificaciones: Si las cuantificaciones están bien definidas, R no depende de y, Q no depende de x:


    (x | R : (y | Q : E)) = (y | Q : (x | R : E))

    Anidamiento: Si las cuantificaciones están bien definidas, R no depende de y:


    (x,y | R ∧ Q : E) = (x | R : (y | Q : E))

    Renombramiento de variable: Si R, E no dependen de y:


    (x| R : E) = (y| R[x:= y] : (E[x:= y])

    AXIOMAS DE LÓGICA DE PREDICADOS

    Trueque 
    (x | R : P)  (x |: R  P)
    Distributividad / Si P no depende de x:
    P  (x| R : Q)  (x| R : P  Q)
    De Morgan generalizado
    (x| Q : R )  (x| Q : R)

    También podría gustarte