Cognition">
Nothing Special   »   [go: up one dir, main page]
Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 15 vistas

    200611C-1144 Tarea1guia1anyela Valencia

    Cargado por

    Väľëňčïä Väľëňčïä
    Este documento presenta varios ejercicios sobre preposiciones y tablas de verdad. Incluye cuatro ejercicios donde se dan premisas en lenguaje natural y simbólico, y se pide identificar las reglas lógicas y construir tablas de verdad. También explica reglas lógicas como modus ponens, modus tollens y otras. El objetivo es practicar la resolución de problemas lógicos mediante el uso de contradicciones, contingencias y tablas de verdad.

    Copyright:

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

    200611C-1144 Tarea1guia1anyela Valencia

    Cargado por

    Väľëňčïä Väľëňčïä
    15 vistas12 páginas
    Este documento presenta varios ejercicios sobre preposiciones y tablas de verdad. Incluye cuatro ejercicios donde se dan premisas en lenguaje natural y simbólico, y se pide identificar las reglas lógicas y construir tablas de verdad. También explica reglas lógicas como modus ponens, modus tollens y otras. El objetivo es practicar la resolución de problemas lógicos mediante el uso de contradicciones, contingencias y tablas de verdad.

    Descripción original:

    Título original

    200611C-1144 Tarea1guia1anyela valencia

    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?

    Este documento presenta varios ejercicios sobre preposiciones y tablas de verdad. Incluye cuatro ejercicios donde se dan premisas en lenguaje natural y simbólico, y se pide identificar las reglas lógicas y construir tablas de verdad. También explica reglas lógicas como modus ponens, modus tollens y otras. El objetivo es practicar la resolución de problemas lógicos mediante el uso de contradicciones, contingencias y tablas de verdad.

    Copyright:

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

    200611C-1144 Tarea1guia1anyela Valencia

    Cargado por

    Väľëňčïä Väľëňčïä
    Este documento presenta varios ejercicios sobre preposiciones y tablas de verdad. Incluye cuatro ejercicios donde se dan premisas en lenguaje natural y simbólico, y se pide identificar las reglas lógicas y construir tablas de verdad. También explica reglas lógicas como modus ponens, modus tollens y otras. El objetivo es practicar la resolución de problemas lógicos mediante el uso de contradicciones, contingencias y tablas de verdad.

    Copyright:

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

    INTROSUCCION PESAMIENTO LOGICO MATEMATICO

    Tarea 1: Preposiciones y tabla de la verdad

    Presentado por:

    luz anyela valencia

    Presentado a:

    ADRIAN REINALDO VALENCIA

    UNIVERSIDAD AVIERTA Y A DISTANCIA

    FECHA DE ENTREGA
    25-09-2022
    INTRODUCCON

    En este trabajo de Preposiciones y tablas de verdad se quie-


    re mostrar las diferentes formas de aplicar los temas apren-
    didos durante el curso, para así poder crear un pensamiento
    analítico en los diferentes problemas que se presentan. El
    interactuar con nuevas herramientas nos permite crear ma-
    yor aprendizaje y poder afianzar las habilidades y así poder
    plasmarlas en la parte profesional y laboral.
    OBJETIVO

     El objetivo general es incentivar al aprender a resolver


    ejercicios, utilizando contradicciones, contingencias o
    tautología y la tabla de la verdad

     Aprende a identificar la clase de preposiciones que se


    pueden encontrar en un enunciado.

    DESCRIPCION DEL EJERCICIO


    EJERCICIO 1LETRA A : preposiciones y tablas de la verdad

    P: El pacto Colombia con las juventudes es una estrategia


    del Gobierno.

    Q: el pacto Colombia con la juventud escucha a los jóvenes.

    R: permite construir soluciones a los retos del país.

    Lenguaje simbólico:
    (p r)  q

     DESARROLLO DEL EJERCICIO 1, letra A

    Lenguaje natural :
    El pacto Colombia con las juventudes es una estrategia del
    gobierno si permite construir soluciones a los retos del país
    Entonces El pacto Colombia con las juventudes escucha a los
    jóvenes.
     Tabla manual:

     2 =2 ×2 ×2=8 ÷ 4 ÷ 2=1
    3

    P Q R (PR) (PR) Q
    V V V V V
    V V F F F
    V F V V V
    V F F F V
    F V V V V
    F V F V V
    F F V V V
    F F F V V

     Resultado de la tabla: CONTINGECIA

    Tabla de la verdad a través del simulador. LOGICA UNAD


    P Q R (pr)q
    V V V V
    V V F F
    V F V V
    V F F V
    F V V V
    F V F V
    F F V V
    F F F V

    LIK DEL VIDEO: https://youtu.be/Ead4TK4TCIU

    Ejercicio2:de la Identificación de las reglas de Inferencias lógicas

     Expresión simbólica

    P→q
    ¬q
    ¬p
     Ley de inferencia de la expresión:

    Modus tollendo tones (MTT)


     Preposiciones simples:
    P: tiene luz propia, el astro es una estrella
    Q: el astro es una estrella

     Lenguaje Natural:
    SI tiene luz propia, ENTONCES el astro es una estrella,
    El astro NO es una estrella NO tiene luz propia

     p →q
    p

     Ley de inferencia de la expresión:

    Modus Ponendo Ponens (MPP)

     Preposiciones simples:
    P: Traes todos los paquetes organizados
    Q: Te doy una recompensa
     Lenguaje natural:
    SI traes todos los paquetes organizados,
    ENTONCES te doy una recompensa

     p→s

    p→ q

    p→ s

     Ley de inferencia de la expresión:


    Modus Ponendo ponens (MPP)

     preposición simple:

    P: clara y Camila van al partido


    S: Santiago esta con ellas
    Q: Camila es la porrista del equipo

     Lenguaje natural:
    SI clara y cimilla van al partido ENTONCES
    Santiago esta con ellas SI Camila es la porrista
     EJERSIO3: Aplicaciones de las reglas de la
    inferencia lógica

     Argumento:

    Si Colombia cuenta con las costas del mar caribe, entonces,


    Colombia está en una posición privilegiada. Si Colombia está
    en una posición privilegiada, entonces, Colombia cuenta con
    el océano pacifico.

     Lenguaje simbólico:
    P: Colombia cuenta con las costas del mar caribe
    S: Colombia está en una posición privilegiada
    P→ s
    p
    s

     Ley de inferencia aplicada: Modus Ponendo Ponens


    (MPP)
     Conclusión: Colombia está en una posición privilegia-
    da

     EJERCICIO 4: PROBLEMA DE APLICASION


     Expresión simbólica: [(P→Q) ^(P^S)]→Q
    P1:(P→Q)
    P2:(P^S)
     Conclusión: Q

     Preposiciones simples:

    P: Iremos de pesca el próximo mes,


    Q: estudio todo el fin de semana
    S: aprobare el examen final

     Lenguaje natural:
    Si iremos de pesca el próximo mes entonces, es-
    tudio todo el fin de semana, aunque. Iremos de
    pesca el próximo mes y aprobare el examen final
    si estudio todo el fin de semana.

     Tabla de verdad manual:

    S S

    P Q S P→ Q PS (P →Q)
    (P )
    [( P →Q ¿(P ) ¿ → Q

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

     Tabla de la verdad SIMULADOR UNAD


    S

    P Q S [( P →Q)(P ) ]→ Q

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

     Demostración de valides del argumento median-


    te las leyes de inferencia

    Primisa1: (P→Q)

    Primisa2: (P^S)

    P1. P → q
    P2. p ^ s

    P3. P …… ley de simplificación p2.


    P4. Q……Modus Ponendo ponens p1. P3.
    REGLAS DE INFERENCIA

    Modus Ponendo Ponens (PP)


    𝑝→𝑞
    𝑝
    ∴𝑞
    Modus Tollendo Tones (TT)
    𝑝→𝑞
    ~𝑞
    ∴ ~𝑝

    Silogismo Hipotético (SH)


    𝑝→𝑞
    𝑞→𝑟
    ∴𝑝→𝑟

    Doble Negación (DN)


    ~(~𝑝)
    ∴𝑝

    Simplificación (S)
    ∴𝑝
    𝑝∧𝑞

    ∴𝑞
    Adjunción (A)
    𝑝
    𝑞
    ∴𝑝∧𝑞
    Silogismo disyuntivo (DS)
    𝑝∨𝑞
    𝑝→𝑟
    𝑞→𝑠
    ∴𝑟∨𝑠
    Simplificación disyuntiva (SD)
    𝑝∨𝑞
    𝑝→𝑟
    𝑞→𝑟
    ∴𝑟
    Modus Tollendo Ponens (MTP)
    𝑝∨𝑞
    ~𝑞
    ∴𝑝
    Ley de la Adición (LA)
    𝑝
    𝑝∨𝑞

    También podría gustarte