Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 30 vistas

    8° Laboratorio

    Cargado por

    Yadhira Power
    1) El documento presenta las equivalencias lógicas y leyes como la doble negación, ley de Morgan, contraposición, distribución e idempotencia. 2) Se piden ejemplos de aplicación de estas leyes y equivalencias lógicas a diferentes oraciones. 3) También se pide determinar la equivalencia lógica de diferentes esquemas proposicionales.

    Copyright:

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

    8° Laboratorio

    Cargado por

    Yadhira Power
    30 vistas3 páginas
    1) El documento presenta las equivalencias lógicas y leyes como la doble negación, ley de Morgan, contraposición, distribución e idempotencia. 2) Se piden ejemplos de aplicación de estas leyes y equivalencias lógicas a diferentes oraciones. 3) También se pide determinar la equivalencia lógica de diferentes esquemas proposicionales.

    Título original

    8° LABORATORIO

    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) El documento presenta las equivalencias lógicas y leyes como la doble negación, ley de Morgan, contraposición, distribución e idempotencia. 2) Se piden ejemplos de aplicación de estas leyes y equivalencias lógicas a diferentes oraciones. 3) También se pide determinar la equivalencia lógica de diferentes esquemas proposicionales.

    Copyright:

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

    8° Laboratorio

    Cargado por

    Yadhira Power
    1) El documento presenta las equivalencias lógicas y leyes como la doble negación, ley de Morgan, contraposición, distribución e idempotencia. 2) Se piden ejemplos de aplicación de estas leyes y equivalencias lógicas a diferentes oraciones. 3) También se pide determinar la equivalencia lógica de diferentes esquemas proposicionales.

    Copyright:

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

    LABORA

    TORIO
    EQUIVALENCIAS LÓGICAS p ^q = - (-p v-q)
    3. “La economía del país se
    INTEGRANTES: GRUPO 10 mantiene sólida aun cuando los
    -Correa Valdiviezo Bruno
    indicadores económicos
    aumentan”.
    -Chávez Cherre Jonathan
    p ^ q = - (-p v-q)
    -Facundo Paiva Camia
    4. “El axioma requiere
    -Jiménez Palacios Adriano
    demostración, pero no es una
    verdad evidente”.
    I) Formalice y luego aplique las p^ -q = - (-p v q)
    leyes lógicas en los siguientes 5. “Es falso que el axioma no es
    casos:
    una verdad evidente excepto
    DOBLE NEGACIÓN (DN) que requiera demostración”.
    1. “Adolfo Hitler fue austriaco”. - (-p v q) = p^ -q
    p= --p 6. “Toda proposición es
    2. “Es inobjetable que el Perú verdadera o falsa”.
    p v q = - (-p^ -q)
    tiene escasos recursos CONMUTACIÓN.
    energéticos”. 1. “Es negable que Juliaca es una
    --p=p ciudad puneña además es un
    3. "No es verdad que no hay vida centro de acopio de cuero
    en Marte". fresco”.
    --q=q -p^q = q^-p
    LEY DE MORGAN (DM) 2. “es falso que el gobierno
    1. “No es cierto que, R. Darío sea peruano no es democrático sí y
    un novelista peruano tal como solo si no es elegido por el
    que no sea representante de la pueblo”.
    escuela modernista”. --p↔-q = -q ↔ --p
    -(p^-q) = -p v q
    3. “La economía del país se
    2. “C. Vallejo es un poeta peruano
    mantiene sólida aun cuando los
    además pertenece a la escuela
    vanguardista”.
    1
    Docente: Jesús Villanueva Javes
    Curso: Lógica
    LABORA
    TORIO
    indicadores económicos p→-q= q→ -p
    aumentan”.
    p^q= q^p DISTRIBUCIÓN.
    4. “El axioma no es una verdad 1. “El Perú es un país con
    evidente excepto que requiera abundante fauna marina, salvo
    demostración”. que, el rape y el cazón no sean
    -p v q = q v -p parte de la fauna marina
    peruana”.
    5. "Es objetable que el Presidente p^ ( - q^ -r) = (p^-q) ^(p^-r)
    es un Demócrata y también no DEFINICIÓN DEL
    es Republicano." IMPLICADOR
    -p^ -q = -q^ -p
    CONTRAPOSICIÓN 1. “Si la Tierra forma parte del
    (Transposición o contra Sistema Solar entonces forma
    recíproca) parte de la Vía Láctea”.
    1. “Es negable que el gobierno p→q = -p+q
    peruano es democrático sí y 2. “En el caso que los indicadores
    solo si es elegido por el económicos aumenten, la
    pueblo”. economía del país no se
    p ↔q= -q ↔-p mantendrá sólida”.
    2. “O Finlandia integra la OTAN p→-q = -pv-q
    o integra el Pacto de Varsovia”. 3. “Los colores crean ambientes
    pvq = -qv -p acogedores entonces ayudan a
    3. “Los colores crean ambientes relajarse”.
    acogedores entonces ayudan a
    p→q ≡ -p+q
    relajarse”.
    DEFINICIÓN DEL
    p→q = -q→ -p
    BIMPLICADOR
    4. “Es falso que Si las 1. “La economía del país se
    exportaciones no mantiene sólida siempre y
    disminuyen entonces no
    bajarán las utilidades”.
    2
    Docente: Jesús Villanueva Javes
    Curso: Lógica
    LABORA
    TORIO
    cuando los indicadores La negación de la conjunción de la
    económicos aumentan”. negación de A y B
    p↔q = p →q ↔ q → p 9) A ↔ B
    LEY DE IDEMPOTENCIA. A si y sólo si B
    1. “Lima es la capital peruana y 10) (A ← B)
    Lima es la capital peruana”. B implica A
    p^ p = p
    II. Determine la equivalencia
    lógica de los siguientes
    esquemas:

    1) ¬(A ∧ B)
    La negación de A y B
    2) A → ¬B
    A implica la negación de B
    3) ¬A → ¬B
    La negación de A implica la
    negación de B
    4) A ∨ B
    AoB
    5) ¬A ∧ B
    La negación de A y B
    6) ¬(¬A ∨ ¬B)
    La negación de la disyunción de la
    negación de A o la negación de B
    7) A ← B
    B implica A
    8) ¬(¬A ∧ B)

    3
    Docente: Jesús Villanueva Javes
    Curso: Lógica

    También podría gustarte