Scribd
Cargar
263 vistas3 páginas

Ejercicios de Lógica Proposicional

Este documento presenta 34 problemas lógicos y de álgebra de proposiciones para un examen parcial. Los problemas cubren el uso de tablas de verdad para determinar si una proposición es una tautología, falacia o contingencia; evaluar valores de verdad dados valores de variables; simplificar expresiones lógicas usando el álgebra de proposiciones; y demostrar conclusiones usando reglas de inferencia.

Cargado por

Name Estelo
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
263 vistas3 páginas

Ejercicios de Lógica Proposicional

Este documento presenta 34 problemas lógicos y de álgebra de proposiciones para un examen parcial. Los problemas cubren el uso de tablas de verdad para determinar si una proposición es una tautología, falacia o contingencia; evaluar valores de verdad dados valores de variables; simplificar expresiones lógicas usando el álgebra de proposiciones; y demostrar conclusiones usando reglas de inferencia.

Cargado por

Name Estelo
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

PRIMER PARCIAL CAPITULOS LOGICA MATEMATICA

A.Usando tablas de verdad, determinar si la proposicion dada es una tautologia,


falacia o contingencia.
1) (p ⇒ q) ∨ [r ∧ (q ∨∼ p))]

2) [(∼ p ∧ q) ⇒∼ r] ⇔ [r ∧∼ (p ∨∼ q)]

3) [(∼ p ∨ q) ∧ (q ⇒ r)] ⇒∼ (p ∧∼ r)

4) [ (∼ p ∨∼ q) ∧ (p ⇒ ~q)] ∨ ~(~p ⟺ q) Sol. Tautologia

5)[(p ∧ ~q) ∧ (~p ⟷ r)] → (p ∨ ~q) Sol. Tautologia

6) {(p ∧ q) ∨ [p ∧ (∼ p ∨ q)]} ∨∼ (p ⇒∼ q)

7) (∼ p ∨∼ r) ⟺ [(p ∧ q) ⇒∼ r]

8) Si p es 𝕍, q es 𝔽 , s es V y ∼ r es𝕍 , determinar el valor de verdad


de las proposiciones dadas.
a) [(p ∧ q) ⇒ (∼ p ∧ r)] ⇔ (∼ r ∨ p)

b) {[p ∨ (r ⇔ q)] ∧∼ [(∼ p ⇒ r) ∨ p]} ∧∼ q

c) [(p ∨ q) ∨ r] ∧ s

d) r ⟹ (s ∧ p)

e) (p ∨ r) ⟺ (r ∨ s)

9) Si la proposicion 𝒫 ≡∼ (r ∨ p) ⇒ [q ∨ (∼ p ∧ r)] es falsa

determinar los valores de verdad de p, q y r.

10) Si (p ∧ q) es V , (p ⇒ r) es F , ∼ t es V , luego concluya


el valor de verdad final de las formulas proposicionales dadas
a) (p ⇒ q) ∧ ( ∼ q ∨ ∼ p) Sol. F
b) [( p ∧ ~q) ⇒ ∼ r ] ⇔ ( ∼ p ∨ q) Sol. V
B. Usando el algebra de proposiciones simplificar

11) [(p ∧ q) ⟶∼ p] ⟶ (q ∧∼ p) Sol . q

12) (p ∧ ~r) ∨ [~q ⟹ ~(p ∧ r)] Sol. (r ∧ p) ⟹ q

13) 𝒫 ≡∼ (p ∨ q) ∨ (∼ p ∧ q) Sol. ∼ p

14) 𝒫 ≡ [p ∧ (p ∨ q)] ∨ (∼ p ∧ q) Sol. p ∨ q

15) 𝒫 ≡ {[p ∨ (∼ p ∧ q) ∧ p} ∨ (∼ p ∨ q) Sol. 𝕍

16) 𝒫 ≡ {[(∼ p ⇒ q) ∧∼ q] ⇒ p} ∧ q Sol. q


17) 𝒫 ≡ [(∼ p ∨ q) ∧ (∼ q ⇒ p)] ⇒ (p ∧∼ q) Sol. ∼ q

18) 𝒫 ≡ [(∼ p ∧ q) ∨ (p ∧∼ q)] ∨∼ (∼ p ∧ q) Sol. ∼ p ∨∼ q

19) 𝒫 ≡ [(r ⇒ p) ⇒ (p ∧ r)] ⇒ [(r ∨ q) ⇒ (∼ r ∧ q)] Sol. ∼ r

C. En los circuitos dados, obtener un circuito mas simple:

20)

21)

22)

D Usando las reglas de inferencia demuestra la conclusión C en cada caso:

23) 1) p ⇒ q 24) 1) p ⇒∼ q 25) 1) ∼p⇒q


2) p 2) s ⇒ (t ∨ u) 2) ∼ r ⇒∼ q
3) q ⇒ r 3) ∼ t ∧∼ u 3) ∼ (p ∧∼ t)
4) (p ∧ r) ∨ s 4) ∼r
C: r C:∼ q C: t

26) 1) p ∨ q 27) 1) ∼ q 28) 1) p ∧ q


2) ∼ t 2) s ⇒ t 2) ∼ q ∨ r
3) q ⇒ t 3) p ∨ q 3) r ⇒ t
4) ∼ t ∨∼ p
C: p C: ∼ s C: t

29) 1) p ⇒ (∼ t ∧ q) 30) 1) a ≠ 0 ⇒ b = 1)
2) r ⇒ (t ∧ p) 2) a=b⇒b=c
3) u⇔r 3) b=c⇒b≠1
4) p∨u 4) a =b∧a< c
5) ∼q
C: a = 0
C: t ∨ s

31) 1) x =y∨x<y 32) 1) p ⇒ r


2) (x < 3 ∧ y = x + 1) ⇒ y ≠ 8 1) p ∧ ~q
3) x = 3∨y = 8 2) s ⇒ q
4) x ≠y∧y=x+1 3) ~s ⇒ t
5) x≮3⇒x≮y
C: x = 3 C: t ∧ r

33) 34)
1)~q ∨ r 1) v ⇒∼ p
2) p ⇒ q 2) p ∧∼ t
3) (p ⇒ r) ⇒∼ s 3) s ⇒ t
4) s ∨ t 4) q ⇒ u
5) s ∨ (q ∧ r)

C: t C: u ∧∼ v

También podría gustarte