Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 37 vistas

    Mapa Conceptual

    Cargado por

    laura
    La lógica matemática trata sobre los métodos de razonamiento y proporciona reglas para determinar si un argumento es válido. Existe el razonamiento deductivo, que infiere conclusiones a partir de premisas, y el inductivo, que extrae conclusiones de observaciones. La lógica matemática estudia conceptos como las leyes de inferencia, como el modus ponens y el modus tollens, y busca cuestionar las reglas de deducción en matemáticas.

    Copyright:

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

    Mapa Conceptual

    Cargado por

    laura
    37 vistas6 páginas
    La lógica matemática trata sobre los métodos de razonamiento y proporciona reglas para determinar si un argumento es válido. Existe el razonamiento deductivo, que infiere conclusiones a partir de premisas, y el inductivo, que extrae conclusiones de observaciones. La lógica matemática estudia conceptos como las leyes de inferencia, como el modus ponens y el modus tollens, y busca cuestionar las reglas de deducción en matemáticas.

    Descripción original:

    MAPA

    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?

    La lógica matemática trata sobre los métodos de razonamiento y proporciona reglas para determinar si un argumento es válido. Existe el razonamiento deductivo, que infiere conclusiones a partir de premisas, y el inductivo, que extrae conclusiones de observaciones. La lógica matemática estudia conceptos como las leyes de inferencia, como el modus ponens y el modus tollens, y busca cuestionar las reglas de deducción en matemáticas.

    Copyright:

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

    Mapa Conceptual

    Cargado por

    laura
    La lógica matemática trata sobre los métodos de razonamiento y proporciona reglas para determinar si un argumento es válido. Existe el razonamiento deductivo, que infiere conclusiones a partir de premisas, y el inductivo, que extrae conclusiones de observaciones. La lógica matemática estudia conceptos como las leyes de inferencia, como el modus ponens y el modus tollens, y busca cuestionar las reglas de deducción en matemáticas.

    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 6

    Lógica Matemática

    es Leyes de inferencia El razonamiento Lógico se clasifica en

    Es la disciplina que trata de Es una forma lógica que Razonamiento deductivo


    métodos de razonamiento. Es consiste en una función que
    un nivel elemental, la lógica toma premisas, analiza su
    proporciona reglas y técnicas sintaxis y devuelve una Parte
    para determinar si es o no conclusión
    valido un argumento dado.
    De categorías generales para
    hacer afirmaciones sobre casos
    Objetivo Se clasifican en particulares. Va de lo general a
    lo particular. Es una forma de
    El objetivo de la lógica MODUS PONENDO razonamiento donde se infiere
    matemática es cuestionar los PONENS (PP). una conclusión a partir de una o
    conceptos y las reglas de varias premisas.
    deducción que son utilizadas en (MPP) ← Abreviatura
    las matemáticas y esto Su condicional es:
    ˿˿ Ejemplo
    constituye a la lógica una
    verdadera matemática. [(p→q) &p]→p
    La Premisa mayor es: Todo árbol
    tiene vida.
    MODUS TOLLENDO
    TELLENS La premisa menor es: Todo
    eucalipto es árbol.
    (MTT) ← Abreviatura
    La conclusión es: Todo
    Su condicional es:
    eucalipto tiene vida.
    [(p→q) &~p]→~p
    Razonamiento inductivo
    MODUS TOLLENDO
    PONENS Consiste

    (MTP) ← Abreviatura En extraer conclusiones a partir de


    determinadas observaciones o
    Su condicional es:
    experiencias particulares. Loa
    [( p˅q) &~p]→p argumentos inductivos parten de
    esta observación y luego
    generalizan. Obtienen una
    Silogismos Hipotético conclusión basándose en las
    probabilidades y en la intuición.
    (SH) ← Abreviatura
    Su condicional es:
    Ejemplo
    [(p→q) & ( p→r)]→ (p→r)
    Premisa 1: María Comió chocolate y le
    SIMPLIFICACION duele la panza.
    (Simp) ← Abreviatura
    Premisa 2: Sandra también comió
    Su condicional es: chocolate y le duele la panza.
    (p & q)→ p
    Conclusión: Si comes chocolate te
    Ejercicio 2

    Ejercicio C
    Si Gabriela estudia en la UNAD entonces tiene que hacer un proyecto.
    Gabriela no realizó el proyecto.
    Desarrollo
    Conclusión: Gabriela no realizo el proyecto.

    Ley de inferencia aplicada: MODUS TOLLENDO TELLENS (TT)

    Lenguaje simbólico: p →q

    q́

    Ejercicio 3

    C: Argumento: El Everest es la montaña más alta del mundo. Por tanto,


    toda otra montaña del mundo es más baja que el Everest.

    Desarrollo
    Argumentación: El razonamiento utilizado es el deductivo, ya que, si la montaña
    del Everest es la más alta del mundo, entonces se deduce que las otras montañas
    son más bajas que el Everest.
    Ejercicio 4
    a. Expresión simbólica: [( p → q)∧(q → r) ∧( p∧ s)]→ r

    Premisas:
    P1: p →q
    P2:q → r
    P3: p ∧ s
    Conclusión: r
    Desarrollo:
    Proposiciones simples
    P1: Participo en la web conferencias
    P2: Participo en los foros
    P3: Obtengo buenos resultados.
    P4: Gano todas las materias
    Razonamiento en lenguaje natural:
    Si participo en la web conferencias entonces participo en los foros. Si no participo
    en los foros entonces no obtengo buenos resultados. Por lo tanto, participo en la
    web conferencias y gano todas las materias.
    Tabla de verdad
    1 2 3 4 5 6 7 8 9 10
    p q r s ~ (p→q) (q→~r pɅs [(p→q) Ʌ(q→~r) Ʌ (pɅs)] [(p→q) Ʌ(q→~r) Ʌ (pɅs)]→~r
    r )
    1 V V V V F V F V F V

    2 V V V F F V F F F V

    3 V V F V V V V V V V

    4 V V F F V V V F F V
    5 V F V V F F V V F V

    6 V F V F F F V F F V

    7 V F F V V F V V F V

    8 V F F F V F V F F V

    9 F V V V F V F F F V

    1 F V V F F V F F F V
    0
    1 F V F V V V V F F V
    1
    1 F V F F V V V F F V
    2
    1 F F V V F V V F F V
    3
    1 F F V F F V V F F V
    4
    1 F F F V V V V F F V
    5
    1 F F F F V V V F F V
    6

    Resultado de la tabla de verdad: Tautología.


    p q r s ((p→q)∧(q→~r)∧(p∧s))→~r
    v v v v V
    v v v f V
    v v f v V
    v v f f V
    v f v v V
    v f v f V
    v f f v V
    v f f f V
    f v v v V
    f v v f V
    f v f v V
    f v f f V
    f f v v V
    f f v f V
    f f f v V
    f f f f V

    JTabla - Resultados

    leyes de inferencia:
    P1: p →q
    P2:q → r
    P3: p ∧ s

    Conclusión: ~r

    P1: p→q
    P2: q→~r

    También podría gustarte

    pFad - Phonifier reborn

    Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

    Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


    Alternative Proxies:

    Alternative Proxy

    pFad Proxy

    pFad v3 Proxy

    pFad v4 Proxy