Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 22 vistas

    239 Tarea 2 WilmarAndresVargas

    Cargado por

    Rosa duran
    Este documento presenta conceptos y métodos de la lógica matemática como proposiciones simples y compuestas, tablas de verdad, razonamientos deductivos e inductivos. Incluye ejemplos resueltos aplicando leyes de inferencia y el uso de simuladores y tablas manuales.

    Copyright:

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

    239 Tarea 2 WilmarAndresVargas

    Cargado por

    Rosa duran
    22 vistas9 páginas
    Este documento presenta conceptos y métodos de la lógica matemática como proposiciones simples y compuestas, tablas de verdad, razonamientos deductivos e inductivos. Incluye ejemplos resueltos aplicando leyes de inferencia y el uso de simuladores y tablas manuales.

    Título original

    90004_239_Tarea_2_WilmarAndresVargas

    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 conceptos y métodos de la lógica matemática como proposiciones simples y compuestas, tablas de verdad, razonamientos deductivos e inductivos. Incluye ejemplos resueltos aplicando leyes de inferencia y el uso de simuladores y tablas manuales.

    Copyright:

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

    239 Tarea 2 WilmarAndresVargas

    Cargado por

    Rosa duran
    Este documento presenta conceptos y métodos de la lógica matemática como proposiciones simples y compuestas, tablas de verdad, razonamientos deductivos e inductivos. Incluye ejemplos resueltos aplicando leyes de inferencia y el uso de simuladores y tablas manuales.

    Copyright:

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

    LOGICA MATEMÁTICA

    WILMAR ANDRES VARGAS


    CÓD.: 17689334

    UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD


    COLOMBIA
    2018
    INTRODUCCIÓN
    En el siguiente trabajo, establearemos conceptos y determinaremos las
    interpretaciones de los conceptos tales como proposiciones simples y
    compuestas, tablas de verdad, métodos de demostración, razonamientos lógicos,
    inferencia lógica y argumentos lógicos.
    Primero, estableceremos los conceptos de los temas principales en cuando
    deducción e inducción; luego, aplicaremos las leyes de inferencia, para determinar
    premisa y convertirlas al lenguaje natural o simbólico.
    Finalmente, gracias al simulador de tablas de verdad, probaremos su
    veracidad y la contrastaremos con un ejercicio manual.
    OBJETIVOS
    - Expresar los conceptos principales de la inferencia lógica
    - Aplicar las leyes de la lógica para la resolución de ejercicios
    - Determinar los tipos de razonamiento por inducción y deducción
    - Aplicar tablas de verdad para la solución de premisas.
    TRABAJO DE LÓGICA TAREA 2
    Ejercicio 1A

    Ejercicio 2E
    Si se matriculan más del cupo de estudiantes en el curso, entonces se
    contratan más tutores. Si se contratan más tutores, entonces se amplía la sala de
    tutores.
    (P→ q) (q→ r)
    Conclusión: P → r
    Ley de inferencia aplicada: Silogismo hipotético
    Lenguaje simbólico: (P→ q) (q→ r)
    Ejercicio 3E
    En distintas circunstancias Ana le ha pedido el cargador del celular prestado
    a Carlos, pero él no ha querido hacerlo debido a que Ana le extravió el cargador a
    su primo Esteban y el de su hermana Elba. ¿Qué tipo de razonamiento uso Carlos
    para determinar esta decisión?
    A partir del razonamiento que haya seleccionado, deberá dar respuesta a los
    siguientes ítems:
    Identificar si el razonamiento es deductivo o inductivo.
    Tipo Inductivo
    Argumentar la respuesta con sus propias palabras.
    Se utiliza la observación, para determinar el Número de aspectos en los
    cuales las cosas involucradas se dice que son análogas.
    Ejercicio 4E

    Expresión simbólica: { [ ( p → q ) ∨r ] ∧ ( r →∼ p ) ∧ ( p ∧ s ) }⟶ ( q ∧ s )
    Premisas:
    P1: ( p →q ) ∨ r
    P2: r →∼ p
    P3: p ∧ s
    Conclusión: q ∧ s
    Definir las proposiciones simples, tendrá la libertad de definirla bajo una
    descripción basada en un contexto, el que se solicita es un contexto académico
    P = Andrés gana el semestre en la universidad
    Q = Andrés recibe un portátil
    R = Andrés es un Buen estudiante
    S = Andrés recibe un Viaje
    Remplazar las variables expresadas simbólicamente y llevarlas al
    lenguaje natural.
    Andrés gana el semestre en la universidad entonces el recibe un portátil o
    Andrés es un buen estudiante. Y si Andrés es un Buen estudiante entonces él no
    gana el semestre en la universidad. Él gana el semestre en la universidad y recibe
    un Viaje. Entonces Andrés recibe un portátil y Él recibe un Viaje.

    Generar una tabla de verdad con el simulador Truth Table a partir del
    lenguaje simbólico
    Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o foto del desarrollo manual)

    (p → [(p → q) V (r → ¬ [(p → q) V r] Λ (r → ¬ (pΛ {[(p → q) V r] Λ (r → ¬ p) Λ ( p (q Λ  {[(p → q) V r] Λ (r → ¬ p) Λ ( p Λ s )} → (q


    p     q     r     s  
    q) r] p) p) s) Λ s )} s)  Λ s) 
    V V V V V V F F V F V V
    V V V F V V F F F F F V
    V V F V V V V V V V V V
    V V F F V V V V F F F V
    V F V V F V F F V F F V
    V F V F F V F F F F F V
    V F F V F F V F V F F V
    V F F F F F V F F F F V
    F V V V V V V V F F V V
    F V V F V V V V F F F V
    F V F V V V V V F F V V
    F V F F V V V V F F F V
    F F V V V V V V F F F V
    F F V F V V V V F F F V
    F F F V V V V V F F F V
    F F F F V V V V F F F V
    CONCLUSIONES
    Se establecieron definiciones y aplicaciones por medio de mapas conceptuales.
    Se efectuaron las prácticas de ejercicios a través de premisas y aplicación de las leyes
    Se expusieron las aplicaciones sobre cómo convertir enunciados de lenguaje natural a simbólico y viceversa.
    Así también, se estableció ciertos grados de certeza de las expresiones por medio de la aplicación de las tablas de
    verdad.
    BIBLIOGRAFÍA
    Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios: Larousse - Grupo Editorial Patria. (pp.
    29-38). Recuperado de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
    ppg=40&docID=11013570&tm=1492519542738
    Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo Editorial Patria. (pp.163-166). Recuperado de
    http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=178&docID=11046000&tm=1492520104862
    Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. Córdoba, AR: El Cid Editor. (pp. 40-
    49) Recuperado de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
    ppg=59&docID=10732485&tm=1492520387992
    Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal, MÉXICO: Grupo Editorial Patria.
    (pp. 80-84) Recuperado de: http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
    ppg=91&docID=11230887&tm=1496180214861

    También podría gustarte