Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 433 vistas

    Tabla de Verdad

    Cargado por

    EstherMauriPaulinoPerez
    1. Tablas de verdad que muestran las relaciones lógicas entre proposiciones. 2. Más tablas de verdad examinando equivalencias lógicas. 3. Continúa examinando implicaciones y negaciones lógicas a través de tablas de verdad adicionales.

    Copyright:

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

    Tabla de Verdad

    Cargado por

    EstherMauriPaulinoPerez
    433 vistas3 páginas
    1. Tablas de verdad que muestran las relaciones lógicas entre proposiciones. 2. Más tablas de verdad examinando equivalencias lógicas. 3. Continúa examinando implicaciones y negaciones lógicas a través de tablas de verdad adicionales.

    Descripción original:

    tabla de verdad

    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?

    1. Tablas de verdad que muestran las relaciones lógicas entre proposiciones. 2. Más tablas de verdad examinando equivalencias lógicas. 3. Continúa examinando implicaciones y negaciones lógicas a través de tablas de verdad adicionales.

    Copyright:

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

    Tabla de Verdad

    Cargado por

    EstherMauriPaulinoPerez
    1. Tablas de verdad que muestran las relaciones lógicas entre proposiciones. 2. Más tablas de verdad examinando equivalencias lógicas. 3. Continúa examinando implicaciones y negaciones lógicas a través de tablas de verdad adicionales.

    Copyright:

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

    1.

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

    2. (pvq) ↔ (qvp)
    P q (pvq) (qvp) (pvq)↔(qvp)
    V V V V V
    V F V V V
    F V V V V
    f F f F V

    3. p→ ^ ~(q^r)
    p q r (q^r) ~(q^r) p→ ~(q^r)
    V V V V F F
    V V F F V V
    V F V F V V
    V F F F V V
    F V V V F V
    F V F F V V
    F F V F V V
    F F F F V V
    4. (p → (p ^r)) v ((~p) ^ q)
    p q r ~p (p^r) (p → (p^r)) ((~p) ^ q) (p → (p ^r)) v ((~p) ^ q)

    V V V F V V F V
    V V F F F F F F
    V F V F F F F F
    V F F F F F F F
    F V V V V V V V
    F V F V F V V V
    F F V V F V F V
    F f F V F V F V

    5. (p→ q)↔ ((~p) v q

    p q ~p (p→ q) ((~p) v q) (p→ q)↔ ((~p) v q)

    V V F V V V
    V F F F F V
    F V V V V V
    F F V V V V
    6. (p^q) → (p^( ~p)) → (q v ((~p))

    p q ~p p^q (p^( ~p)) (q v ((~p)) (p^q) → (p^( ~p)) FC

    V V F V F F V V
    V F F F F V F F
    F V V F F V V V
    F F V F F V V V

    También podría gustarte