UNIVERSIDAD NACIONAL JORGE BASADRE GROHMANN

BODAS DE RUBI
CENTRO PREUNIVERSITARIO
CICLO VERANO 2012-III
PRACTICA N 01

11. De la falsedad de la siguiente formula:

{ [ (p q) p]
q}
El valor de: (p q) r es:
a) V
b) F
c) V F
d) r
e) N.A.

LGICA PROPOSICIONAL
1.

Sea el siguiente esquema molecular:

(p
-q)
(-r
p), falso, indicar los valores de
verdad de:
I.
r
(p -s)
II.
(w
-t)
q
III. q [r
(-t -x)]
a) VVV b) VFV

c) FFF

12. Dado el esquema falso:

[(-p q)
t]
[(p -s) r]
los valores de verdad de:
1.
(p
-s)
-p
2.
(-s r)
-t
3.
[(-p -q) (q
-r)]
s
Son respectivamente:
a) VFV
b) VFF c) VVF
d) VVV

d) VVF e) FFF

2. De la falsedad de: (p q)
(-r t).
Luego:
(r
p) (-q t); es:
a) V

b) F

c) V F d) V y F

a) (p
c) q

a) VVV

b) VFV

c) VFF

d) FFV

e) FFF

16. Se define: p # q -p q
Hallar cuantas V y F tiene la matriz principal de:
(p # q) (-p # q)
a) 3V y 1F b) 2V y 2F c) 4V d) 4F e) 1V y 3F
17. La funcin principal de la formula proposicional:
- [(-p q) -p ] es:

6. Si la proposicin:
{ (p
q)
[p (q r)] }
[q (p r)] es falsa.
Indicar los valores de p y r, si se sabe que q es
falsa.
d) FV

T
e) ninguna

a) r es falsa
b) s es verdadera
c) (r s) es falsa
d) (q
r) es verdadera
e) (p -q) es verdadera

b) Slo II c) I y II d) I y III e) todas

c) FF

T)
A

15. Para determinar el valor de verdad de:

(p q)
(r s); es suficiente saber que:

5. Sabiendo que la proposicin r es falsa, En

cules de los siguientes casos es suficiente dicha
informacin para determinar el valor de verdad de
las siguientes proposiciones?
I. (r
q)
r
II. r
[r
(t -s)]
III. (p -q) r

b) VF

-p)
A
b) (A
p
d) (- -p
p)

14. Si: s es verdadera y la proposicin:

[(s
p)
(p
q)] (p r) es falsa.
Indique los valores de verdad de: p, q y r.

4. Si: [(p q)
(p -p)] [(r s) q] es verdadera,
cules son los valores de p, q, r y s
respectivamente:
a) VFFF
b) VFVV
c) FVFF
d) FVVV
e) faltan datos

a) VV

e) FFF

13. Sean A contradiccin o absurdo y T una

tautologa. Sealar la nica contradiccin:

e) faltan datos

3. Si la formula: -[(p
-q) (r -s)];
Es verdadera. Cul de los siguientes son falsas?
1. [p -q]
r
2. (p q) - (r
s)
3. (r
-q)
(p s)
4. (p
s)
(r q)
Son ciertas:
a) 1 y 3 b) 2 y 4
c) 1 y 4 d) 1, 2 y 4 e) N.A.

a) Slo I

LGICA

a) 1111 b) 0000

c) 1000 d) 0111

e) N.A.

18. Si: p = 1; -q = 0; -r = 1.
Qu formulas conjuntivas son verdaderas?
I.
[(p -q) r]
II.
[(p q) -r]
III.
-[(p -q)
r]
IV.
[(-r -q)
q
V.
-(-p -q)
r
Son innegablemente ciertas:
a) II y IV b) I, III y V c) I y V d) III y V e)N.A.

e) N.A.

7. En el siguiente esquema: (p q) (-q x)

Que valor debe tener x para que el esquema sea
verdadero.
a) V
b) F
c) V F d) faltan datos e) N.A.
8. En el siguiente esquema: (p q) -(-q -x)
Qu valor debe tener x para que el esquema sea
verdadero?
a) V b) F c) V F d) faltan datos
e) N.A.

19. Si: (p s) es falsa, hallar el valor de verdad de r y

q respectivamente, si:
[-(s -p)
-p]
{ p [-p (-r q)]},
es Verdadera.
a) FF b) VV c) FF
d) VF e) faltan datos

9. Si el esquema: [p (-p q)]

q; es verdadero,
cuales son los valores de verdad de p y q
respectivamente:
a) VV
b) VF
c) FF
d) FV
e) N.A.

20. Sabiendo que: (r s) es verdadero; hallar el valor

de verdad de:
[(r s) (-p q)] [(r s) (-t
-u)]

10. Dado el esquema: (-p r) - (-p q), falso; luego

los valores de p, q y r son:
a) 100
b) 101 c) 001
d) 000
e) N.A.

a) V

-1-

b) F c) F o V d) faltan datos

e) N.A.

UNIVERSIDAD NACIONAL JORGE BASADRE GROHMANN

BODAS DE RUBI
CENTRO PREUNIVERSITARIO
CICLO VERANO 2012-III
PRACTICA N 01
21. Si el siguiente esquema:
{[(p q) (p t)]
(r q)}

que independientemente tomen cada una de las

variables componentes.
Este mtodo o procedimiento mecnico se denomina
TABLAS DE VERDAD. Donde se representa a cada
variable que representa a una proposicin verdadera
(V) y a cada variable que representa a una
proposicin falsa (F)

-(r -q), es verdadero.

Luego los valores de p, q, r y t son respectivamente:

a) VFFF

b) VFVV

c) FVFF

d) VFVF

22. Dado el esquema falso:[(-p q)

t]
los valores de verdad de:
1.
(p
-s)
-p
2.
(-s r)
-t
3.
[(-p -q) (q
-r)]
s
Son respectivamente:
a) VFV
b) VFF c) VVF d) VVV

e) VVVF

[(p

-s)

r]

TABLAS DE VERDAD DE LAS OPERACIONES

LGICAS:
Es una grfica que sirve para analizar esquemas
moleculares, estos esquemas dependen de los valores
de las proposiciones componentes y la correcta
aplicacin de las reglas veritativas correspondientes
a sus conectores.
La validez de una proposicin se puede demostrar
mediante las siguientes tablas:
Sean: p y q: dos proposiciones

e) FFF

23. Sean las variables: A: falso

B: verdadero
Las implicaciones verdaderas son:
1. C
(A B)
2. (A
-B)
D
3. (-B A)
F
4. (-R B)
(B -T)
5. (-A B)
[-(R S) T]
No son ciertas, excepto:
a) 1, 2, 3 b) 3, 4, 5 c) 1, 3, 5 d) 2 e) 1, 3, 4 y 5

NEGACIN:

-p

V
F

F
V

CONJUNCIN:

24. Sea: p * q definida por la

tabla:

p*q

V
V
F
F

V
F
V
F

V
F
V
F

Entonces no es cierto
que:
a)
(p * q) ( p * q) es verdad
b)
(p * q)
( p * q) es falso
c)
(p * q)
-q es verdadero
d)
(p * q) -q es verdadero
e)
Todas las anteriores

LGICA

V
V
F
F

V
F
V
F

q
V
F
F
F

DISYUNCIN dbil (incluyente)

V
V
F
F

V
F
V
F

DISYUNCIN fuerte (excluyente)

25. Si: T es una tautologa y p, q son proposiciones

cualesquiera. Cules de las siguientes
proposiciones son verdaderas?
1. [(p T) -T]
-T
2. { [p (p q)] - T}
T
3. { [p T] (q -T)) (p q)}
p
4. [(p q) (-p -q)]
T
5. { [(p q T) -T ]} (-p T)
T
Son ciertas:
a) 2, 4 y 5
b) 1, 3 y 5 c) 1, 3 y 4
d) 2, 3 y 4
e) ninguna

IMPLICADOR:

REPLICADOR:

26. El siguiente esquema molecular:

p [p
(p q)], tiene como caracterstica:
1.
no ser tautolgico
2.
no ser contradictorio
3.
su matriz final es: 1011
4.
su matriz final no es: 1101
Son ciertas:
a) Todas
b) slo 1 y 4
c) slo 1 y 3
d) slo 2 y 3 e) slo 2 y 4

V
V
F
F

V
F
V
F

V
V
F
F

V
F
V
F

BICONDICIONAL:

LA LGICA PROPOSICIONAL:
Tambin llamada simblica o matemtica, es aquella
parte de la lgica que estudia las proposiciones y
smbolos utilizados en la formacin de nuevas
proposiciones que podrn ser verdaderas o falsas,
sealadas por reglas formales.
El clculo proposicional estudia la estructura de las
proposiciones e inferencias; para ello dispone de un
procedimiento que permite hallar la verdad o
falsedad de una funcin, dependiendo de los valores

V
V
F
F

V
F
V
F

q
F
V
V
F

q
V
F
V
V

pq
V
V
F
V

V
V
F
F

V
F
V
F

q
V
F
F
V

NEGACION DE LA DISYUNCIN
(dbil) no p y no q

NEGACION DE LA CONJUNCION
no p o no q

-2-

q
V
V
V
F

V
V
F
F

V
F
V
F

q
F
F
F
V

pq

V
V
F
F

V
F
V
F

F
V
V
V