Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 9 vistas

    Formulario Lógica

    Cargado por

    Joel Camacho

    Copyright:

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

    Formulario Lógica

    Cargado por

    Joel Camacho
    9 vistas1 página

    Título original

    FORMULARIO LÓGICA

    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
    9 vistas1 página

    Formulario Lógica

    Cargado por

    Joel Camacho

    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 1

    Docentes:

    ESCUELA MILITAR DE INGENIERIA M.Sc. Ing. Barrionuevo M. Lineth


    UNIDAD ACADÉMICA COCHABAMBA M.Sc. Ing. Camacho A. José Fred
    M.Sc. Ing. Ticona F. Ana Marlene
    Materia: ÁLGEBRA
    OPERACIONES LEYES LÓGICAS
    PROPOSICIONALES 1) Leyes de idempotencia

    Negación p∧p≡p ; p∨p≡p


    p ∼p 2) Leyes conmutativas
    V F
    p∧q ≡q∧p ; p∨q≡q∨p
    F V
    3) Leyes asociativas

    Conjunción (p ∧ q) ∧ r ≡ p ∧ (q ∧ r) ; (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
    p q p∧q 4) Leyes de negación
    V V V
    ∼ (∼ p) ≡ p ; p ∧∼ p ≡ F ; p ∨∼ p ≡ V
    V F F
    5) Leyes de identidad
    F V F
    p∧V≡p ; p∨F≡p
    F F F
    6) Leyes de Morgan
    Disyunción débil ∼ (p ∧ q) ≡∼ p ∨∼ q ; ∼ (p ∨ q) ≡∼ p ∧∼ q
    p q p∨q
    7) Definición de implicación
    V V V
    p ⇒ q ≡∼ p ∨ q
    V F V
    8) Leyes distributivas
    F V V
    F F F p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) ; p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
    9) Leyes de absorción
    Disyunción fuerte
    p ∧ (p ∨ q) ≡ p ; p ∨ (p ∧ q) ≡ p ; p∧F≡F ; p∨V ≡V
    p q p△q
    10) Definición de doble implicación
    V V F
    V F V p ⇔ q ≡ (p ⇒ q) ∧ (q ⇒ p)
    F V V
    F F F
    REGLAS DE INFERENCIA
    MODUS PONENDO MODUS TOLLENDO MODUS TOLLENDO
    Implicación o condicional PONENS (PP) TOLLENS (TT) PONENS (TP)
    p q p⇒q p⇒q p⇒q p∨q p∨q
    V V V p ∼q ∼p ∼q
    q ∼p q p
    V F F
    F V V LEY DEL SILOGISMO LEY DE SIMPLIFICACIÓN LEY DE CONJUNCIÓN
    HIPOTÉTICO (SH) (LS) (LC)
    F F V
    p⇒q p∧q p∧q p
    q⇒r p q q
    Doble implicación o bicondicional
    p q p⇔q p⇒r p∧q

    V V V LEY DE ADICIÓN (LA) DILEMA DILEMA DESTRUCTIVO


    V F F CONSTRUCTUVO (DC) (DD)
    p p⇒q p⇒q
    F V F p∨q r⇒t r⇒t
    F F V p∨r ∼ q ∨∼ t
    q∨t ∼ p ∨∼ r

    También podría gustarte