Documentos de Académico
Documentos de Profesional
Documentos de Cultura
003 Guia de Practica
003 Guia de Practica
1
LÓGICA PROPOSICIONAL FIDEL VERA OBESO
2 1
(2) 2-1 = ½ no obstante 1
1/ 2
(3) x2 + y2 = 1; es la ecuación de una circunferencia
(4) 4 + 3 -3 -4
Son proposiciones compuestas:
a) 2, 3 y 4 b) 2, 3 y 5 c) 1,2 y 3 d) 1,2, 3 y 5
e) 1, 3 y 5
(03) 1 i i 2 1
(04) El aire contiene oxígeno e hidrógeno
(05) The earth rotates around the sun
No son proposiciones compuestas:
a) 1, 2, 3 y 5 b) 1, 2 y 3 c) 1 y 5 d) Sólo 1 e) 1 y 2
2
LÓGICA PROPOSICIONAL FIDEL VERA OBESO
B.
7 La fórmula q p se traduce como:
1) Hago deporte porque estoy sano.
2) Es necesario llorar para estar tranquilo.
3) Hago mis tareas al tener vacaciones.
4) Sólo si bailo, me divierto.
Son correctas:
a) 1, 2 y 3 b) 2, 3 y 4 c) 3, 4 y 5 d) T.A. e) N.A.
3
LÓGICA PROPOSICIONAL FIDEL VERA OBESO
C. 10. Si la proposición:
(p q) (p r) es falsa,
Se afirma que:
I. p q es falsa
II. r q es verdadera
III. q p es verdadera
Son ciertas:
a) Sólo I b) sólo II c) Sólo I y III
d) Sólo II y III
11. Si la proposición:
(p q) (q r) es falsa, luego:
I. (p q ) no es falsa
II. (q s) no es falsa
III. (q p) es verdad
Son ciertas:
a) Sólo I b) Sólo II c) Sólo I y III
d) Sólo II y III e) I, II y III
12. Si la proposición:
p q) r (r s) es verdadera
Hallar el valor de verdad de:
I. p q) (r s)
II. p s) r w p)
III. q r w p sq)
Son ciertas:
a) VVV b) FVV c) FFV d) FFF e) VFV
4
LÓGICA PROPOSICIONAL FIDEL VERA OBESO
1. p q p p q p q
2. p q q p p q p q
4. p q) r q r p p
5. (p q) (q p) q (p r)
1. P = p r q)
Q = ( p q) r
R = q (p r)
5
LÓGICA PROPOSICIONAL FIDEL VERA OBESO
del país.
Determinar:
1) Si P implica a Q
2) Si R es implicado por Q
3) Si Q implica a R
4) Si R implica a la disyunción de P y Q
de Q.
6
LÓGICA PROPOSICIONAL FIDEL VERA OBESO
a) r b) p r c) T d) C e) (p q) r
a) T b) C c) p d) p q e) p q
7
LÓGICA PROPOSICIONAL FIDEL VERA OBESO
6. Simplificar el esquema:
p (p q)
a) p q b) q p c) p q
d) q p e) p q
7. Simplificar el esquema:
(p q) (r p) (q p)
a) p q b) p q c) p q
d) p e) q
8. Simplificar:
(p q) (q p) (p q)
a) p q b) p q c) p q
d) p q e) q p
9. Simplificar:
(p q) p (q p) (p q)
a) p q b) (p q) c) p q
d) p q e) (p q)
a) q b) q c) p
d) p e) p q