Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 259 vistas

    Leyes Lógicas

    Cargado por

    Jorge Alexis Silvestre Suazo
    Este documento presenta varios ejercicios sobre lógica proposicional que involucran negar proposiciones, encontrar equivalencias lógicas, simplificar esquemas lógicos y determinar cuáles proposiciones son tautologías. Los ejercicios abordan conceptos como conjunción, disyunción, implicación y equivalencia lógica.

    Copyright:

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

    Leyes Lógicas

    Cargado por

    Jorge Alexis Silvestre Suazo
    259 vistas3 páginas
    Este documento presenta varios ejercicios sobre lógica proposicional que involucran negar proposiciones, encontrar equivalencias lógicas, simplificar esquemas lógicos y determinar cuáles proposiciones son tautologías. Los ejercicios abordan conceptos como conjunción, disyunción, implicación y equivalencia lógica.

    Título original

    Leyes lógicas

    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 presenta varios ejercicios sobre lógica proposicional que involucran negar proposiciones, encontrar equivalencias lógicas, simplificar esquemas lógicos y determinar cuáles proposiciones son tautologías. Los ejercicios abordan conceptos como conjunción, disyunción, implicación y equivalencia lógica.

    Copyright:

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

    Leyes Lógicas

    Cargado por

    Jorge Alexis Silvestre Suazo
    Este documento presenta varios ejercicios sobre lógica proposicional que involucran negar proposiciones, encontrar equivalencias lógicas, simplificar esquemas lógicos y determinar cuáles proposiciones son tautologías. Los ejercicios abordan conceptos como conjunción, disyunción, implicación y equivalencia lógica.

    Copyright:

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

    TRABAJO PRÁCTICO

    LEYES LÓGICAS
    APELLIDOS Y NOMBRES: MARTINEZ GUTIERREZ MILAGROS VICTORIA

    1. Dado la proposición: “si 3+4 =7 entonces 8 es primo, o 4 no es par”


    a) Negar oracionalmente la proposición:
    si 3+4 =7 o 8 no es primo, y 4 es par.
    b) V → F ∨(∽V )
    F ∨ F=F
    2. Hallar otra forma equivalente de la proposición.
    “Es necesario entrenar debidamente y no cometer infracciones para cumplir buen papel
    deportivo”
    a) Equivalencia: p ∧∼q

    3. Proposición equivalente a:
    [ ( ∽ p∧ q ) → ( r ∧ ∽r ) ] ∧∽ q
    [ ∽ ( ∽ p ∧ q ) ∨ F ] ∧ ∽q
    [ ( p ∨∽q ) ∨ F ] ∧ ∽ q
    [ ( p ∨∽q ) ] ∧∽q
    ∽q
    4. Simplifica el esquema:
    ( ∽ p ∧q ) → ( q → p )
    ∽ ( ∽ p∧ q ) ∨ ( ∽ q ∨ p )
    ( p ∨q ) ∨ (∽ q ∨ p )
    ( p ∨ p ) ∨ ( ∽ q ∨∽ q )
    p ∨∽q
    5. Si definimos “⋕ ”como:
    ( p ⋕ q ) ≅ ( p ∨ q ) ∧∽ ( p∧ q )
    ∽ ( p ∧q ) ∧ ( p ∨q )
    [ ∽ ( p∧ q ) ∧ p ] ∨ [ ∽ ( p ∧q ) ∧ q ]
    ( p ∧∽q ) ⋁(q ⋀ ∽ p)
    ( p ∧∽q ) ⋁(∽ p ⋀ q)
    [ ( p ∧∽q ) ∧∽ p ] ∨ [ ( p ∧∽ q ) ∧ q ]
    ( F ∧∽ q ) ⋁ F
    F∨F ≡F

    6. ¿Cuáles de las siguientes proposiciones son verdaderas?


    a. ∽ [ ∽ ( p ∧ q ) → (∽ q ) ] ≅ ( p→ q )
    ∽ [ ( p∧ q ) ∨ ( ∽ q ) ]
    [ ( ∽ p∨ ∽ q ) ∧ ( q ) ]
    ( ∼ P ∨∼q ) ∧q
    ( ∼ q ∧∼ p ) no son iguales

    b. ∽ [ ( ∽ p ) → q ] ≅ ( p ↔ q )
    ∼ [ ( ∼ p → q ) ∧ q →( ∽ p) ]
    ∼ [ ( ∼∼ p ∨ q ) ∧q ∧ ( ∽ q ∨∼ p ) ]
    [ ( p ∧∼q ) ∧ ( ∼q ∨ ( ∼ p ) ) ]
    [ p ∧ ( ∼q ∧ ( ∼ q ∨ p ) ) ]
    ∼ [ p ∧ ∼q ]
    ∼ p ∨q son diferente

    c. ∽ {( p ∧q ) ∨ [ p ∧ (∽ p ∨ q ) ] } ≅ ( p →∽ q )
    ∼ [ ( p∧ q ) ∨ [ p ∧q ] ]
    [ ( p ∧q ) ∨ p ] ∧ ( ( p ∧q ) ∨ q )
    ∼ ( p ∧q )
    ∼ p ∨∼ q son iguales
    7. Si T es una tautología y p, q son proposiciones, ¿Cuáles de las siguientes afirmaciones son
    verdaderas?
    1. [ ( p ∨T ) ∧(∽ T ) ] ↔ ∽ T
    (V ∧ F )↔ F
    F ↔ F=F
    2. {[ p ∧ ( q ∨ p ) ] ∨ ∽T } ↔ T
    {( P ∧ ( P ∨ q ) ) ∨∼v } ↔ v
    { p ∨∼v } ↔ v
    p↔v
    p

    3. {[ ( p ∧T ) ∨ ( q ∧∽ T ) ] ∧ ( p ∨ q ) } ↔ p
    {[ ( p ∧V ) ∨ ( q ∧ F ) ] ∧ ( p ∨q ) }↔ p
    { [ p ∨ F ] ∧ ( p ∨q ) } ↔ p
    { p ∧ ( p ∨q ) } ↔ p
    p↔ p
    V

    4. {[ ( p ∨q ) ∨ ( ∽ p ∧∽ q ) ] ∧ ( p∨ q ) }↔ T
    {[ q ∨ p∨ ( ∼ p ∧ ∼q ) ] ∧ ( p ∨q ) }↔ T
    {[ p ∨ ( q ∨ ∼ p ) ] ∧ ( p ∨ q ) } ↔T
    { [ V ∨q ] ∧ ( p ∨q ) } ↔ T
    {[ V ∧ ( p ∨q ) ] } ↔T
    ( p ∨q ) ↔ T
    ( p ∨q )

    5. {[ ( p ∨q ∨ ∽T ) ∧∽T ] ∨ [( ∽ p ∧T ) ∨ T ] } ↔ T
    {[ ( p ∨q ∨ F ) ∧ F ] ∨V }↔ T
    { [ p ∨q ] ∧ F ∨ V } ↔ T
    { F ∨V } ↔ T
    v↔T
    V

    También podría gustarte