Scribd
Cargar
85 vistas3 páginas

LÓGICA

Este documento presenta una serie de problemas de lógica matemática para ser resueltos utilizando leyes lógicas y reglas de inferencia. Los problemas incluyen simplificar proposiciones lógicas, derivar conclusiones a partir de premisas dado y demostrar la validez de razonamientos. El documento está dirigido a estudiantes de álgebra en la Escuela Militar de Ingeniería "Mcal. Antonio José de Sucre".

Cargado por

jhon limachi
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
85 vistas3 páginas

LÓGICA

Este documento presenta una serie de problemas de lógica matemática para ser resueltos utilizando leyes lógicas y reglas de inferencia. Los problemas incluyen simplificar proposiciones lógicas, derivar conclusiones a partir de premisas dado y demostrar la validez de razonamientos. El documento está dirigido a estudiantes de álgebra en la Escuela Militar de Ingeniería "Mcal. Antonio José de Sucre".

Cargado por

jhon limachi
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

Escuela Militar de Ingeniería

“Mcal. Antonio José de Sucre”


Unidad Académica La Paz

DEPARTAMENTO: CIENCIAS BÁSICAS


ASIGNATURA: ÁLGEBRA
UNIDAD DIDÁCTICA: LÓGICA
DOCENTES: Ing. Rosario Auza Terrazas
Ing. Jaime Flores Mujica
Ing. Lino Aramayo García
Lic. Fernando Estrada Navia
COORDINACIÓN: Ing. Felix Vega Benavides

En los siguientes problemas, utilice las leyes lógicas para simplificar la proposición dada.

1. [∼ (p ∧∼ q) → (∼ p ∧∼ q)] ∨ (∼ p ∧ q)

2. (p ∧ q) ∨ (q ∧ r) ∨ (p ∧∼ q ∧ r) ∨ (q ∧∼ r) ∨ (p ∧∼ q ∧∼ r)

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

4. [(~𝑞 → 𝑟) ∧ ~(𝑞 ∧ ~𝑟)] → [(𝑟 → 𝑝) ∧ (𝑝 → ~𝑟)]

5. [(𝑞 ⟶ 𝑝) ∧ (∼ 𝑝 ⟶ 𝑞)] ⟶∼ (𝑝 ∨∼ 𝑞)

6. [(𝑝 ⟶ 𝑟) ⟷ (𝑝 ∧ 𝑟)] ∧ [(𝑝 ⟶∼ 𝑞) ⟶ 𝑞]

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

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

9. {(𝑝 ∨ 𝑞) ∩ [(𝑞 ∧ ~𝑝) ∨ (𝑝 ∧ 𝑞)]} ∧ [𝑝 ∨ ~(𝑝 ∨ 𝑞)]

10. {[(𝑝 ∨ 𝑞) ∧ ~(𝑟 ∧ ~𝑝)] ∧ [(𝑝 ∧ 𝑞) ∧ ~(𝑝 ∧ ~𝑟)]} ∨ ~(𝑞 ∧ ~𝑟)

En los siguientes problemas, se pide utilizar las reglas de inferencia para obtener alguna
conclusión, a partir de las premisas dadas
1. ∼p→q
1. 2. q →∼ r
3. r∨s
∴ ¿?
1. (𝑝 ∨ 𝑞) → 𝑟
2. 2. r → (s ∨ t)
3. t→u
∴ ¿?

1
1. 𝑣 → ~𝑢
3. 2. 𝑝 ∧∼ 𝑞
3. (~𝑣 ∨ 𝑚) → (𝑟 ∧ 𝑡)
4. 𝑞∨𝑤
5. 𝑝 → (𝑢 ∨ ~ 𝑤)
∴ ¿?
4. 1. 𝑟→𝑞
2. ~𝑠 → (𝑡 ∧ 𝑢)
3. 𝑝 ∧ ~𝑞
4. (𝑝 ∧ 𝑡) → 𝑣
5. 𝑟 ∨ ~𝑠
∴ ¿?
5. 1. ~𝑠 ⟶∼ 𝑟
2. ~(𝑝 ⟶ 𝑠)
3. 𝑝 ⟶ (∼ 𝑞 ⟶ 𝑟)
∴ ¿?
6. 1. 𝑝 ⟶𝑠
2. (𝑠 ∧ 𝑟) ⟶ ~𝑡
3. 𝑞 ⟶𝑟
4. 𝑝∧𝑞
∴ ¿?
7. Si un triángulo tiene tres ángulos, entonces un cuadrado tiene cuatro ángulos rectos. Un
triángulo tiene tres ángulos y su suma vale dos ángulos rectos. Si los rombos tienen cuatro
ángulos rectos, entonces los cuadrados no tienen cuatro ángulos rectos.
8. Si la enmienda no fue aprobada, entonces la constitución queda como estaba. Si la
constitución queda como estaba, entonces no se puede añadir nuevos miembros al comité.
Se puede añadir nuevos miembros al comité o el informe se retrasará un mes. Pero, el
informe no se retrasará un mes.
9. 1. (𝑝 → 𝑞) → 𝑟
2. (𝑟 ∨ 𝑠) → 𝑞
3. 𝑝→𝑡
4. 𝑞↔𝑡
∴ ¿?
10. 1. (𝑝 ∨ 𝑞) → 𝑟
2. 𝑟↔𝑠
3. (~𝑡 ∨ 𝑟) → 𝑝
4. 𝑡→𝑠
∴ ¿?
En los siguientes problemas, se pide utilizar las reglas de inferencia para demostrar la validez
del razonamiento. a partir de las premisas dadas.

1. 1. p → ~c
2. a ∧ ~b
3. (~p ∨ q) → (r ∧ t)
4. b∨d
5. a → (c ∨ ~d)
∴ r∨s

2
2. 1. c→b
2. ~d → (e ∧ f)
3. a ∧ ~b
4. (a ∧ e) → g
5. c ∨ ~d
∴ g∧f
3.
1. (𝑝 ∧∼ 𝑞) ∨ (p ∧ r)
2. ∼ 𝑞 →∼ 𝑝
∴ 𝑟
4. 1. 𝑝 ∧ 𝑟
2. 𝑝 → 𝑠
3. 𝑟 → 𝑡
∴ 𝑠∧𝑡

5. 1. 𝐶⟶𝐵
2. ∼ 𝐷 ⟶ (𝐸 ∧ 𝐹)
3. 𝐴 ∧∼ 𝐵
4. (𝐴 ∧ 𝐸) ⟶ 𝐺
5. 𝐶 ∨∼ 𝐷
∴ 𝐺 ⋀ 𝐹
6. 1. 𝑥 > 𝑦 ∨𝑦 = 3
2. 𝑥>4 ⟶𝑦≯1
3. 𝑥>𝑦 ⟶𝑥>4
4. 𝑥=𝑦 ⟶𝑦≯1
5. 𝑥 >𝑦 ∨𝑥 =𝑦
6. 𝑦=3 ⟶𝑦>1
∴ 𝑥>4
7.
1. 3𝑥 + 2𝑦 = 18 ∧ 𝑥 + 4y = 16
2. 𝑥 = 2 → 3𝑥 + 2𝑦 ≠ 18
3. 𝑥 =2∨ 𝑦=3
4. 𝑥≠4 →𝑦≠3
∴ x = 4
8. 1. (𝑝 ∧ 𝑞) → 𝑟
2. (𝑞 → 𝑟) → 𝑠
3. 𝑝
∴ 𝑠

9. 1. ∀𝑥: 𝑥 + 2 > 4 ∨ 𝑥 + 1 < 7


2. ∀𝑥: 5 + 𝑥 < 4 + 3 → 5 + 𝑥 ≯ 4
3. 5+1≮ 7
∴ 5+2 ≮4+3

10. 1. ∀𝑥: (𝑥 < 4 ∧ 4 < 5) → 𝑥 < 5


2. ∀𝑥: − 4 < −𝑥 ↔ 𝑥 < 4
3. 4<5
4. −4 < −3
∴ 3<5

También podría gustarte