Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 17 vistas

    Clase 03 Logica 2021-I

    Cargado por

    Joe Marti
    El documento presenta las proposiciones elementales de la lógica proposicional, incluyendo negación, conjunción, disyunción, condicional y bicondicional. Muestra ejemplos de cómo representar proposiciones en forma literal usando los símbolos lógicos correspondientes. También incluye tablas de verdad para las operaciones lógicas y ejercicios resueltos para determinar el valor de verdad de proposiciones.

    Copyright:

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

    Clase 03 Logica 2021-I

    Cargado por

    Joe Marti
    17 vistas8 páginas
    El documento presenta las proposiciones elementales de la lógica proposicional, incluyendo negación, conjunción, disyunción, condicional y bicondicional. Muestra ejemplos de cómo representar proposiciones en forma literal usando los símbolos lógicos correspondientes. También incluye tablas de verdad para las operaciones lógicas y ejercicios resueltos para determinar el valor de verdad de proposiciones.

    Título original

    CLASE 03 LOGICA 2021-I

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

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

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento presenta las proposiciones elementales de la lógica proposicional, incluyendo negación, conjunción, disyunción, condicional y bicondicional. Muestra ejemplos de cómo representar proposiciones en forma literal usando los símbolos lógicos correspondientes. También incluye tablas de verdad para las operaciones lógicas y ejercicios resueltos para determinar el valor de verdad de proposiciones.

    Copyright:

    © All Rights Reserved
    Descargue como PPTX, PDF, TXT o lea en línea desde Scribd
    Descargar como pptx, pdf o txt
    17 vistas8 páginas

    Clase 03 Logica 2021-I

    Cargado por

    Joe Marti
    El documento presenta las proposiciones elementales de la lógica proposicional, incluyendo negación, conjunción, disyunción, condicional y bicondicional. Muestra ejemplos de cómo representar proposiciones en forma literal usando los símbolos lógicos correspondientes. También incluye tablas de verdad para las operaciones lógicas y ejercicios resueltos para determinar el valor de verdad de proposiciones.

    Copyright:

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

    PROPOSICIONES COMPUESTAS ELEMENTALES

    Proposición
    negación ͠ p Se lee: “ no p ”

    Proposición
    conjuntiva Se lee: “ p y q “
    p˄q

    Proposición Se lee: “ p o q “
    disyuntiva
    p˅q

    Proposición
    condicional Se lee: “ si p entonces q “
    p→q

    Proposición
    bicondicional Se lee: “ p si y solo si q “
    p↔q
    EJEMPLOS:
    1. Representar simbólicamente las siguientes proposiciones:

    I. Si 141 es par entonces 360 es múltiplo de 2 Ξ p→q


    II. 180 es número compuesto o 144 es primo Ξ r˅s
    III. Es falso que: la matemática es ciencia formal Ξ ͠ t

    IV. La química es ciencia fáctica y la física es formal Ξ p˄t

    V. El lagarto es un pez si y solo si el oso es mamífero Ξ q ↔r


    2. Sean las proposiciones: p: 141 es par, q: 360 es múltiplo de 2, r: 144 es primo

    Representar en forma literal las siguientes proposiciones:

    I. p → q : Si 141 es par entonces 360 es múltiplo de 2


    II. r˅q : 144 es primo o 360 es múltiplo de 2
    III. ͠ p : Es falso que 141 es par
    IV. p ˄ r : 141 es par y 144 es primo
    V. r ↔ q : 144 es primo si y solo si 360 es múltiplo de 2
    OPERACIONES LOGICAS Y TABLAS DE VERDAD
    Negación Conjunción Disyunción Condicional Bicondicional
    p q
    ͠ p P ˄ q p ˅ q p → q p ↔ q

    V V F V V V V
    V V

    V F F F V F
    F F

    F V V F V V F

    F F V F F V V
    F V
    Resumen:
    1. p ^ q Ξ V 2. p v q Ξ F

    V V F F

    3. p q Ξ F 4. p q Ξ V

    V F V V

    F F
    EJERCICIOS
    EJERCICIO 1. Determinar el valor de verdad de las siguientes proposiciones:
    I. Si 7 es primo entonces 360 es múltiplo de 2
    → V
    Ξ
    V
    V

    II. La física es ciencia fáctica o La matemática no es formal


    ˅ Ξ
    V F V
    III. Es falso que: La lógica es ciencia formal

    ͠ Ξ

    V F
    3. Sean: p: V, q:F , r: F Hallar el valor de verdad de la proposición

    (p ^~q) → [ (~p v q ) v r ]
    V V F F
    F
    F

    V
    F

    F
    Ejemplo 1. Construya la tabla de verdad de la proposición: p → ( p v q )

    p q p v q
    p → ( p v q )

    V V V V VV V

    V F V V VV V

    F V V F VV V

    F F F F VV F
    ES UNA TAUTOLOGIA

    También podría gustarte