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

¡Te damos la bienvenida a Scribd!

  • 24 vistas

    Ejer Cici Os

    Cargado por

    marcos perex
    El documento presenta una serie de ejercicios sobre proposiciones y tablas de verdad. El primer ejercicio proporciona tres proposiciones y pide construir una tabla de verdad para determinar si el resultado es una tautología, contingencia o contradicción. El segundo ejercicio presenta diferentes expresiones lógicas y pide identificar las reglas de inferencia y definir proposiciones. El tercer ejercicio aplica las reglas de inferencia a un argumento dado. Finalmente, el cuarto ejercicio presenta un problema más complejo para construir una

    Copyright:

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

    Ejer Cici Os

    Cargado por

    marcos perex
    24 vistas15 páginas
    El documento presenta una serie de ejercicios sobre proposiciones y tablas de verdad. El primer ejercicio proporciona tres proposiciones y pide construir una tabla de verdad para determinar si el resultado es una tautología, contingencia o contradicción. El segundo ejercicio presenta diferentes expresiones lógicas y pide identificar las reglas de inferencia y definir proposiciones. El tercer ejercicio aplica las reglas de inferencia a un argumento dado. Finalmente, el cuarto ejercicio presenta un problema más complejo para construir una

    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 serie de ejercicios sobre proposiciones y tablas de verdad. El primer ejercicio proporciona tres proposiciones y pide construir una tabla de verdad para determinar si el resultado es una tautología, contingencia o contradicción. El segundo ejercicio presenta diferentes expresiones lógicas y pide identificar las reglas de inferencia y definir proposiciones. El tercer ejercicio aplica las reglas de inferencia a un argumento dado. Finalmente, el cuarto ejercicio presenta un problema más complejo para construir una

    Copyright:

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

    Ejer Cici Os

    Cargado por

    marcos perex
    El documento presenta una serie de ejercicios sobre proposiciones y tablas de verdad. El primer ejercicio proporciona tres proposiciones y pide construir una tabla de verdad para determinar si el resultado es una tautología, contingencia o contradicción. El segundo ejercicio presenta diferentes expresiones lógicas y pide identificar las reglas de inferencia y definir proposiciones. El tercer ejercicio aplica las reglas de inferencia a un argumento dado. Finalmente, el cuarto ejercicio presenta un problema más complejo para construir una

    Copyright:

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

    Ejercicio 1: Proposiciones y tablas de verdad

    Para el desarrollo de este ejercicio, es necesario que revise en el Entorno de Aprendizaje


    (Unidad 1 - Contenidos y referentes bibliográficos), la siguiente referencia:

    Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de


    álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid,
    España: Editorial Tébar Flores.

    Una vez realizada la lectura, desarrolle el ejercicio propuesto.

    C.

    p: El alcalde de Cali acuerda pacíficamente desbloquear vías.


    q: Los Manifestantes firmaron el acuerdo.
    r: Los manifestantes desbloquean las vías con respeto a la movilización.

    ( p ∧q) →( p →r )

    A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes
    ítems:

    ➢ Escriba la proposición compuesta propuesta en lenguaje natural.

    Si el alcalde de Cali acuerda pacíficamente desbloquear vías y los manifestantes firmaron el


    acuerdo, si el alcalde de Cali acuerda pacíficamente desbloquear vías, entonces los
    manifestantes desbloquean las vías con respeto a la movilización.

    ➢ Generar una tabla de verdad manualmente a partir del lenguaje simbólico y


    determinar si el resultado es una tautología, contingencia o contradicción.
    Construcción de la tabla de la verdad
    Pasos
    1. Identificar el número de proposiciones simples
    Hay 3 proposiciones simples
    2. Reemplazar en la formula 2n para saber el número de filas
    2n=23 =8
    3. Ubicar en la columna las proposiciones simples positivas, luego negativas, luego
    ubicar signos de agrupación de adentro hacia afuera.

    p q r p ∧q p →r ( p ∧q)→( p →r )

    4. Utilizar las tablas de los conceptos lógicos

    p q r p ∧q p →r ( p ∧q)→( p →r )

    V V V V V V
    V V F V F F
    V F V F V V
    V F F F F V
    F V V F V V
    F V F F V V
    F F V F V V
    F F F F V V
    5. Hacer la conclusión de la tabla

    La tabla de la Verdad es una CONTINGENCIA, Si una proposición no es ni verdadera ni


    falsa independientemente de los valores de verdad de las proposiciones simples que la
    componen, esta se denomina contingencia.

    ➢ Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso para uso
    del simulador lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD), ubicado en el
    entorno de aprendizaje en la carpeta Guía de actividades y rúbrica de evaluación - Unidad
    1- Tarea 1 - Métodos para probar la validez de argumentos.
    Ejercicio 2: Identificación de las reglas de la inferencia lógica

    Descripción del ejercicio:


    A continuación, encuentra el lenguaje simbólico de expresiones que representan algunas
    leyes de inferencia.

    C. Expresión simbólica

    p →q
    q
    p

    A partir del argumento en lenguaje simbólico deberá dar respuesta a los siguientes ítems:

    Nombrar la ley de inferencia que representa cada expresión simbólica.


    Modus Tollendo Tollens (TT)

    Definir las proposiciones simples

    p: Marcos estudia el Noveno semestre de ingeniería de petróleos en la UIS


    q: Marcos va hacer las prácticas en la Biblioteca.
    s: Marcos es un excelente alumno.

    Si Marcos estudia el Noveno semestre de ingeniería de petróleos en la UIS, entonces


    Marcos va hacer las prácticas en la biblioteca, Marcos no va hacer las prácticas en la
    Biblioteca, por lo tanto, Marcos no estudia el Noveno semestre de ingeniería de petróleos
    en la UIS.
    Expresión simbólica
    p ∨q
    p →r
    q→s
    r∨s

    A partir del argumento en lenguaje simbólico deberá dar respuesta a los siguientes ítems:

    Nombrar la ley de inferencia que representa cada expresión simbólica.


    Silogismo Disyuntivo (DS)

    Definir las proposiciones simples

    p: Marcos estudia el Noveno semestre de ingeniería de petróleos en la UIS


    q: Marcos va hacer las prácticas en la Biblioteca.
    s: Marcos es un excelente alumno
    r: Marcos esta becado por la Universidad

    Marcos estudia el Noveno semestre de ingeniería de petróleos en la UIS, o Marcos va hacer


    las prácticas en la biblioteca, si Marcos estudia el Noveno semestre de ingeniería de
    petróleos en la UIS, entonces Marcos esta becado por la Universidad. Marcos va hacer las
    prácticas en la Biblioteca, entonces Marcos es un excelente alumno. Por lo tanto, Marcos
    esta becado por la Universidad o Marcos es un excelente alumno.
    Expresión simbólica
    ( p)
    p

    A partir del argumento en lenguaje simbólico deberá dar respuesta a los siguientes ítems:

    Nombrar la ley de inferencia que representa cada expresión simbólica.


    Doble negación (DN)

    Definir las proposiciones simples

    p: Marcos estudia el Noveno semestre de ingeniería de petróleos en la UIS


    q: Marcos va hacer las prácticas en la Biblioteca.
    s: Marcos es un excelente alumno
    r: Marcos esta becado por la Universidad

    Marcos estudia el Noveno semestre de ingeniería de petróleos en la UIS, o Marcos va hacer


    las prácticas en la biblioteca, si Marcos estudia el Noveno semestre de ingeniería de
    petróleos en la UIS, entonces Marcos esta becado por la Universidad. Marcos va hacer las
    prácticas en la Biblioteca, entonces Marcos es un excelente alumno. Por lo tanto, Marcos
    esta becado por la Universidad o Marcos es un excelente alumno.
    Ejercicio 3: Aplicación de las reglas de la inferencia lógica

    Descripción del ejercicio:


    A continuación, encontrará los argumentos para el desarrollo del ejercicio 3:

    C. La UNAD tiene programas de posgrado o la UNAD tiene programas tecnológicos.


    la UNAD NO tiene programas tecnológicos

    a. Conclusión: la UNAD tiene programas de posgrado


    b. Ley de inferencia aplicada: Modus Tollendo Ponens (MTP)
    c. Lenguaje simbólico: p ∨ p
    ∼q
    ∴p
    Ejercicio 4: Problemas de aplicación
    Expresión simbólica
    [ ( q ∨ p)∧(s → p)∧ s ] →( p ∧∼ q)
    Premisas:
    P 1:∼ q ∨ p
    P 2: s → p
    P 3: s
    Conclusión: p ∧ q

    Definir las proposiciones simples

    p: Marcos estudia el Noveno semestre de ingeniería de petróleos en la UIS


    q: Marcos va hacer las prácticas en la Biblioteca.
    s: Marcos es un excelente alumno

    Lenguaje natural
    Marcos no va hacer las prácticas en la Biblioteca o Marcos estudia el Noveno semestre de
    ingeniería de petróleos en la UIS. Si Marcos es un excelente alumno, entonces Marcos no
    estudia el Noveno semestre de ingeniería de petróleos en la UIS y Marcos es un excelente
    alumno. Por lo tanto, Marcos no estudia el Noveno semestre de ingeniería de petróleos en
    la UIS y Marcos no va hacer las prácticas en la Biblioteca.
    Tabla de la verdad Manual

    p q s p q q∨ p s→ p p ∧∼q ( q ∨ p)∧¿) [ ( q ∨ p)∧(s → p)∧ s ] [( q ∨ p)∧(s → p)∧ s ] →( p ∧∼q)

    V V V F F V F F F F V
    V V F F F V V F V F V
    V F V F V V F F F F V
    V F F F V V V F V F V
    F V V V F F V F F F V
    F V F V F F V F F F V
    F F V V V V V V V V V
    F F F V V V V V V F V
    Tabla de la verdad Simulador UNAD
    Demostración de la validez del argumento mediante las leyes de Inferencia
    Premisas:
    P 1:∼ q ∨ p
    P 2: s → p
    P 3: s

    P 4: s→ p
    P 5: s
    https://www.youtube.com/watch?v=qpmlYNaIJgE

    https://www.youtube.com/watch?v=BtNriFmViAU

    https://www.youtube.com/watch?v=AqLVZrNDWOQ

    http://logicaunad.com/simulador-tablas/

    https://www.youtube.com/watch?v=l7LutMUlZuA

    https://www.youtube.com/watch?v=0g71hjbrV0k

    https://www.youtube.com/watch?v=Gz7VpbN6WwM

    https://www.youtube.com/watch?v=YSnDR49dPUo

    https://www.youtube.com/watch?v=he_IYBuZO5k

    https://www.youtube.com/watch?v=qpmlYNaIJgE

    https://www.youtube.com/watch?v=BtNriFmViAU

    https://www.youtube.com/watch?v=Ety7besVSjI

    https://www.youtube.com/watch?v=6ysnnbNErsY

    https://www.youtube.com/watch?v=qpmlYNaIJgE ojo

    https://calculadorasonline.com/generador-de-tablas-de-verdad-logica-proposicional-algebra-
    booleana/

    http://logicaunad.com/logicamatematica/

    También podría gustarte