Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 209 vistas

    Solucion Taller Logica Proposicional Jackson Uribe

    Cargado por

    Fernanda Salguero
    1) El documento presenta una guía de aprendizaje sobre fundamentos de lógica proposicional. Incluye ejercicios para simbolizar proposiciones, expresar proposiciones en lenguaje simbólico, determinar valores de verdad y comprobar equivalencias lógicas mediante tablas de verdad. 2) Se pide clasificar proposiciones como atómicas o moleculares e identificar los conectivos lógicos utilizados. 3) Contiene ejercicios para asociar columnas I y II rel

    Copyright:

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

    Solucion Taller Logica Proposicional Jackson Uribe

    Cargado por

    Fernanda Salguero
    209 vistas3 páginas
    1) El documento presenta una guía de aprendizaje sobre fundamentos de lógica proposicional. Incluye ejercicios para simbolizar proposiciones, expresar proposiciones en lenguaje simbólico, determinar valores de verdad y comprobar equivalencias lógicas mediante tablas de verdad. 2) Se pide clasificar proposiciones como atómicas o moleculares e identificar los conectivos lógicos utilizados. 3) Contiene ejercicios para asociar columnas I y II rel

    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?

    1) El documento presenta una guía de aprendizaje sobre fundamentos de lógica proposicional. Incluye ejercicios para simbolizar proposiciones, expresar proposiciones en lenguaje simbólico, determinar valores de verdad y comprobar equivalencias lógicas mediante tablas de verdad. 2) Se pide clasificar proposiciones como atómicas o moleculares e identificar los conectivos lógicos utilizados. 3) Contiene ejercicios para asociar columnas I y II rel

    Copyright:

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

    Solucion Taller Logica Proposicional Jackson Uribe

    Cargado por

    Fernanda Salguero
    1) El documento presenta una guía de aprendizaje sobre fundamentos de lógica proposicional. Incluye ejercicios para simbolizar proposiciones, expresar proposiciones en lenguaje simbólico, determinar valores de verdad y comprobar equivalencias lógicas mediante tablas de verdad. 2) Se pide clasificar proposiciones como atómicas o moleculares e identificar los conectivos lógicos utilizados. 3) Contiene ejercicios para asociar columnas I y II rel

    Copyright:

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

    DEPARTAMENTO DE CIENCIAS Código: Ciencias Básicas

    BÁSICAS
    Versión: 1

    GUÍA DE APRENDIZAJE
    Fecha: 20/Marzo./2010
    DATOS DE IDENTIFICACIÓN

    Asignatura: Matemática Básica

    Docente: Andrés Naizaque Programa:

    07 de agosto de
    Semestre: I Fecha de elaboración: Guía Nº: 1
    2021
    Título: Fundamentos lógica proposicional

    1. Simbolizar cada proposición simple o atómica con la letra A y cada proposición compuesta o
    molecular con la letra M. Escribir frente a cada proposición molecular el termino de enlace
    (conectivo lógico) utilizado.
    Clasificación A (atómica o
    conectivo
    PROPOSICIÓN simple) o M (molecular o
    lógico
    compuesta)
    a Un circuito eléctrico puede construirse en serie o en paralelo A V
    b Si los bovinos son posiblemente en segundo lugar la especie más
    representada en el arte rupestre entonces en primer lugar están los M
    ^
    équidos
    c La llama y la vicuña pertenecen a la Familia Camelus M
    d Las proposiciones moleculares tienen términos de enlace A
    e El ingeniero no es un buen matemático A
    f Protejo el recurso hídrico si y solo si hago un uso sostenible del agua M
    ↔
    g Si 𝑥 es el número de unidades producidas o vendidas entonces la M
    función de ingreso es 𝑥𝑝(𝑥)

    2. Asocia la columna I con la columna II


    “trabajo” = p, “Estudio” = q Equivalencia FORMALIZACIÓN

    1 Trabajo y estudio 5 ¬p

    2 Trabajo y no estudio 3 p∨q


    3 Trabajo o estudio 1 p∧q

    4 Si no trabajo, estudio 2 p ∧¬ q
    5 No es cierto que trabaje 6 ¬ (¬ p)
    6 No es cierto que no trabaje 7 q↔¬p
    7 Estudiaré si y sólo si no trabajo 4 ¬p→q
    3. Exprese en lenguaje simbólico cada una de las siguientes proposiciones:
    Proposición Proposiciones utilizando letras Proposición simbólica
    A Dos es un numero par y p: Dos es un número par q: p^q
    positivo. Dos es un número positivo
    B Voy al estadio o a cine. P: voy al estadio q: voy al cine. p^q
    C Ni estudio ni trabajo. P: ni estudio q: ni trabajo
    D Estudio y no trabajo. P: estudio q: no trabajo p∨q
    E Llueve o no abro el paraguas P: lluevo q: no abro el paraguas p ^ ~q
    F Si pedro es bachiller entonces P: si pedro es bachiller p →q
    aprobó décimo grado. q: aprobó decimo grado
    G Para ir al estadio es necesario P: ir al estadio p →~q
    que no este lloviendo. q: no está lloviendo
    H Si estudio, veo televisión o P: si estudio
    duermo. q: veo televisión P→ (q ^ r)
    r: duermo
    I Salgo de vacaciones si P. salgo de vacaciones p →q
    desarrollo el contrato. q: desarrollo el contrato

    4. Teniendo en cuenta las tablas de verdad, determine el valor de verdad de cada enunciado.
    (Debe mostrar el procedimiento en cada ejercicio)

    ENUNCIADO PROCEDIMIENTO Y RESPUESTA

    a Si 7 < 9 entonces -9 < -7 V → V ( V)


    b Si 2 + 2 = 4, entonces, 3 + 3 = 7 si y solo si 1 + 1 = 4 V → F ↔ F (V)
    c V v V (V)
    d F ^ F (F)
    e 52 = 25 o 4 *4 = 16 V v V (V)
    f Si 2 + 2 = 4 entonces no es cierto, que 2 + 1 = 3 y 5 + V → F (F)
    5 = 10
    g 7 + 3 = 10 sí y sólo sí, 6*4 = 24 V ↔ V (V)
    h Si 3 – 1 = 2 entonces 4 + 1 = 7 V → F (F)
    i 5 - 1= 8 sí y sólo sí 5 – 3= 0 F ↔ F (V)

    5. Si los valores de verdad de “p”,”q”, y “r” son V, F, y V respectivamente, hallar el valor de


    verdad de las siguientes proposiciones
    a). r ^ ¬ (p v q)
    V ^ ¬ (V v F)
    V ^ ¬ (V)
    V ^ ¬ (F)
    F
    b). (r → ¬q) ^ p
    (V → ¬ F) ^ V
    (¬ F) ^ V
    (V →) ^ V
    V
    c). ¬(𝑝∨𝑞)
    ¬(V v F)
    F

    6. Construya las tablas de verdad y determine cuáles de las siguientes proposiciones son
    tautologías contradicciones o contingencia.

    [(p v q) → q] → (¬p v q)

    P q pvq [(p v q) → q] (~p) ((~p)vq) [(p v q) → q] →((~p)vq)


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

    7. Con una tabla de verdad, compruebe las siguientes equivalencias lógicas: El simbolo ≡ significa
    que equivale o tienen el mismo valor de verdad. a) ¬(p V q) ≡ ¬p ^ ¬q

    p q ￢ (p v q) ≡ ￢ p ʌ ￢ q
    V V F V V V V F V F F V
    V F F V V F V F V F V F
    F V F F V V V V F F F V
    F F V F F F V V F V V F

    También podría gustarte