BODAS DE RUBI
CENTRO PREUNIVERSITARIO
CICLO VERANO 2012-III
PRACTICA N 01
LGICA PROPOSICIONAL
1.
c) FFF
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
c) FF
T)
A
b) VF
-p)
A
b) (A
p
d) (- -p
p)
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
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.
a) V
-1-
b) F c) F o V d) faltan datos
e) N.A.
a) VFFF
b) VFVV
c) FVFF
d) VFVF
e) VVVF
[(p
-s)
r]
e) FFF
NEGACIN:
-p
V
F
F
V
CONJUNCIN:
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
V
V
F
F
V
F
V
F
IMPLICADOR:
REPLICADOR:
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