Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 46 vistas

    Tarea 2 Lcat

    Cargado por

    Natalia Hernandez
    1. La lógica matemática estudia los sistemas formales y proporciona reglas para determinar la validez de argumentos dentro de ellos. Las especificaciones formales describen propiedades de sistemas de información usando notación matemática de manera precisa. 2. Las proposiciones son enunciados que pueden ser verdaderos o falsos. Algunas oraciones dadas no son proposiciones debido a errores en su estructura lógica. 3. Se presentan varias expresiones lógicas complejas involuc

    Copyright:

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

    Tarea 2 Lcat

    Cargado por

    Natalia Hernandez
    46 vistas5 páginas
    1. La lógica matemática estudia los sistemas formales y proporciona reglas para determinar la validez de argumentos dentro de ellos. Las especificaciones formales describen propiedades de sistemas de información usando notación matemática de manera precisa. 2. Las proposiciones son enunciados que pueden ser verdaderos o falsos. Algunas oraciones dadas no son proposiciones debido a errores en su estructura lógica. 3. Se presentan varias expresiones lógicas complejas involuc

    Título original

    tarea 2 lcat

    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?

    1. La lógica matemática estudia los sistemas formales y proporciona reglas para determinar la validez de argumentos dentro de ellos. Las especificaciones formales describen propiedades de sistemas de información usando notación matemática de manera precisa. 2. Las proposiciones son enunciados que pueden ser verdaderos o falsos. Algunas oraciones dadas no son proposiciones debido a errores en su estructura lógica. 3. Se presentan varias expresiones lógicas complejas involuc

    Copyright:

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

    Tarea 2 Lcat

    Cargado por

    Natalia Hernandez
    1. La lógica matemática estudia los sistemas formales y proporciona reglas para determinar la validez de argumentos dentro de ellos. Las especificaciones formales describen propiedades de sistemas de información usando notación matemática de manera precisa. 2. Las proposiciones son enunciados que pueden ser verdaderos o falsos. Algunas oraciones dadas no son proposiciones debido a errores en su estructura lógica. 3. Se presentan varias expresiones lógicas complejas involuc

    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 5

    1.

    la lógica proporciona reglas y técnicas para determinar si es o no válido un argumento dado


    dentro de un determinado sistema formal

    La teoría de la demostración y la matemática inversa son dos de los razonamientos más


    recientes de la lógica matemática abstracta

    La lógica matemática estudia los sistemas formales

    2.

    Una especificación formal usa notación matemática para describir de manera precisa las
    propiedades que un sistema de información debe tener

    Una especificación formal puede servir como un punto de referencia fiable tanto para quienes
    se dedican a investigar sobre los requerimientos del cliente que solicita el sistema, como para
    aquellos que desarrollan los programas para satisfacer esos requerimientos

    las especificaciones formales de un sistema pueden ser elaboradas a principios de su


    desarrollo

    3.

    A y b tienen la misma estructura

    1.2

    1.

    b) es una proposición ya que tiene una respuesta entre verdadero y falso, en este caso falso

    d) (p ∨ (p ≡ (¬q))) , es una proposición ya que tiene una respuesta entre verdadero y falso, en
    este caso falso

    f) es una proposición ya que tiene una respuesta entre verdadero y falso, en este caso falso

    2.

    a) esta incompleta, por lo tanto no puede tener una respuesta de verdadero o falso

    c)la negación necesita otro argumento para que sea tomada como proposición, -p es
    proposición si p es proposición

    e) una mala agrupación y uso evita que sea una proposición

    3.

    a) p: un numero natural es par

    q: es impar

    p ≡ -q
    b)

    p= el sol brilla hoy

    q= el sol brilla mañana

    p-> - q

    c)

    p= esta celoso

    q= esta de malgenio

    pvq

    d)

    p= una petición ocurre

    q=eventualmente será atendida

    r=el proceso de horarios se bloqueara

    ((p->q)v r)

    e)

    p= lloverá

    q=hará sol

    (p v q), -(p^q)

    f)

    p= tiene zapatos

    q= tiene camisa

    r=hay servicio

    -(p^q) -> -r

    g)

    p= quiere gato blanco

    q=quiere gato negro

    p^q

    h)

    p=mi pareja raja el hacha

    q=mi pareja presta el hacha

    -(p^q)
    4 h: El cuarteto interpretará a Haydn.

    m: El cuarteto interpretará a Mozart.

    a) El cuarteto interpretara a Haydn o a Mozart.


    b) El cuarteto interpretara a Haydn si y solo si no interpreta a Mozart.
    c) El cuarteto no interpretara a Haydn si y solo si no interpreta a Mozart
    d) El cuarteto no interpretara ni a Haydn ni a Mozart
    e) El cuarteto no interpretara ni a Haydn ni a Mozart y si El cuarteto no interpretara a
    Haydn, entonces interpretara a mozart

    a) P= pedro entiende mate


    Q= pedro entiende lógica
    P ->q, -q -> -p
    b) P=llueve
    Q=nieva
    R=hay electricidad
    ((P v q) -> -r), (p -> -r)
    c) P=llueve
    Q=nieva
    R=hay electricidad
    ((P v q) -> -r), (r -> -q)
    d) P=sinx es diferenciable
    Q=sin x es continua
    R=función sinx es diferenciable
    Z=función sinx es integrable
    p->q , q->p , r - > z
    e) P=godel fuera presidente
    Q= congreso presentaría leyes razonables
    P -> q, -(p->q)
    f) P=llueve
    Q= hay picnic
    R=nieva
    P -> -q. r -> -q. (p v q). -q

    b) true

    f)
    h)

    2.

    e) p q q->p p->(q->p)

    g) r p s q -r r ^ (-r) p -> q - (p -> q)

    pvs r <- (p v s) ((r ∧ (r ← (p ∨ s)) ((r ∧ (r ← (p ∨ s))

    (¬((r ∧ (r ← (p ∨ s))) (((p → q) ∨ (r ∧ (¬r)))))) (¬((p → q) ∨ (r ∧ (¬r))))))

    (¬((r ∧ (r ← (p ∨ s))) ≡ (¬((p → q) ∨ (r ∧ (¬r))))))

    3.

    4.

    ((p v q) ≡ (r -> p)) <- (q /≡ (-q))


    5.

    2.

    A)

    L(-W)=R(-W)

    P(X) : L(X) = R(X)

    P(X): L(-W) = R(-W)

    L(X) = L(-W) = R(-W) = R(X)

    CONCLUSION: L(X) = R(X)

    B)

    L((W/≡T))=R((W/≡T))

    P(X) : L(X) = R(X)

    L(X) : L((W/≡T) = 1 + L(W)+L(T) = 1 + R(W)+R(T) = R(X)

    CONCLUSION: L(X) = R(X)

    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