Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 258 vistas

    Pensamiento Logico Matematico, Tarea 1 - Unad

    Cargado por

    Catalina Carvajal Herrera
    Este documento presenta 4 ejercicios sobre proposiciones y tablas de verdad. El primer ejercicio desarrolla una proposición con lenguaje simbólico y natural y una tabla de verdad manual y en simulador. El segundo ejercicio aplica leyes de inferencia como modus tollendo tollens y modus ponendo ponens. El tercer ejercicio aplica modus tollendo tollens. El cuarto ejercicio desarrolla una proposición compleja con tablas de verdad manual. El documento concluye que se comprendieron los conceptos

    Copyright:

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

    Pensamiento Logico Matematico, Tarea 1 - Unad

    Cargado por

    Catalina Carvajal Herrera
    258 vistas9 páginas
    Este documento presenta 4 ejercicios sobre proposiciones y tablas de verdad. El primer ejercicio desarrolla una proposición con lenguaje simbólico y natural y una tabla de verdad manual y en simulador. El segundo ejercicio aplica leyes de inferencia como modus tollendo tollens y modus ponendo ponens. El tercer ejercicio aplica modus tollendo tollens. El cuarto ejercicio desarrolla una proposición compleja con tablas de verdad manual. El documento concluye que se comprendieron los conceptos

    Título original

    pensamiento logico matematico, tarea 1_ unad

    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 4 ejercicios sobre proposiciones y tablas de verdad. El primer ejercicio desarrolla una proposición con lenguaje simbólico y natural y una tabla de verdad manual y en simulador. El segundo ejercicio aplica leyes de inferencia como modus tollendo tollens y modus ponendo ponens. El tercer ejercicio aplica modus tollendo tollens. El cuarto ejercicio desarrolla una proposición compleja con tablas de verdad manual. El documento concluye que se comprendieron los conceptos

    Copyright:

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

    Pensamiento Logico Matematico, Tarea 1 - Unad

    Cargado por

    Catalina Carvajal Herrera
    Este documento presenta 4 ejercicios sobre proposiciones y tablas de verdad. El primer ejercicio desarrolla una proposición con lenguaje simbólico y natural y una tabla de verdad manual y en simulador. El segundo ejercicio aplica leyes de inferencia como modus tollendo tollens y modus ponendo ponens. El tercer ejercicio aplica modus tollendo tollens. El cuarto ejercicio desarrolla una proposición compleja con tablas de verdad manual. El documento concluye que se comprendieron los conceptos

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    Está en la página 1de 9

    1

    METODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

    PRESENTADO POR

    YARITZA CATALINA CARVAJAL HERRERA

    PRESENTADO A

    JUAN DAVID LACHARME

    GRUPO: 408001

    UNIVERSIDA NACIONAL ABIERTA Y A DISTANCIA UNAD

    FECHA: 06-03-2021
    2

    Introducción

    En este trabajo vamos a desarrollar 4 ejercicios del curso pensamiento lógico y matemático de

    la actividad numero uno que se trata de proposiciones y tablas de verdad, que son métodos

    lógicos que permiten comprender fundamentos básicos para definir si una premisa es falsa o

    verdadera ya que dispone medios para analizar el lenguaje y métodos específicos para

    determinar la validez

    Objetivo general

    Comprender conceptos básicos fundamentales y así poder desarrollar ejercicios de proposición

    con tablas de verdad y demostrando la validez

    Objetivos específicos

    Identificar las preposiciones y tabla de verdad

    Aprender a realizar tabla de verdad manual

    Conocer los conectores lógicos

    Validar las preposiciones

    Identificar y conocer el simulador de lógica


    3

    EJERCICIO 1.

    p: Activan la restricción de carros en la ciudad

    q: Hay contaminación del aire

    r: Las personas tienen conciencia ambiental

    Lenguaje simbólico

    (𝒑 ∧ ~𝒒) ↔ r

    Lenguaje natural

    Activan la restricción de carros en la ciudad y no hay contaminación del aire, si y solo si, las

    personas tienen conciencia ambiental


    4

    Tabla Manual

    p q r ~q (p ∧ ~q) (p ∧ ~q) ↔ r

    v v v f f f
    v v f f f v
    v f v v v v
    v f f v v f
    f v v f f f
    f v f f f v
    f f v v f f
    f f f v f v

    Resultado de la tabla de verdad: Contingencia

    Tabla del simulador

    Enlace del video: https://youtu.be/xJoTQYahPB8

    Ejercicio 2

    E.

    s→¬t

    t
    ______
    ¬s
    5

    MODUS TOLLENDO TOLLENS

    s→¬t : Yaritza estudia virtual entonces no debe distraerse en redes

    t: debe distraerse en redes

    ¬s: por lo tanto, no Yaritza no estudia virtual

    SILOGISMO HIPOTETICO (SH)

    p→s
    s→r
    _________
    p→r

    p: Yaritza Comienza a estudiar


    q: inicia con cinco cursos
    r: tomara clases virtuales

    p→r: Yaritza comienza a estudiar entonces tomara clases virtuales

    MODUS PONENDO PONENS

    s→r
    s
    ________
    r

    s: Catalina Estudia Artes Visuales


    r: catalina ama la fotografía

    s→r: si catalina estudia artes visuales entonces catalina ama la fotografía


    s: catalina ama la fotografía
    r: por lo tanto, catalina estudia artes visuales
    6

    Ejercicio 3

    Si me pagan la prima de diciembre entonces compro los regalos de navidad. No compro los

    regalos de navidad

    Conclusión: compro los regalos de navidad

    Ley de interferencia aplicada:

    MODUD TOLLENDO TOLLUS

    Lenguaje simbólico

    p→q
    ~q
    _________
    p

    Ejercicio 4

    [(𝑝 ∧ 𝑟) ∧ (𝑞 ∨ ¬𝑟) ∧ (𝑝 → 𝑞)] → (𝑞)

    Premisas:
    7

    P1:𝑝 ∧ 𝑟

    P2:𝑞 ∨ ¬𝑟

    P3:𝑝 → q

    Conclusión: q

    Proposiciones simples

    P: Catalina es estudiante de la UNAD

    q: debe estudiar virtual

    r: es estudiante de artes visuales

    lenguaje natural

    Catalina es estudiante de la UNAD y es estudiante de artes visuales y debe estudiar virtual o


    no es estudiante de artes visuales y Catalina es estudiante de la UNAD entonces debe
    estudiar virtual por lo tanto debe estudiar virtual

    Tabla de verdad manual

    p q r ¬ (𝑝 ∧ 𝑟) (𝑞 ∨ ¬𝑟) (𝑝 → 𝑞) [(𝑝 ∧ 𝑟) ∧ (𝑞 [(𝑝 ∧ 𝑟) ∧ (𝑞 ∨ ¬𝑟) ∧ [(𝑝 ∧ 𝑟) ∧ (𝑞 ∨ ¬𝑟) ∧ (𝑝 →


    ∨ ¬𝑟) 𝑞)] → (𝑞)
    𝑟 (𝑝 → 𝑞)]
    v v v f v v v v v v
    v v f v f v v f f v
    8

    v f v f v f f f f v
    v f f v f v f f f v
    f v v f f v v f f v
    f v f v f v v f f v
    f f v f f f v f f v
    f f f v f v v f f v

    Tabla de verdad

    Conclusión

    Con el material de apoyo dado en el curso de pensamiento lógico matemático pude desarrollar

    cada uno de los ejercicios de preposiciones y tablas de verdad. aunque al principio no fue tan

    fácil me di cuenta de que realmente no es tan difícil y pude comprender como se da el desarrollo

    de las preposiciones conociendo los operadores lógicos y sus diferentes tablas de verdad y en que

    orden desarrollarlas para obtener el resultado correcto y validar la preposición.


    9

    Referencia bibliográfica

    Castaño, C. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado

    de http://hdl.handle.net/10596/13871  

    Castaño, C. (2017). Leyes de inferencia, [Video]. Recuperado

    de http://hdl.handle.net/10596/13869

    Demostración de validez
    https://www.youtube.com/watch?v=0giZEkr-JXY

    Preposiciones y conectores lógicos


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

    También podría gustarte