Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 46 vistas

    4to Aritmética S02 TAREA

    Cargado por

    Team Wolverine
    Este documento presenta los conceptos básicos de la lógica proposicional, incluyendo tablas de verdad, clases de matrices principales (tautología, contradicción, contingencia), y ejemplos de simbolización y evaluación de proposiciones compuestas mediante conectores lógicos.

    Copyright:

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

    4to Aritmética S02 TAREA

    Cargado por

    Team Wolverine
    46 vistas2 páginas
    Este documento presenta los conceptos básicos de la lógica proposicional, incluyendo tablas de verdad, clases de matrices principales (tautología, contradicción, contingencia), y ejemplos de simbolización y evaluación de proposiciones compuestas mediante conectores lógicos.

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento presenta los conceptos básicos de la lógica proposicional, incluyendo tablas de verdad, clases de matrices principales (tautología, contradicción, contingencia), y ejemplos de simbolización y evaluación de proposiciones compuestas mediante conectores lógicos.

    Copyright:

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

    4to Aritmética S02 TAREA

    Cargado por

    Team Wolverine
    Este documento presenta los conceptos básicos de la lógica proposicional, incluyendo tablas de verdad, clases de matrices principales (tautología, contradicción, contingencia), y ejemplos de simbolización y evaluación de proposiciones compuestas mediante conectores lógicos.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    Está en la página 1de 2

    4.

    o año LÓGICA PROPOSICIONAL

    4. Tablas de valores de verdad:


    * Evaluar un esquema molecular es obtener la matriz principal.
    * El número de valores que se asigna a cada variable es «2n», donde «n» es el número de variables.
    * Es importante jerarquizar los esquemas antes de evaluarlos.

    Ejemplo:
    p q (p ∧ q) → (p ∆ q)
    V V V V V F V F V
    V F V F F V V V F
    F V F F V V F V V
    F F F F F V F F F
    22 = 4 1 3 2
    Valores
    Matriz principal: FVVV

    5. Clases de matrices principales:


    a) Tantología:
    Todos los valores son verdaderos.

    b) Contradicción:
    Todos los valores son falsos.

    c) Contingente:
    Cuando entre todos los valores de la matriz principal hay por lo menos uno verdadero o uno falso.

    Trabajando en clase

    Integral d) Carlos y Richard van juntos 5. Simboliza mediante conecto-


    al cine. res lógicos “Si tomas jugo de
    1. Determina la matriz princi-
    e) Daniel es profesor y Rosa es naranja o fresa, entonces esta-
    pal de la siguiente proposición rás lleno”.
    compuesta: (p ∧ q) ∨ q escritora.
    Resolución:
    Resolución:
    PUCP
    2. Determina los valores de ver-
    dad de r y p si se sabe que la 4. Simboliza mediante conecto- 6. Determina la matriz principal
    proposición es falsa: ∼p ∨ r de la siguiente proposición
    res lógicos: “Si Daniel y Agri-
    Resolución: compuesta: (p ∆ q) ↔ ∼r
    pina juegan fútbol, Margarito
    Resolución:
    será el árbitro”.
    3. Señala la proposición com- Resolución:
    puesta: Si Daniel y Agripina juegan fútbol, 7. Si la proposición compuesta:
    a) Agripino y Cesarina son ↓ [(p → q) ∨ (q ∨ ∼r)]
    (p ∧ q)
    hermanos. Condicional es falsa; determine los valores
    b) Los Heraldos Negros es una Margarito será árbitro. de verdad de p, q y r.
    obra de Cesar Vallejo. r Resolución:
    c) Joseph-Nicephore tomó la Respuesta:
    primera fotografía en blan- (p ∧ q) → r
    co y negro.

    ARITMÉTICA
    LÓGICA PROPOSICIONAL 4.o año

    UNMSM 10. Determina si la siguiente pro- ∴ p ≡ F


    posición es tanto lógica, con- q≡F
    8. Si la siguiente proposición es
    tradictorio o contingente. r≡V
    falso: (∼p ∧ q) → [(p ∨ r) ∨ t] [(∼p ∧ q) → r] ↔ [(p ∧ q) ∆ ∼r] I. r → (∼p ∨ ∼q)
    determina el valor de la ver- Resolución: V → (V ∨ V) ≡ V
    dad de: II. [r ↔ (p ∧ q)] ↔ [q∧ ∼p]
    I. ∼(∼p ∨ ∼q) → (r ∨ ∼t) 11. Determina el valor de verdad [V ↔ (F ∧ F)] ↔ (F ∧ V)
    II. (∼p → t) → (∼q → r) de las siguientes proposicio- (V ↔ F) ↔ (F)
    Resolución: nes: F ↔ F ≡ V
    ( ) a) (3 + 5 = 9) ∧ (5 × 2 = 10) III. (r ∨ ∼p) ∧ (q ∨ p)
    13 18 (V ∨ V) ∧ (F ∨ F)
    b)  + 1 =  → (32 = 5) V ∧ F ≡ F
     5 5 
    ∴ p ≡ F c) (23 = 8) ∆ ( 16 = –4) 13. Si la proposición:
    q ≡ V d) (–13 < 8) ↔ (8 + 1 > 9) [(∼p ∨ q) →(q ↔ r)] ∨ (q ∧ s)
    r ≡ F es falsa y “p” una proposición
    t ≡ F UNI verdadera, determina los valo-
    res de verdad de q, r y s en ese
    I. ∼(∼p ∨ ∼q) → (r ∨ ∼t) 12. Dada la proposición:
    orden.
    ∼(V ∨ F) → (F ∨ V) ∼[(r ∨ q) → (r → p)] ≡ V,
    (UNI 2012-II)
    ∼V → V donde q es una proposición
    Resolución:
    F → V ≡ V falsa. Determina el valor de
    II. (∼p → t) → (∼q → r) verdad de las siguientes pro-
    (V → F) → (F → F) posiciones:
    F → V ≡ V I. r → (∼p ∨ ∼q)
    II. [r ↔ (p ∨ q)] ↔ (q ∧ ∼p)
    14. Clasifica las siguientes propo-
    9. Si la proposición: III. (r ∨ ∼p) ∧ (q ∨ p)
    siciones como tautología (T),
    (p → ∼q) ∨ (∼r → s) (UNI 2013-I)
    contradicción (F) o contin-
    es falsa, determina los valores Resolución:
    gencia (C):
    de verdad de las siguientes I. (p → q) → ∼q
    proposiciones: II. (∼q ∨ q) ∆ [p ∆(p ∨ q)]
    I. (∼p ∧ ∼q) ∨ ∼p III. (q ∆ ∼p) ↔ (p ∆ q)
    II. (p → q) → r
    Resolución: Resolución:

    ARITMÉTICA

    También podría gustarte