Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 49 vistas

    TAREA 3 - Cárdenas Boggiano

    Cargado por

    Maria Jose Cardenas
    1) Se presentan las reglas sintácticas de un grupo de terraplanistas para expresar fórmulas de la lógica de primer orden. Se piden expresar tres fórmulas dadas en su sistema en el sistema estándar. 2) Se piden evaluar cinco fórmulas dadas por un terraplanista para determinar si están bien construidas según las reglas estándares. 3) Se piden determinar si dos fórmulas son tautologías, contradicciones o contingencias a través de tablas de verdad, y completar los

    Copyright:

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

    TAREA 3 - Cárdenas Boggiano

    Cargado por

    Maria Jose Cardenas
    49 vistas4 páginas
    1) Se presentan las reglas sintácticas de un grupo de terraplanistas para expresar fórmulas de la lógica de primer orden. Se piden expresar tres fórmulas dadas en su sistema en el sistema estándar. 2) Se piden evaluar cinco fórmulas dadas por un terraplanista para determinar si están bien construidas según las reglas estándares. 3) Se piden determinar si dos fórmulas son tautologías, contradicciones o contingencias a través de tablas de verdad, y completar los

    Descripción original:

    Tarea de Logica PUCP 2020-2

    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) Se presentan las reglas sintácticas de un grupo de terraplanistas para expresar fórmulas de la lógica de primer orden. Se piden expresar tres fórmulas dadas en su sistema en el sistema estándar. 2) Se piden evaluar cinco fórmulas dadas por un terraplanista para determinar si están bien construidas según las reglas estándares. 3) Se piden determinar si dos fórmulas son tautologías, contradicciones o contingencias a través de tablas de verdad, y completar los

    Copyright:

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

    TAREA 3 - Cárdenas Boggiano

    Cargado por

    Maria Jose Cardenas
    1) Se presentan las reglas sintácticas de un grupo de terraplanistas para expresar fórmulas de la lógica de primer orden. Se piden expresar tres fórmulas dadas en su sistema en el sistema estándar. 2) Se piden evaluar cinco fórmulas dadas por un terraplanista para determinar si están bien construidas según las reglas estándares. 3) Se piden determinar si dos fórmulas son tautologías, contradicciones o contingencias a través de tablas de verdad, y completar los

    Copyright:

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

    María José Cárdenas Boggiano

    20191875

    I. SINTAXIS EN LO

    Un grupo de terraplanistas no está a gusto con nuestras reglas de sintaxis de LO. Por ello,
    han decidido crear su propio sistema de reglas para determinar fbfs. A continuació n,
    presentamos su cuadro de reglas:

    1.1  Si sabemos que su ~ < 𝑋 > de sus reglas, representa nuestro ~𝐴 de nuestras reglas, y,
    si, ademá s, sabemos que sus ≪ 𝑋∇𝑌 ≫, ≪ 𝑋 ↓ 𝑌 ≫, ≪ 𝑋 ∩ 𝑌 ≫, ≪ 𝑋 ⊥ 𝑌 ≫ representan,
    respectivamente, nuestros 𝐴 ∧ 𝐵, 𝐴 ∨ 𝐵, 𝐴 → 𝐵, 𝐴 ⟷ 𝐵, determinar, entonces, có mo se
    expresarían las siguientes fbfs de LO de los terraplanistas en nuestro sistema de LO. (1.5
    puntos c/u)

    1. ≪~<≪α∇β≫>∩≪γ↓δ≫≫

    ~ (A ∧ 𝐵) → (C ∨ D)

    2. ~<≪α↓≪δ⊥~<γ>≫≫>

    ~ (𝐴 ∨ (D⟷ ~C))

    3. ≪≪≪γ↓α≫∩≪δ∇β≫≫⊥γ≫

    ((C ∨ A) → (D ∧ B)) ⟷ C

    1.2  Un integrante de este grupo de terraplanistas finalmente acepta aprender a usar
    nuestro sistema de reglas sintá cticas de LO. Sin embargo, no estamos tan seguros de qué
    tan bien haya aprendido a usarlas. Por ello, le hemos pedido que cree algunas fbfs, de
    modo que podamos determinar cuá les de estas son en efecto tales o, por el contrario, se
    encuentran mal construidas. Veamos, entonces, si el terraplanista ha aprendido
    convenientemente. (1 punto c/u)

    1. ∼(∼𝑠→∼𝑞)∧[𝑟∨(𝑞→∼𝑝)]

    Sí es un fbf

    2. [∼∼𝑝∨(𝑞→𝑟)]→(∼(γ∧𝑠))

    No, ‘γ’ no está en el vocabulario de LO (no es una letra minúscula normal)* Si es una ‘y’
    normal sí lo sería.

    3. ∼{[𝑠∧(𝑝∧𝑞)]∨[(𝑞∨𝑝∧)→𝑟]}

    No, ‘∧’ no puede quedarse así.

    4. (((𝑝∧𝑞)∨~𝑟)↔(~~𝑟→𝑠)
    No, hay una paréntesis ( sin cerrar

    5. (∼∼∼∼𝑝∧∼∼∼∼𝑞)∨(𝑅↔𝑆)

    No, ‘R’ y ‘S’ están en mayúsculas.

    II. Semántica en LO Parte 1

    2.1 A través de tablas de verdad, determinar si las siguientes fbfs son tautologías,
    contradicciones o contingencias. (2 puntos c/u)

    1 [(𝑝∧𝑞)→𝑟]→[𝑞→(∼𝑟→∼𝑝)]

    p q r [(p ∧ 𝑞) → 𝑟] → [𝑞 → (∼ 𝑟 → ∼ 𝑝)]
    V V V V V V V F V F
    V V F V F V F V F F
    V F V F V V V F V F
    V F F F V V V V F F
    F V V F V V V F V V
    F V F F V V V V V V
    F F V F V V V F V V
    F F F F V V V V V V

    Tautología

    2 [(𝑝→𝑞)→𝑟]↔[(∼𝑟∧∼𝑝)∨(∼𝑟∧𝑞)]

    p q r [(𝑝 → 𝑞) → 𝑟] ↔ [(∼ 𝑟 ∧ ∼ 𝑝) ∨ (∼ 𝑟 ∧ 𝑞)]


    V V V V V F F F F F F F
    V V F V F F V F F V V V
    V F V F V F F F F F F F
    V F F F V F V F F F V F
    F V V V V F F F V F F F
    F V F V F F V V V V V V
    F F V V V F F F V F F F
    F F F V F F V V V V V F

    Contradicción

    2.2 De acuerdo con la informació n otorgada en el siguiente estado posible del mundo
    (EPM) de la siguiente fbf, completar todos los valores de verdad que falten. Para realizar
    esta tarea, tomar también en cuenta que, en este EPM, la disyunció n de r y q, al igual que s
    condicional p, resultan ser falsos. (1 punto)
    p q r s [(𝑝 → 𝑞) → 𝑟] → 𝑠
    F F F V F V F F F V V

    2.3 Luego de haber hallado todos los valores de verdad de las fó rmulas ató micas de la
    anterior fbf, determinar el valor de verdad de la siguiente fbf. (1.5 puntos)

    [(𝑡 → 𝑠) ↔ (𝑟 ↔ 𝑝)] → (~ 𝑞 ∨ 𝑡)
    V F V F V V F V

    Parte 2

    Recordemos al grupo de terraplanistas que inicialmente mencionamos. Ahora resulta que


    afirman haber descubierto nuevos operadores veritativo-funcionales. Nos muestran las
    siguientes tablas:

    2.4 Ya que estos amigos terraplanistas buscan demostrar que no somos tan eficientes en el
    cá lculo de valores a través de la tabla de verdad, deberemos desarrollar la tabla de verdad
    de las siguientes fó rmulas que nos proponen, y, así, de este modo, les mostraremos que
    está n errados en esta creencia. Asimismo, deberemos determinar si estas son tautologías,
    contradicciones o contingencias. (2 puntos)

    [(𝑝⨂𝑞) ⊖ 𝑟] ⊙ (𝑟⨂𝑝)

    p q r [(𝑝 ⨂ 𝑞) ⊖ 𝑟] ⊙ (𝑟 ⨂ 𝑝)
    V V V F V V F
    V V F F F F V
    V F V F V V F
    V F F F F F V
    F V V V F F F
    F V F V V V F
    F F V F V V F
    F F F F F F F

    Contingencia

    2.5 Antes de analizar la siguiente fó rmula, se nos dice, ademá s, que, de acuerdo con su
    criterio, si una fó rmula no es verdadera en má s de dos EPM, entonces esta resulta
    contradictoria. En este caso, entonces, determinaremos si la fó rmula siguiente es
    contradictoria de acuerdo con la definició n de ellos. (2 puntos)

    [(𝑝 ⊖ 𝑟) ⊙ 𝑞]⨂[(𝑟 ⊙ 𝑝) ⊖ 𝑟]

    p q r [(𝑝 ⊖ 𝑟) ⊙ q] ⨂ [(𝑟 ⊙ 𝑝) ⊖ 𝑟]
    V V V F F V F V
    V V F V F F F F
    V F V F F V F V
    V F F V V F F F
    F V V V F F V F
    F V F F F F F F
    F F V V V F V F
    F F F F F F F F
    Contrdicción

    También podría gustarte