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

¡Te damos la bienvenida a Scribd!

  • 75 vistas

    Logica Tarea 3

    Cargado por

    sthephanie ramirez
    Este documento introduce los conceptos de argumento y ley de inferencia. Define un argumento como una secuencia ordenada de fórmulas donde la última es la conclusión y las demás son premisas, y cada fórmula se deriva de las anteriores mediante reglas de inferencia. Explica que las demostraciones matemáticas usualmente toman la forma de argumentos donde las primeras fórmulas son axiomas y el resto son teoremas deducidos de fórmulas previas.

    Copyright:

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

    Logica Tarea 3

    Cargado por

    sthephanie ramirez
    75 vistas7 páginas
    Este documento introduce los conceptos de argumento y ley de inferencia. Define un argumento como una secuencia ordenada de fórmulas donde la última es la conclusión y las demás son premisas, y cada fórmula se deriva de las anteriores mediante reglas de inferencia. Explica que las demostraciones matemáticas usualmente toman la forma de argumentos donde las primeras fórmulas son axiomas y el resto son teoremas deducidos de fórmulas previas.

    Título original

    Logica tarea 3

    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 introduce los conceptos de argumento y ley de inferencia. Define un argumento como una secuencia ordenada de fórmulas donde la última es la conclusión y las demás son premisas, y cada fórmula se deriva de las anteriores mediante reglas de inferencia. Explica que las demostraciones matemáticas usualmente toman la forma de argumentos donde las primeras fórmulas son axiomas y el resto son teoremas deducidos de fórmulas previas.

    Copyright:

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

    Logica Tarea 3

    Cargado por

    sthephanie ramirez
    Este documento introduce los conceptos de argumento y ley de inferencia. Define un argumento como una secuencia ordenada de fórmulas donde la última es la conclusión y las demás son premisas, y cada fórmula se deriva de las anteriores mediante reglas de inferencia. Explica que las demostraciones matemáticas usualmente toman la forma de argumentos donde las primeras fórmulas son axiomas y el resto son teoremas deducidos de fórmulas previas.

    Copyright:

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

    Profesor (A):

    José León Reyes


    Asignatura:

    Lógica y Teoría de los Conjuntos I

    Tema:

    Argumentos y ley de inferencia

    Nombres y Apellidos:

    Claudia Estefani Ramírez

    Matrícula:

    16_7907

    Fecha:

    3.10.2019
    Introducción

    Un argumento se define como una secuencia ordenada de fórmulas, donde la última es


    designada como la conclusión, y las demás como las premisas. Y donde cada fórmula
    (proposición formal) es derivable de dos o más fórmulas precedentes por medio de una
    regla de inferencia bien definida. Así una demostración matemática usualmente es
    formulable como un argumento en que las primeras fórmulas son siempre axiomas y el
    resto son fórmulas deducidas (teoremas) a partir de fórmulas anteriores en la secuencia
    que constituye el argumento.
    I) Niegue las siguientes proposiciones aplicando las leyes de Morgan:
    a) Para el conjunto de todos los números primos por lo menos un número primo es
    par.

    - (vx) (px):.(ᵌx) – (px) p

    b) Para todos dos números enteros positivos, su suma es 12.


    ~(Vx) (Px) :. (Ǝx) ~ (Px)

    II) Completa correctamente los siguientes razonamientos:


    a) p1: Todo bombero apaga el fuego
    p2: Si juan es bombero entonces apaga el fuego
    c: Juan apaga el fuego

    b) p1: El cobre conduce calor


    p2: El oro conduce calor
    p3: La plata conduce calor
    c: El metal conduce calor

    III) Determine el valor de verdad del siguiente argumentos:


    H1: 3+6= 8 f
    H2: si 3+5= 8, entonces 8º = 1 v
    H3: Si 8º = 1, entonces 5*5= 25 v
    _________________
    C : 3+6= 8 o 8º = 1

    Argumento indeterminado

    P1: Si 5-4=3 , entonces 3+5=8


    P2: si 3+5=8 , entonces 90=1
    P3: Si 90=1, entonces 9x3=27
    __________________
    C : 5-4=3 y 9x3=27

    Argumento indeterminado

    H1: Si un animal es mamífero entonces es vertebrado


    H2: El perro es mamífero
    ___________________________________________
    C:El perro es vertebrado

    Tautologia

    IV) ¿Cuál es el valor de verdad de la siguiente forma argumental?


    [(p ↔ q) ^ p ] → ~ q

    P q -q [(p ↔ q) [(p ↔ q) ^ p ] [(p ↔ q) ^ p ] → ~ q


    v v f v v f
    v
    V f v f f

    F v f f f v
    F f v v f v

    V)  Utilice las reglas de inferencia para determinar el valor de verdad de las


    siguientes formas argumentales:

    a) H1: P
    H2: PQ
    H3: QR
    _________
    C: ┐P Λ R

    b) P1: P Λ Q
    P2: PQ
    P3: QR
    _________
    C: ┐P Λ R

                 
    c) P → Q

               R → ~S

    Q ˄~S
    _______________________ 
             (~P ↔ R) → (Q V ~S)
     
    VI) Compruebe que las siguientes reglas de inferencias son tautologías
    MP= V
    MT=V
    SD=V
    SH= V
    ADJ= V
    ADI=V
    SIMP= V

    Tautología

    VII) Compruebe la equivalencia lógica en cada caso:


    C

    c
    Tautología

    Conclusión
    Las matemáticas han desarrollado una especie de lenguaje particular para transmitir su
    pensamiento libre de cualquier influencia.

    El razonamiento es una actividad que adopta multitudes de formas, ya que abarca


    enfoques muy alejados unos de otros .Se puede definir como un esquema organizado de
    preposiciones que se orientan hacia un enunciado objetivo

    También podría gustarte