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

¡Te damos la bienvenida a Scribd!

  • 3 vistas

    Formulario Logica

    Cargado por

    brendavinola2

    Copyright:

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

    Formulario Logica

    Cargado por

    brendavinola2
    3 vistas2 páginas

    Título original

    formulario logica

    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
    3 vistas2 páginas

    Formulario Logica

    Cargado por

    brendavinola2

    Copyright:

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

    1

    Leyes logicas

    1. Idempotencia: 7. Leyes de Morgan:


    p∧ p ≡ p
    ∼ (p ∧ q) ≡∼ p∨ ∼ q
    p∨ p ≡ p

    2. Conmutatividad: ∼ (p ∨ q) ≡∼ p∧ ∼ q

    p∧q ≡ q∧ p 8. Implicación:
    p∨q ≡ q∨ p
    p −→ q ≡∼ p ∨ q
    3. Asociatividad:
    p −→ q ≡∼ q −→∼ p
    (p ∧ q) ∧ r ≡ p ∧ (p ∧ r)

    (p ∨ q) ∨ r ≡ p ∨ (q ∨ r) 9. Doble implicación:

    4. Distributividad: p ←→ q ≡ (p −→ q) ∧ (q −→ p)

    p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
    10. Diferencia simétrica:
    p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
    p ⊻ q ≡∼ (p ←→ q)
    5. Absorción:
    p ∧ (p ∨ q) ≡ p
    11. Leyes de identidad
    p ∨ (p ∧ q) ≡ p
    p ∧V ≡ p
    6. Doble negación:

    ∼ (∼ p) ≡ p p∨F ≡ p

    Reglas de inferencia

    1. Modus Ponens (MP) 5. Ley de conjunción (LC)


    p −→ q
    p p
    q q
    p∧q
    2. Modus Tollens (MT)
    p −→ q
    ∼q 6. Ley de adición (LA)
    ∼p
    p
    3. Tollendo Ponens (TP) p∨q
    p∨q
    ∼p
    q 7. Silogismo hipotético

    4. Ley de simplificación
    p −→ q
    p∧q q −→ r
    p p −→ r
    2

    Operaciones con Conjuntos


    1. Idempotencia:

    A∩A = A ; A ∪ A = A.

    2. Conmutatividad:

    A∩B = B∩A ; A ∪ B = B ∪ A.

    3. Asociatividad:

    (A ∩ B) ∩C = A ∩ (B ∩C) ; (A ∪ B) ∪C = A ∪ (B ∪C).

    4. Distributividad:

    A ∩ (B ∪C) = (A ∩ B) ∪ (A ∩C) ; A ∪ (B ∩C) = (A ∪ B) ∩ (A ∪C).

    5. Absorción:

    A ∩ (A ∪ B) = A ; A ∪ (A ∩ B) = A
    A ∩ 0/ = 0/ ; A ∪U = U.

    6. Leyes de Morgan:

    (A ∩ B)c = Ac ∪ Bc ; (A ∪ B)c = Ac ∩ Bc .

    7. Leyes del complemento

    A ∪ Ac = U ; A ∩ Ac = 0/
    A − B = A ∩ Bc ; U c = 0/ ; 0/ c = U.

    8. Leyes de identidad

    A ∪ 0/ = A y A ∩U = A

    Cardinales
    1. η(A − B) = η(A) − η(A ∩ B)

    2. si B ⊆ A, entonces η(A − B) = η(A) − η(B)

    3. η(A△B) = η(A ∪ B) − η(A ∩ B)

    4. η(A ∪ B) = η(A) + η(B) − η(A ∩ B)

    5. η(A ∪ B ∪C) = η(A) + η(B) + η(C) − η(A ∩ B) − η(A ∩C) − η(B ∩C) + η(A ∩ B ∩C)

    También podría gustarte