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

¡Te damos la bienvenida a Scribd!

  • 40 vistas

    n2 Logica y Funciones C1

    Cargado por

    Beck Bobdio
    El documento presenta una tabla de verdad para las siguientes proposiciones del álgebra proposicional: p V (q → r), (p V q) → r, p Λ (r → q), y (p V r) ↔ [p Λ (p → q)]. También indica cuales de las proposiciones [(p Λ q) → r] v p, (p → q) v r, p → (p Λ q), ~(p v q) Λ r, [(p → ~q) Λ p] → ~q, y ~p v ~(p v r) corresponden

    Copyright:

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

    n2 Logica y Funciones C1

    Cargado por

    Beck Bobdio
    40 vistas7 páginas
    El documento presenta una tabla de verdad para las siguientes proposiciones del álgebra proposicional: p V (q → r), (p V q) → r, p Λ (r → q), y (p V r) ↔ [p Λ (p → q)]. También indica cuales de las proposiciones [(p Λ q) → r] v p, (p → q) v r, p → (p Λ q), ~(p v q) Λ r, [(p → ~q) Λ p] → ~q, y ~p v ~(p v r) corresponden

    Título original

    n2 logica y funciones C1

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    DOCX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento presenta una tabla de verdad para las siguientes proposiciones del álgebra proposicional: p V (q → r), (p V q) → r, p Λ (r → q), y (p V r) ↔ [p Λ (p → q)]. También indica cuales de las proposiciones [(p Λ q) → r] v p, (p → q) v r, p → (p Λ q), ~(p v q) Λ r, [(p → ~q) Λ p] → ~q, y ~p v ~(p v r) corresponden

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    40 vistas7 páginas

    n2 Logica y Funciones C1

    Cargado por

    Beck Bobdio
    El documento presenta una tabla de verdad para las siguientes proposiciones del álgebra proposicional: p V (q → r), (p V q) → r, p Λ (r → q), y (p V r) ↔ [p Λ (p → q)]. También indica cuales de las proposiciones [(p Λ q) → r] v p, (p → q) v r, p → (p Λ q), ~(p v q) Λ r, [(p → ~q) Λ p] → ~q, y ~p v ~(p v r) corresponden

    Copyright:

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

    INSTITUCIÓN EDUCATIVA SUPERIOR TECNOLÓGICA

    CENTRO DE FORMACIÓN AGRÍCOLA MOQUEGUA

    LEYES DEL ALGEBRA PROPOSICIONAL

    DOCENTE : Rene Aquino

    ALUMNO : DERICK MAURICCIO SAÁL ALFÉREZ

    FECHA : 19/05/2020

    -MOQUEGUA-
    Práctica Nº 02

    1. Realice la salida de las siguientes proposiciones en una tabla de verdad.

    a. p V ( q → r )

    p q r P v (q → r)
    V V V V V V V V
    V V F V V V F F
    V F V V V F V V
    V F F V V F V F
    F V V F V V V V
    F V F F V V F F
    F F V F F F V V
    F f F F f f v F

    b. ( p V q ) → r

    p q r (P v q) → r

    V V V V V V V V

    V V F V V V F F

    V F V V V F V V

    V F F V V F F F

    F V V F V V V V

    F V F F V V F F

    F F V F F F V V

    F f F F F f v F
    C.pΛ(r→q)

    p q r P Λ (r → q)
    V V V V V V V V
    V V F V F F V V
    V F V V V V F F
    V F F V F F V F
    F V V F F V V V
    F V F F F F V V
    F F V F F V F F
    F f F F F F V F

    p q r ( v q) ↔ [p Λ [p → q) ]
    P
    V V V V V V V V V V V V
    V V F V V V V V V V V V
    V F V V V F F V F V F F
    V F F V V F F V F V F F
    F V V F V V F F F F V V
    F V F F V V F F F F V V
    F F V F F F V F F F V F
    F f F F F f V F F F V F
    d. (p V r ) ↔ [ p Λ ( p→ q ) ]

    2. Diga cuales corresponde a una tautología, contradicción y contingencia de


    las siguientes proposiciones.

    a. [(pΛ q) → r ] v p

    p q r [(P Λ q) → r] Λ p
    V V V V V V V V V V
    V V F V V V F F F V
    V F V V F F V V V V
    V F F V F F V F V V
    F V V F F V V V F F
    F V F F F V V F F F
    F F V F F F V V F F
    F f F F F f v F f F b. (p→q
    )vr

    p q r (P → q) v r
    V V V V V V V V
    V V F V V V V F
    V F V V F F V V
    V F F V F F F F
    F V V F V V V V
    F V F F V V V F
    F F V F V F V V
    F f F F v f v F
    c. p→(pΛq)

    p q r P → (q Λ r)
    V V V V v V V V
    V V F V F V F F
    V F V V F F F V
    V F F V F F F F
    F V V F v V V V
    F V F F v V F F
    F F V F v F F V
    F f F F V f F F

    d. ˜(p v q) Λ r
    p q r ˜(P v Q} Λ r
    V V V V F V V V
    V V F V F V F F
    V F V V F F F V
    V F F V F F F F
    F V V F F V V V
    F V F F F V F F
    F F V F V F F V
    F f F F v f F F
    e.[ (p → ˜ q) Λ p ] →˜ q

    p q r {(P → ˜ q) Λ p] → ˜q
    V V V V F F F V V F
    V V F V F F F V V F
    V F V V V V V V V V
    V F F V V V V V V V
    F V V F V F F F V F
    F V F F V F F F V F
    F F V F V V F F V V
    F f F F V V F F V V f.
    ˜p
    v ˜( p v r )

    p r ˜p V ˜(p V R)
    V V V V V V V
    V F V V V V F
    F V F V F V V
    F F F F F F F
    V V V V V V V
    V F V V V V F
    F V F V F V V
    F F F F F F F

    3 -° Si p=V, q= V, y r= F. Halle el valor de verdad de los siguientes esquemas


    moleculares:

    a. (p Λ q ) → ( ˜ p V r )

    p q r (P Λ q) → (˜ p V R)
    V V V V V V V F V V
    V V F V V V V F V V
    V F V V F F V F F F
    V F F V F F V F F F
    F V V F F V V V V V
    F V F F F V V V V V
    F F V F F F V V V F
    F f F F F F V V V F
    b.
    ˜ r Λ [p →( r V q ) ]

    p q r ˜r Λ [p → (r V q )]
    V V V F F V V V V V
    V V F V V V V F V V
    V F V F F V V V V F
    V F F V F V F F F F
    F V V F F F V V V V
    F V F V V F V F V V
    F F V F F F V V V F
    F f F V V F V F F F

    c. (p Λ q) → r

    p q r (P Λ q) → r
    V V V V V V V V
    V V F V V V F F
    V F V V F F V V
    V F F V F F V F
    F V V F F V V V
    F V F F F V V F
    F F V F F F V V
    F f F F F F V F
    d . [(pΛ q) → (q Λ r )] ↔ ˜ p

    e.(p↔˜q)→r

    p q r ( ↔ ˜q) → r
    P
    V V V V F F V V
    V V F V F F F F
    V F V V V V V V
    V F F V V V F F
    F V V F V F V V
    F V F F V F F F
    F F V F F V V V e. ( ˜ p
    F f F F F V V F Vq)
    →( ˜
    rΛq)

    pp q q r (r ˜ p[(P Vv q)q) →
    → ( ˜(pr Λ qr )]) ↔ ˜p
    VV V V V V V F VV VV V VF VF VV F F
    VV V V F F V F VV VV F VV VF VF V F
    VV F F V V VF VF FF V VF VF FV F F
    VV F F F F VF VF FF F VV F FF V F
    FF V V V V FV VV VV F FF F VV F V
    FF V V F F FV VV VV F V
    F VF VF F V
    FF F F V V FV FV FF V FF F FV V V
    FF f f F F Fv FV FF V V
    F F FF V V

    También podría gustarte