Docsity
Docsity

Prepara tus exámenes
Prepara tus exámenes

Prepara tus exámenes y mejora tus resultados gracias a la gran cantidad de recursos disponibles en Docsity


Consigue puntos base para descargar
Consigue puntos base para descargar

Gana puntos ayudando a otros estudiantes o consíguelos activando un Plan Premium


Orientación Universidad
Orientación Universidad

Leyes del algebra proposicional, Diapositivas de Lógica Matemática

Lógica matemática, año 2024, docentes de la escuela

Tipo: Diapositivas

2023/2024

Subido el 26/09/2024

oscar-perez-nzr
oscar-perez-nzr 🇵🇪

1 documento

1 / 2

Toggle sidebar

Esta página no es visible en la vista previa

¡No te pierdas las partes importantes!

bg1
ESCUELA DE OFICIALES
DE LA POLICÍA NACIONAL PERÚ
HONOR, DISCIPLINA Y LEALTAD
LEYES DEL ÀLGEBRA PROPOSICIONAL
pf2

Vista previa parcial del texto

¡Descarga Leyes del algebra proposicional y más Diapositivas en PDF de Lógica Matemática solo en Docsity!

ESCUELA DE OFICIALES

DE LA POLICÍA NACIONAL PERÚ

HONOR, DISCIPLINA Y LEALTAD

LEYES DEL ÀLGEBRA PROPOSICIONAL

ESCUELA DE OFICIALES

DE LA POLICÍA NACIONAL PERÚ

HONOR, DISCIPLINA Y LEALTAD

EJERCICIOS SOBRE LAS LEYES DEL

ÀLGEBRA PROPOSICIONAL

  1. Simplificar la expresión:

[𝑝 ⟶ ~(𝑞 ⟶ 𝑝)] ⟶ ~𝑞

  1. Al simplificar la proposición:

[~𝑝 ⟶ (𝑞 ∧ ~𝑝)] ⟶ (~𝑟 ∨ ~𝑝)

  1. Simplifique el esquema:

[(~𝑝 ∧ 𝑞) ⟶ (𝑞 ⟶ 𝑝)] ∧ 𝑝

  1. Simplificar:

a) ~(~𝑝 ∨ ~𝑞)

b) ~(𝑝 ∨ 𝑞) ∨ (~𝑝 ∧ ~𝑞)

5. Simplificar:

[~(p  q)  (~p  q)] → (~p  q)

6. Simplificar: (𝑝 ∧ 𝑝) ⟶ 𝑝

7. Simplificar: (𝑝 ∨ 𝑝) ⟶ 𝑝

8. Simplificar: [(𝑝 ∨ 𝑞) ∧ (𝑞 ∨ ~𝑝)] ⟶ 𝑞

9. Simplificar: [

] ⟶ 𝑞

10. Simplificar:

[(

]

11. Simplificar: [(𝑝 ∨ 𝑞) ∧ 𝑝] ⟶ 𝑝

12. Simplificar: [

∨ ~𝑝] ⟶ ~𝑝

  1. Utilizando las leyes del algebra

proposicional demuestra que es un

esquema tautológico:

[(𝑝 ⟶ 𝑞) ∧ 𝑝] → 𝑞

  1. Simplificar: ~[~(~𝑝 ∨ 𝑞) → 𝑝] ∨ 𝑞
  2. Simplificar: (~𝑝 ∧ 𝑞) → (𝑞 → 𝑝)
  3. Simplificar: ~
  1. Demostrar que la siguiente proposición es

una tautología: [

] ∧ ~𝑝

  1. Utilizando las leyes del algebra de

proposiciones, determina el equivalente

mas simple de la siguiente proposición:

(𝑝 ∨ 𝑞) ∨ [(~𝑝 ∧ ~𝑞) ∨ 𝑝]

  1. Se define:

Simplifica:

~[

  1. Determina el equivalente de la siguiente

proposición:

21. Simplificar: [(𝑝 → ~𝑞) → ~𝑝] ⟶ 𝑞

  1. Simplificar:

[~(𝑝 ∨ 𝑞) ∨ (~𝑝 ∧ 𝑞)] → (~𝑝 ∧ 𝑞)

  1. Simplificar:

~[(𝑞 ⟶ 𝑝) ∧ (𝑝 ⟶ 𝑞)] ∨ [(~𝑝 ∧ 𝑞) ∨

  1. Simplificar:

~[𝑞 → (𝑝 → ~𝑞)] → [(~𝑝 → 𝑞) ↔ ~𝑝]