Вы находитесь на странице: 1из 3

PRACTICA DE LGICA PROPOSICIONAL

01. Seale la secuencia correcta, al detectar la


proposicin si es verdadera (V) o falsa (F)
p: 5 < 8
{6 < 1
(1 2)}
q: 2 < 3 {(4 > 5
(2 3)) (2 < 3)}
r: (a b) ( a b)
A) VVV
B) VFV
C) FVV
D) FFV
E) FVF

es falsa, entonces determine el valor de verdad


de las siguientes proposiciones:
I. ( p q) r
II.
(q (u p))
III. [(r p)
(r s)] t
A) VVV
B) FFV
C) VFV
D) FVF
E) VFF

02. Determine el valor de verdad de cada uno


de los siguientes enunciados:
I. 2 4 es una proposicin simple.
II. 2x + 4 = 5 es una proposicin simple.
III. 2x + 4 5 es una proposicin compuesta.
IV. 2 + 4 5 es una proposicin compuesta.
A) FFVV
B) FFFV
C) VFVV
D) VFVF
E) FFFF

07. Si ( (q
p))
(s
r) es falsa,
determine el valor veritativo de las
proposiciones adjuntas; siendo w y t
proposiciones lgicas.
I. ( r
p) t
II. q (t w)
III. (p
r)
(q
s)
A) VVF
B) VFV
C) VFF
D) VVV
E) FVV

03. Si
p
(t
u) es F,
p
q es V,
determine el valor de verdad de
M = [q (t
q)] [p
{(t u)
t}]
A) p
B) q
C) V
D) F
E) p q

08. Seale la secuencia correcta, al determinar


si la proposicin es verdadera (V) o falsa (F), si
(p q) p es verdadera:
I. p ( q p)
II. p [( p q) (p q)]
III. (p
q) (p
q)
A) VFF
B) FVF
C) FFV
D) FFF
E) FVV
09. Si
( (p
q))
(r
p) es una
proposicin compuesta falsa determine cual(es)
de las siguientes proposiciones son verdaderas:
I. ( p m) (x
y)
II. (p
r) (s q)
III. (x
y) (p r
q)
A) I, II y III
B) solo I y III
C) solo II y III
D) solo I
E) solo II

04. El valor de verdad asociado a cada una de


las proposiciones representadas por : p
q;
(p r); m
r es verdadero. Determine el
valor de verdad que le corresponde a las
proposiciones representadas por
I. (p q) (r s)
II. (p r)
(n m)
III. p (r s)
A) VVV
B) VFF
C) FVV
D) FFV
E) VFV

05. Si la proposicin :
[ (p
q)
q]
[(p
q)
r] es falsa.
Determinar el valor de verdad de las siguientes
proposiciones:
I. [ (p q) q] [(p
q) r ]
II. (p q) (r
q)
III. [( p r)
q] r
A) VFF
B) VVV
C) FFF
D) FFV
E) VFV

10. Clasifique las siguientes proposiciones


I. (p q)
(q
p)
II. [p (p t)] ( t p)
III. (p q) q
Como tautologa (T), contradiccin (F) o
contingencia (C).
A) TFC
B) FTC
C) TCF
D) CFT
E) CCT

06. Si el valor de verdad de las proposicin


compuesta:

{ [(p

r)

q]

[(p

q) s]}

{ (s

p)

t}

11. En relacin a la proposicin compuesta:


S : [p (q r)] [p ( q
r)]
Indicar cules de los siguientes enunciados son
correctos:
I. S es una contradiccin.
II. S es una contingencia
III. S es una tautologa
A) solo I
B) solo II
C) solo III
D) solo I y II
E) solo II y III

17. Simplificar la proposicin:


{[( p
q) (p ( p q))]
A) p
D) p

r)] representa
C) r
( s
C)

t)
s

p]
C) q

22. Si definimos # como


p # q (p q)
(p q).
Determine una expresin equivalente de p # q.
A) p
q
B) p
C) p
q
D) p q
E) (p
q)
23. Si se conoce y adems [(p

r]; es

(q

21. Si se define:
p q= p
q, simplifique
M = [(p q) q] [(p p)
A) p
B) p q
D) p
E) p q

14. Determine una expresin equivalente de:


[(p
q)
r] [(p
q)
r]
A) p
B) q
C) p q
D) p
q
E) p
q

q) ] }
q
C)
q

C)

20. Simplifique:
{ [ (q p) ]
[ (p
q)] }
q
A) q
p B) p q
C) q p
D) q
p
E) p q

A) solo I y II
B) solo II y IV C) solo I, II y IV
D) solo III, IV y V E) solo I, II y V

16. Simplificar
{ [ (p q) ( p
A) p q
B) p
D) p q
E) p

q
p

19. Si se cumple:
( p q) (p r)
(s t)
Simplificar la proposicin
[(p r) (s t)]
(q t)
A) s t
B) t
D) t
E) s

13. cules de las siguientes proposiciones son


tautolgicas?
I. (p q)
( q p)
II. ((p q) (p q)) p
III. (p q)
( p q)
IV. (p q) ( p q)
V. ((p q) p) p

[p

B) p
E) q

18. La frmula lgica


M = [(p q)
r]
[p
una
A) T
B) C
D) q
E) p

12. De las siguientes proposiciones


I. p (p q)
II. (p q) p
III. (p q)
( q
p)
IV. (p ( p q))
p
Son tautolgicas
A) solo I, II y III
B) solo II, III y IV
C) solo III y IV
D) solo I y IV
E) I, II, III y IV

15. La siguiente proposicin:


[( p
q)
(p
q)]
equivalente a:
A) [p q]
[p r]
B) (p q)
(p r)
C) (p q) (p r)
D) (p q) r
E) (p q) (p r)

(p q)}

q) r]

p
q
p q
V
V
V
V
F
V
F
V
F
F
F
V
y los siguientes enunciados
I) p r II) s
r
III) p
Cules son verdaderos?
A) solo I
B) solo I y II
C) I, II y III
D) solo II
E) solo III

s es F.

1.