Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 93 vistas

    Logica Proposicional El Chancuco

    Cargado por

    Charlot Diaz
    Este documento define los símbolos, axiomas y reglas de la lógica proposicional. Presenta las definiciones de los operadores lógicos como la negación, disyunción, conjunción e implicación, junto con sus axiomas y reglas asociadas. También describe esquemas para la demostración de teoremas usando igualdades lógicas o implicaciones.

    Copyright:

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

    Logica Proposicional El Chancuco

    Cargado por

    Charlot Diaz
    93 vistas2 páginas
    Este documento define los símbolos, axiomas y reglas de la lógica proposicional. Presenta las definiciones de los operadores lógicos como la negación, disyunción, conjunción e implicación, junto con sus axiomas y reglas asociadas. También describe esquemas para la demostración de teoremas usando igualdades lógicas o implicaciones.

    Descripción original:

    Axiomas de la lógica 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 define los símbolos, axiomas y reglas de la lógica proposicional. Presenta las definiciones de los operadores lógicos como la negación, disyunción, conjunción e implicación, junto con sus axiomas y reglas asociadas. También describe esquemas para la demostración de teoremas usando igualdades lógicas o implicaciones.

    Copyright:

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

    Logica Proposicional El Chancuco

    Cargado por

    Charlot Diaz
    Este documento define los símbolos, axiomas y reglas de la lógica proposicional. Presenta las definiciones de los operadores lógicos como la negación, disyunción, conjunción e implicación, junto con sus axiomas y reglas asociadas. También describe esquemas para la demostración de teoremas usando igualdades lógicas o implicaciones.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    Está en la página 1de 2

    Lógica Proposicional: El Chancuco

    Definiciones ordenadas por prioridad operativa: Axiomas de la disyunción ∨:

    Sı́mbolo(s) Nombre Lectura Regla Nombre


    true, t, 1 Verdadero “es verdadero que...” true ∨ true ≡ true Verdadero o verdadero
    f alse, f, 0 Falso “es falso que...” f alse ∨ f alse ≡ f alse Falso o falso
    ¬, ∼ Negación “no...” true ∨ f alse ≡ true Verdadero o falso
    ∨ Disyunción “... o...” p∨q ≡q∨p Conmutatividad ∨
    ⊕, 6≡, 6⇐⇒ Disyunción exclusiva “o..., o...” p ∨ f alse ≡ p Identidad ∨
    ∧ Conjunción “... y...” p ∨ true ≡ true Dominación ∨
    =⇒ Implicación “si..., entonces...” p∨p≡p Idempotencia ∨
    ≡, ⇐⇒ Equivalencia “... equivale a...” (p ∨ q) ∨ r ≡ p ∨ (q ∨ r) Asociatividad ∨
    ` Teorema “... es un teorema p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) Distributividad ∨ sobre ∧
    p ∨ (p ∧ q) ≡ p Absorción ∨ sobre ∧
    ¬(p ∨ q) ≡ ¬p ∧ ¬q De Morgan ∨
    p ∨ ¬p ≡ true Tautologı́a (medio excluido)
    Axiomas de la negación ¬:

    Regla Nombre
    ¬¬p ≡ p Doble negación Axiomas de la implicación =⇒:
    f alse ≡ ¬true Definición de false
    Regla Nombre
    ¬f alse ≡ true Negación de false
    true =⇒ true ≡ true Verdadero implica verdadero
    f alse =⇒ f alse ≡ true Falso implica falso
    true =⇒ f alse ≡ f alse Verdadero implica falso
    Axiomas de la conjunción ∧: f alse =⇒ true ≡ true Falso implica verdadero
    p =⇒ q ≡ ¬p ∨ q Definición =⇒
    Regla Nombre
    ¬(p =⇒ q) ≡ p ∧ ¬q Negación =⇒
    true ∧ true ≡ true Verdadero y verdadero
    p =⇒ q ≡ ¬q =⇒ ¬p Contrarecı́proca =⇒
    f alse ∧ f alse ≡ f alse Falso y falso
    p ∧ q ≡ ¬(p =⇒ ¬q) Definición de ∧ con =⇒
    true ∨ f alse ≡ f alse Verdadero y falso
    p ∨ q ≡ ¬p =⇒ q Definición de ∨ con =⇒
    p∧q ≡q∧p Conmutatividad ∧
    (p =⇒ q) ∧ (p =⇒ r) Distributividad izquierda de =⇒
    p ∧ true ≡ p Identidad ∧ ≡ (p =⇒ (q∧ r)) sobre ∧
    p ∧ f alse ≡ f alse Dominación ∧ (p =⇒ q) ∨ (p =⇒ r) Distributividad izquierda de =⇒
    p∧p≡p Idempotencia ∧ ≡ (p =⇒ (q∨ r)) sobre ∨
    (p ∧ q) ∧ r ≡ p ∧ (q ∧ r) Asociatividad ∧ (p =⇒ r) ∧ (q =⇒ r) Distributividad derecha de =⇒
    ≡ (p ∨ q) =⇒ r sobre ∧
    p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) Distributividad ∧ sobre ∧
    (p =⇒ r) ∨ (q =⇒ r) Distributividad derecha de =⇒
    p ∨ (p ∧ q) ≡ p Absorción ∨ sobre ∧
    ≡ (p ∧ q) =⇒ r sobre ∨
    ¬(p ∧ q) ≡ ¬p ∨ ¬q De Morgan ∧
    p =⇒ (q =⇒ r) Asociatividad izquierda de =⇒
    p ∧ ¬p ≡ f alse Contradicción ≡ (p ∧ q) =⇒ r
    Axiomas de la equivalencia ≡, ⇐⇒: Esquema de demostración ecuacional:

    Regla Nombre Lema: h Proposición necesaria para la demostración


    posterior i
    (p ≡ p) ≡ true Equivalencia Dem:
    (p ≡ ¬p) ≡ f alse No equivalencia (...)
    (p ≡ q) ≡ (p =⇒ q) ∧ (q =⇒ p) Definición1 ≡
    Teo: h Proposición a demostrari
    (p ≡ q) ≡ (p ∧ q) ∨ (¬p ∧ ¬q) Definición2 ≡ Dem:
    true ≡ (p ≡ p) Identidad ≡ Exp. Regla (razón)
    E0
    ≡ E1 r1
    ≡ E2 r2
    Axiomas de la disyunción exclusiva ⊕, 6≡, 6⇐⇒: .. .. ..
    . . .
    ≡ Ei−1 ri−1
    Regla Nombre
    ≡ Ei ri
    p ⊕ q ≡ ¬(p ≡ q) Definición1 ⊕ .. .. ..
    . . .
    p ⊕ q ≡ (p ∨ q) ∧ ¬(p ∧ q) Definición2 ⊕ ≡ Ek rk
    true ⊕ f alse ≡ true O verdadero o falso 
    p ⊕ p ≡ f alse Exclusión
    p⊕q ≡q⊕p Conmutatividad ≡ Esquema de demostración no ecuacional:
    ((p ≡ q) ≡ r) ≡ (p ≡ (q ≡ r)) Asociatividad ≡ Teo: a1 ∧ ... ∧ ak =⇒ β
    (p ≡ q) ≡ (¬p ≡ ¬q) Contrarecı́proca ≡ H1 : a1
    ..
    ¬(p ≡ q) ≡ (¬p ≡ q) Negación1 ≡ .
    ¬(p ≡ q) ≡ (p ≡ ¬q) Negación2 ≡ Hk : a k
    Dem:
    Exp. Regla (razón)
    ⇒ E0 r0
    Reglas ecuacionales: ⇒ E1 r1
    ⇒ E2 r2
    Regla Nombre .. .. ..
    p≡p
    . . .
    true Reflexividad ≡ ⇒ Ei−1 ri−1
    p≡q
    Simetrı́a ≡ ⇒ Ei ri
    q≡p
    .. .. ..
    (p≡q),(q≡r)
    Transitividad ≡ . . .
    p≡r
    ⇒ Ek rk
    E
    E[x:=p] Sustitución ≡ ⇒ β
    E1 ≡E2 
    E[x:=E1 ]≡E[x:=E2 ] Leibniz

    Reglas no ecuacionales:

    Regla Nombre
    (p =⇒ q), (q ≡ r) ` p =⇒ r Sustitición1 =⇒
    (p ≡ q), (q =⇒ r) ` p =⇒ r Sustitición2 =⇒
    (p =⇒ q) ∧ (q =⇒ r) ` p =⇒ r Transitividad =⇒
    p`p∨q Fortalecimiento
    p∧q `p Debilitamiento
    p∧q `p∨q Cambio ∧ por ∨
    p ∨ (q ∧ r) ` p ∨ q Extracción ∨ sobre ∧
    p, q ` p ∧ (q ∨ r) Implantación en ∧ con ∨
    (p =⇒ q), p ` q Modus ponens

    También podría gustarte