Scribd
Cargar
88 vistas5 páginas

Actividad 3 Simplificar Proposiciones

El documento presenta una serie de ejercicios de razonamiento lógico matemático, donde se deben simplificar proposiciones y encontrar sus valores de verdad utilizando tablas de verdad y leyes de álgebra proposicional. Se incluyen ejemplos específicos con proposiciones lógicas y sus respectivas evaluaciones. Además, se abordan diferentes operadores lógicos y su relación en el contexto de las proposiciones dadas.

Cargado por

lalb.hn.amoxtli
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
88 vistas5 páginas

Actividad 3 Simplificar Proposiciones

El documento presenta una serie de ejercicios de razonamiento lógico matemático, donde se deben simplificar proposiciones y encontrar sus valores de verdad utilizando tablas de verdad y leyes de álgebra proposicional. Se incluyen ejemplos específicos con proposiciones lógicas y sus respectivas evaluaciones. Además, se abordan diferentes operadores lógicos y su relación en el contexto de las proposiciones dadas.

Cargado por

lalb.hn.amoxtli
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

ALUMNO: LUIS ALBERTO HERNÁNDEZ NÚÑEZ.

MATRICULA: 205242.

GRUPO: CS45.

MATERIA: RAZONAMIENTO LÓGICO MATEMÁTICO.

DOCENTE ASESOR: JOSE NATALIO GUERRERO COXCA

ACTIVIDAD 3. EJERCICIOS: SIMPLIFICAR PROPOSICIONES


De las siguientes proposiciones encontrar sus valores de verdad utilizando las tablas de
verdad:
A. [(𝑝 ∨ 𝑞) ∨ 𝑟] ⟷ [𝑝 ∨ (𝑞 ∨ 𝑟)]

p q r p∨q p∨q)∨r q∨r p∨(q∨r) [(p∨q)∨r]⟷ [p∨(q∨r)]


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

B. [(𝑝 ∧ 𝑞) ∨ ¬𝑟] ⟷ 𝑝

p q r p∧q ¬r (p∧q)∨¬r [(p∧q)∨¬r]⟷ p


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

C. (𝑝 ⟶ 𝑞) ⟶ [𝑝 ⟶ (𝑝 ∧ 𝑞)]

p q (p⟶q) p∧q p⟶(p∧q) (p⟶q)⟶[p⟶(p∧q)]


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

D. (𝑝 ∧ ¬𝑝) ⟶ 𝑝

p ¬p (p∧¬p) (p∧¬p)⟶p
V V V V
F F F V
E. 𝑞 ⟷ (¬𝑝 ∧ ¬𝑞) ⩡ (𝑝 ∧ ¬𝑝) ⟶ 𝑝

p q ¬p ¬q (¬p∧¬q) q↔(¬p∧¬q) q⟷(¬p∧¬q)⩡(p∧¬p) ⟶p


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

2. De las siguientes proposiciones encontrar sus valores de verdad, utilizando las leyes de
algebra proposicional.

A. [𝑝 ⟶ (𝑝 ∧ 𝑞)] ∧ [¬𝑝 ⟶ (𝑝 ∧ 𝑞)]

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

(¬𝑝 ∨ 𝑝) ∧ (¬𝑝 ∨ 𝑞)
𝑝 ∨ (𝑝 ∧ 𝑞) = 𝑝
(¬𝑝 ∨ 𝑞) ∧ 𝑝 = 𝑝 ∧ 𝑞

b) (p ^ q)

B. [(𝑞 ⟶ 𝑟) ∧ (¬𝑟 ⟶ 𝑞)] ⟶ ¬(𝑟 ∨ ¬𝑞)


¬𝑞 ∨ 𝑟
𝑟∨𝑞
[(¬𝑞 ∨ 𝑟) ∧ (𝑟 ∨ 𝑞)] ⟶ ¬(𝑟 ∨ ¬𝑞)

(¬𝑞 ∨ 𝑟) ∧ (𝑟 ∨ 𝑞) = 𝑟
𝒓 ⟶ ¬(𝑟 ∨ ¬𝑞)
𝒓 ⟶ ¬(𝑟 ∨ 𝑞) = ¬𝑟
a) ¬r

C. (𝑟 ⟶ 𝑝) ⟶ [(𝑝 ∨ 𝑟) ⟶ (𝑟⋀¬𝑝)]
𝑟 → 𝑝 = ¬𝑟 ∨ 𝑝
(𝑝 ∨ 𝑟) → (𝑟 ∧ ¬𝑝) = ¬(𝑝 ∨ 𝑟) ∨ (𝑟 ∧ ¬𝑝)
(¬𝑟 ∨ 𝑝) → [¬(𝑝 ∨ 𝑟) ∨ (𝑟 ∧ ¬𝑝)]
¬(¬𝑟 ∨ 𝑝) ∨ [¬(𝑝 ∨ 𝑟) ∨ (𝑟 ∧ ¬𝑝)]
(𝑟 ∧ ¬𝑝) ∨ [¬(𝑝 ∨ 𝑟) ∨ (𝑟 ∧ ¬𝑝)]
(𝑟 ∧ ¬𝑝) ∨ [(¬𝑝 ∧ ¬𝑟) ∨ (𝑟 ∧ ¬𝑝)]
(𝑟 ∧ ¬𝑝) ∨ [(¬𝑝 ∧ ¬𝑟) ∨ (𝑟 ∧ ¬𝑝)]
(𝑟 ∧ ¬𝑝) ∨ (¬𝑝 ∧ ¬𝑟)
¬𝑝 ∧ (𝑟 ∨ ¬𝑟) = ¬𝑝
c) ¬p

D. (𝑟 → 𝑞) ∧ (𝑟 ↔ 𝑞)
E. [(𝑝 ∨ (𝑝 ∧ 𝑠)] ⟶ [(𝑝 ⟶ 𝑠) ∧ ¬𝑠]
𝑝 → [(𝑝 → 𝑠) ∧ ¬𝑠]
¬𝑝 ∨ [(𝑝 → 𝑠) ∧ ¬𝑠]
¬𝑝 ∨ [(¬𝑝 ∨ 𝑠) ∧ ¬𝑠]
¬𝑝 ∨ [(¬𝑝 ∧ ¬𝑠) ∨ (𝑠 ∧ ¬𝑠)]
¬𝑝 ∨ (¬𝑝 ∧ ¬𝑠)
¬𝑝 ∨ (¬𝑝 ∧ ¬𝑠) = ¬𝒑
a) ¬p

F. [(𝑠 ↔ 𝑞) ⟶ 𝑠] ∨ (𝑠 ∨ 𝑞)
𝑠 ↔ 𝑞 = (𝑠 → 𝑞) ∧ (𝑞 → 𝑠) = (¬𝑠 ∨ 𝑞) ∧ (¬𝑞 ∨ 𝑠)
𝑎 → 𝑏 = ¬𝑎 ∨ 𝑏
¬[(¬𝑠 ∨ 𝑞) ∧ (¬𝑞 ∨ 𝑠)] ∨ 𝑠
¬(¬𝑠 ∨ 𝑞) ≡ 𝑠 ∧ ¬𝑞
¬(¬𝑞 ∨ 𝑠) ≡ 𝑞 ∧ ¬𝑠
(𝑠 ∧ ¬𝑞) ∨ (𝑞 ∧ ¬𝑠) ∨ 𝑠
[(𝑠 ∧ ¬𝑞) ∨ (𝑞 ∧ ¬𝑠) ∨ 𝑠] ∨ (𝑠 ∨ 𝑞)
(𝑠 ∨ 𝑞)
c) (s ν q)
G. ¬[𝑡⋀¬(𝑡⋀¬𝑞)] → ¬(𝑞⋁¬𝑡)
¬𝑡 ∨ ¬(¬𝑞)
¬[𝑡 ∧ (¬𝑡 ∨ 𝑞)] → ¬(𝑞 ∨ ¬𝑡)
(𝑡 ∧ ¬𝑡) ∨ (𝑡 ∧ 𝑞)
¬(𝑡 ∧ 𝑞) → ¬(𝑞 ∨ ¬𝑡)
(¬𝑡 ∨ ¬𝑞) → ¬(𝑞 ∨ ¬𝑡)
¬(¬𝑡 ∨ ¬𝑞) ∨ ¬(𝑞 ∨ ¬𝑡)
(𝑡 ∧ 𝑞) ∨ ¬(𝑞 ∨ ¬𝑡)
(𝑡 ∧ 𝑞) ∨ (¬𝑞 ∧ 𝑡)
𝑡 ∧ (𝑞 ∨ ¬𝑞)
b) t

También podría gustarte