Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 22 vistas

    TAREA - DE - LOGICA - FORMAL Cata 2.0

    Cargado por

    Catalina Beltran
    Este documento presenta una tarea de lógica formal que involucra tablas de verdad y proposiciones lógicas. La tarea requiere que la estudiante María Catalina Beltrán determine si varias proposiciones son verdaderas o falsas basadas en los valores de verdad dados en las tablas. También debe evaluar la veracidad de algunas proposiciones complejas dadas los valores de tres variables p, q y r.

    Copyright:

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

    TAREA - DE - LOGICA - FORMAL Cata 2.0

    Cargado por

    Catalina Beltran
    22 vistas3 páginas
    Este documento presenta una tarea de lógica formal que involucra tablas de verdad y proposiciones lógicas. La tarea requiere que la estudiante María Catalina Beltrán determine si varias proposiciones son verdaderas o falsas basadas en los valores de verdad dados en las tablas. También debe evaluar la veracidad de algunas proposiciones complejas dadas los valores de tres variables p, q y r.

    Título original

    TAREA_DE_LOGICA_FORMAL Cata 2.0

    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 presenta una tarea de lógica formal que involucra tablas de verdad y proposiciones lógicas. La tarea requiere que la estudiante María Catalina Beltrán determine si varias proposiciones son verdaderas o falsas basadas en los valores de verdad dados en las tablas. También debe evaluar la veracidad de algunas proposiciones complejas dadas los valores de tres variables p, q y r.

    Copyright:

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

    TAREA - DE - LOGICA - FORMAL Cata 2.0

    Cargado por

    Catalina Beltran
    Este documento presenta una tarea de lógica formal que involucra tablas de verdad y proposiciones lógicas. La tarea requiere que la estudiante María Catalina Beltrán determine si varias proposiciones son verdaderas o falsas basadas en los valores de verdad dados en las tablas. También debe evaluar la veracidad de algunas proposiciones complejas dadas los valores de tres variables p, q y r.

    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 3

    TAREA DE LÓGICA FORMAL

    Nombre: _María Catalina Beltrán Rodríguez____ Fecha: _03 de Sep. 2021_

    Observa detenidamente las siguientes tablas y responde, en la tercera casilla, si la propuesta


    es verdadera o falsa (las dos primeras casillas contienen los datos necesarios).

    p q p ∧ ¬q
    p q (p ∧ q) ∧ ¬q
    V V 1. ¬q=F
    2.V∧F=Falso 1. V∧V=V
    1. ¬q=V V V 2. ¬q=F
    V F 2.V∧V=Verdad 3.V∧F=Falso
    1. ¬q=F
    F V 2. F∧F=Falso 1. V∧F=F
    V F 2. ¬q=V
    1. ¬q=V
    F F 2.F∧V=Falso 3.F∧V=Falso

    F V 1. F∧V=F
    2. ¬q=F
    3. F∧F=Falso

    F F 1. F∧F=F
    2. ¬q=V
    3. F∧V=Falso
    p q (p ∨ q) ∧ (¬p ∨ q) ∧ (p ∨ ¬q) ∧ (¬p ∨ ¬q)

    1 2 3 4

    5 6 7

    8 9

    10
    (resolver de izquierda a derecha)
    V V 1. VVV=V 2.FVV=V 3. VVF=V 4.FVF=F
    5.V∧V=V 6. V∧V=V 7. V∧F=F
    8.V∧V=V 9. V∧F=F
    10.V∧F=Falso

    V F 1. VVF=V 2.FVF=F 3.VVV=V 4.FVV=V


    5.V∧F=F 6. F∧V=F 7. V∧V=V
    8.F∧F=F 9. F∧V=F
    10. F∧F=Falso

    F V 1. FVV=V 2.VVV=V 3.FVF=F 4.VVF=V


    5. V∧V=V 6. V∧F=F 7. F∧V=F
    8. V∧F=F 9. F∧F=F
    10. F∧F=Falso

    F F 1. FVF=F 2. VVF=V 3.FVV=V 4.VVV=V


    5.F∧V=F 6. V∧V=V 7. V∧V=V
    8.F∧V=F 9. V∧V=V
    10.F∧V=Falso
    Puesto que la proposición p es falsa, la proposición q es verdadera y la proposición r es falsa,
    determine si cada proposición en los siguientes ejercicios es falsa o verdadera (desarrolla tu
    razonamiento en la casilla en blanco).

    Datos
    p F
    q V
    r F

    ¬p ∨ ¬q ¬p∨¬ (q ∧r) (p ∨ ¬ r) ∧ ¬ ((q ∨ r) ∨ ¬ (r ∨ p))

    (Fv¬F) ∧ ¬((VvF)v¬(FvF))
    V∨F=Verdadero ¬F∨¬ (V∧F)
    V F
    F

    ¬F= V FvV=V (Vv¬F)=VvV

    ¬F∨V=V∨V V

    Verdadero
    V∧ ¬V= V∧F=Falso

    Nota: resolver y entregar en Q10.

    También podría gustarte

    pFad - Phonifier reborn

    Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

    Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


    Alternative Proxies:

    Alternative Proxy

    pFad Proxy

    pFad v3 Proxy

    pFad v4 Proxy